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