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


