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