Этот пример показывает переход от состояния OR до сверхдержавы с исключительным (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 состояния первоначально активно.