Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

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