ProgStatement (R-GReQL)

Aus JACK Wiki
Zur Navigation springen Zur Suche springen

Die ProgStatement-Kante folgt auf den Prog-Knoten und zeigt auf jeden direkt folgenden Knoten.

Die Kante ist Teil der GReQL-Grammatik für den StaticRChecker.

Abgerufen von „https://wiki.uni-due.de/jack/index.php?title=ProgStatement_(R-GReQL)&oldid=1609“