Generating Software from Specifications WS 2013/14 - File QualNames.dsl
{ l.a = 42; l.next = l; b.a = l.next.next.a; b.left = nil; b.right = nil; list l; btree b; type list = (int a; list next;) type btree = (int a; btree left; btree right;) }
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 08.01.2014