Show TOC

Dokumentation zur SyntaxAngabe von Datenknoten in Bedingungen Dieses Dokument in der Navigationsstruktur finden

Datenknoten als Operanden dnode von Vorbedingungen, Zusicherungen oder Bedingungen können wie folgt angegeben werden:

  • Falls der gemäß den Adressierungsregeln angegebene Bezeichner node an der ersten Stelle einen Buchstaben oder einen Unterstrich und an den übrigen Stellen nur Buchstaben, Ziffern, Binde- oder Unterstriche enthält, kann er direkt angegeben werden.

  • Die speziellen Bezeichner $ref und $alias können ebenfalls direkt angegeben werden.

  • Alle übrigen Bezeichner müssen in der Form ref('node') angegebenen werden. Dies gilt insbesondere auch für die Angabe einer Datenwurzel über .root.