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