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