Ein (Sub-)Zustandsautomat enthält nur dann ein INIT_STATE_CODE_NAME-Element, wenn er einen Startzustand besitzt.
Der Bezeichner für den Startzustand ist auch unterhalb des entsprechenden STATE-Elements zu finden (STATE/CODE_NAME).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript.
XSLT-Verwendungsbeispiel:
Für einen gegebenen Zustand den Bezeichner für den untergeordneten Startzustand ausgeben, falls vorhanden:
<xsl:if test="./STATEMACHINE/INIT_STATE_CODE_NAME">
<xsl:value-of select="./STATEMACHINE/INIT_STATE_CODE_NAME"/>
</xsl:if>
|