В этом примере показан переход из состояния OR в состояние superstate с исключительным разложением (OR), где определен переход по умолчанию в подсостояние.
Первоначально чарт спит. Государство A активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one. Существует допустимый переход из состояния A в сверхдержаву B.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Переходное действие, A, выполняется и завершается.
Государство B помечен как активный.
Государство B действия ввода (entB()) выполнить и завершить.
Государство B обнаруживает допустимый переход по умолчанию в состояние B.B1.
Государство B.B1 помечен как активный.
Государство B.B1 действия ввода (entB1()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow ®, связанной с событиемE_one когда состояние A изначально активен.
В следующем примере показано поведение перехода по умолчанию к соединительному соединению. Переход по умолчанию к соединению действителен только при первом вводе состояния B, но не при каждом пробуждении диаграммы.
Для этого примера первоначально диаграмма находится в спящем режиме. Государство B.B1 активен. Состояние [C_two] является правдой. Событие возникает и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Государство B проверяет, существует ли допустимый переход в результате какого-либо события. Их нет.
Государство B
during действия (durB()) выполнить и завершить.
Государство B1 проверяет, существует ли допустимый переход в результате какого-либо события. Их нет.
Государство B1
during действия (durB1()) выполнить и завершить.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с возникновением любого события.
В этом примере показано поведение суперсостояния с переходом по умолчанию и соединением истории. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Соединение истории фиксирует факт, что состояние B4 является ранее активным подсостоянием сверхсостояния B. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one.
Существует допустимый переход из состояния A в сверхдержаву B.
Государство A действия выхода (exitA()) выполнить и завершить.
Государство A помечен как неактивный.
Государство B помечен как активный.
Государство B действия ввода (entB()) выполнить и завершить.
Государство B использует соединение предыстории для определения места назначения подсостояния перехода в суперсостояние.
Соединение истории указывает, что подсостояние B.B4 был последним активным подсостоянием, которое становится местом назначения перехода.
Государство B.B4 помечен как активный.
Государство B.B4 действия ввода (entB4()) выполнить и завершить.
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one.
В этом примере показано использование перехода по умолчанию с меткой. Диаграмма использует неявный порядок исходящих переходов (см. Неявный порядок).
Первоначально чарт спит. Государство A активен. Событие E_one происходит и пробуждает диаграмму, которая обрабатывает событие от корня вниз по иерархии:
Корень диаграммы проверяет наличие допустимого перехода в результате E_one.
Существует допустимый переход из состояния A в сверхдержаву B. Переход допустим, если событие E_one или E_two происходит.
Государство A действия по выходу выполняются и завершаются (exitA()).
Государство A помечен как неактивный.
Государство B помечен как активный.
Государство B действия по вводу выполняются и завершаются (entB()).
Государство B обнаруживает допустимый переход по умолчанию в состояние B.B1. Переход по умолчанию действителен в результате E_one.
Государство B.B1 помечен как активный.
Государство B.B1 действия по вводу выполняются и завершаются (entB1()).
Диаграмма возвращается в сон.
Эта последовательность завершает выполнение этой диаграммы Stateflow, связанной с событием E_one когда состояние A изначально активен.