Ein (Sub-)Zustandsautomat enthält nur dann ein FINAL_STATE_CODE_NAME-Element, wenn er einen Endzustand besitzt.
Der Bezeichner für den Endzustand ist auch unterhalb des entsprechenden STATE-Elements zu finden (STATE/CODE_NAME).
Die Redundanz erleichert die Verarbeitung durch das Codegenerierungsskript. |