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