Этот пример показывает то, что происходит при обработке трех событий с помощью внутреннего перехода в исключительном (OR) состояние.
Этот пример показывает поведение внутреннего перехода. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное Упорядоченное расположение).
Первоначально, график спит. A
состояния активно. Условие
[C_one]
является ложным. Событие E_one
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход в результате E_one
. Потенциально допустимый переход от A
состояния утверждать
B
обнаруживается. Однако переход не допустим, потому что [C_one]
является ложным.
A
состояния во время действий (
durA()
) выполнитесь и завершитесь.
A
состояния проверяет его дочерние элементы на допустимый переход и обнаруживает допустимый внутренний переход.
A
состояния остается активным. Внутреннее действие перехода
A_two
выполняется и завершается. Поскольку это - внутренний переход, A
состояниявыход и действия записи не выполняются.
График возвращается ко сну.
Эта последовательность завершает выполнение этого графика Stateflow®, сопоставленного с событием E_one
.
Используя предыдущий пример, этот пример показывает то, что происходит когда второе событие E_one
происходит. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное Упорядоченное расположение).
Первоначально, график спит. A
состояния все еще активно. Условие
[C_one]
верно. Событие E_one
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход в результате E_one
.
Переход от A
состояния утверждать
B
теперь допустимо потому что [C_one]
верно.
A
состояния выйдите из действий (
exitA()
) выполнитесь и завершитесь.
A
состояния отмечен неактивный.
Действие перехода A_one
выполняется и завершается.
B
состояния отмечен активный.
B
состояния действия записи (
entB()
) выполнитесь и завершитесь.
График возвращается ко сну.
Эта последовательность завершает выполнение этой диаграммы Stateflow, сопоставленной с событием E_one
.
Используя предыдущий пример, этот пример показывает то, что происходит когда третье событие, E_two
, происходит. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное Упорядоченное расположение).
Первоначально, график спит. B
состояния теперь активно. Условие
[C_two]
является ложным. Событие E_two
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход в результате E_two
.
Потенциально допустимый переход от B
состояния утверждать
A
обнаруживается. Переход не допустим потому что [C_two]
является ложным. Однако активный B
состояния имеет допустимый переход самоцикла.
B
состояния выйдите из действий (
exitB()
) выполнитесь и завершитесь.
B
состояния отмечен неактивный.
Действие перехода самоцикла, A_four
, выполняется и завершается.
B
состояния отмечен активный.
B
состояния действия записи (
entB()
) выполнитесь и завершитесь.
График возвращается ко сну.
Эта последовательность завершает выполнение этой диаграммы Stateflow, сопоставленной с событием E_two
. Этот пример показывает различие в поведении между переходами самоцикла и внутренним.
Этот пример показывает поведение обработки повторных событий с помощью внутреннего перехода к соединительному соединению.
Этот пример показывает поведение внутреннего перехода к соединительному соединению для первого события. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное Упорядоченное расположение).
Первоначально, график спит. A1
состояния активно. Условие
[C_two]
верно. Событие E_one
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход на корневом уровне в результате E_one
. Нет никакого допустимого перехода.
A
состояния во время действий (
durA()
) выполнитесь и завершитесь.
A
состояния проверяется для допустимых переходов и обнаруживает, что существует допустимый внутренний переход к соединительному соединению.
Условия оценены, чтобы определить, допустим ли один из переходов. Поскольку неявное упорядоченное расположение применяется, сегменты, помеченные условием, оценены перед непомеченным сегментом. Оценка начинает с 12-часовой позиции по соединению и прогрессирует в по часовой стрелке способ. Поскольку [C_two]
верно, внутренний переход к соединению и затем утверждать A
.A2
isvalid.
A
состояния.
A1
выйдите из действий (exitA1()
) выполнитесь и завершитесь.
A
состояния.
A1
отмечен неактивный.
A
состояния.
A2
отмечен активный.
A
состояния.
A2
действия записи (entA2()
) выполнитесь и завершитесь.
График возвращается ко сну.
Эта последовательность завершает выполнение этой диаграммы Stateflow, сопоставленной с событием E_one
когда A1
состояния активно и условие
[C_two]
верно.
Продолжая предыдущий пример, этот пример показывает поведение внутреннего перехода к соединению когда второе событие E_one
происходит. График использует неявное упорядоченное расположение исходящих переходов (см. Неявное Упорядоченное расположение).
Первоначально, график спит. A2
состояния активно. Условие
[C_two]
верно. Событие E_one
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход на корневом уровне в результате E_one
. Нет никакого допустимого перехода.
A
состояния во время действий (
durA()
) выполнитесь и завершитесь.
A
состояния проверяется для допустимых переходов и обнаруживает допустимый внутренний переход к соединительному соединению.
Условия оценены, чтобы определить, допустим ли один из переходов. Поскольку неявное упорядоченное расположение применяется, сегменты, помеченные условием, оценены перед непомеченным сегментом. Оценка начинает с 12-часовой позиции по соединению и прогрессирует в по часовой стрелке способ. Поскольку [C_two]
верно, внутренний переход к соединению и затем утверждать A.A2
isvalid.
A
состояния.
A2
выйдите из действий (exitA2()
) выполнитесь и завершитесь.
A
состояния.
A2
отмечен неактивный.
A
состояния.
A2
отмечен активный.
A
состояния.
A2
действия записи (entA2()
) выполнитесь и завершитесь.
График возвращается ко сну.
Эта последовательность завершает выполнение этой диаграммы Stateflow, сопоставленной с событием E_one
когда A2
состояния активно и условие
[C_two]
верно. Для состояния с допустимым внутренним переходом из активного подсостояния можно выйти и сразу повторно ввести.
Этот пример показывает поведение внутреннего перехода к соединению истории.
Первоначально, график спит. A.A1
состояния активно. Информация об истории существует потому что сверхдержава
A
активно. Событие E_one
происходит и пробуждает график, который обрабатывает событие от корня вниз через иерархию:
Корневые проверки графика, чтобы видеть, существует ли допустимый переход в результате E_one
. Нет никакого допустимого перехода.
A
состояния во время действий выполняются и завершаются.
A
состояния проверяется для допустимых переходов и обнаруживает, что существует допустимый внутренний переход к соединению истории. На основе информации об истории, последнего активного состояния,
A.A1
, целевое состояние.
A.A1
состояния выйдите действия выполняются и завершаются.
A.A1
состояния отмечен неактивный.
A.A1
состояния отмечен активный.
A.A1
состояния действия записи выполняются и завершаются.
График возвращается ко сну.
Эта последовательность завершает выполнение этой диаграммы Stateflow, сопоставленной с событием E_one
когда существует внутренний переход к соединению истории и A.A1
состояния активно. Для состояния с допустимым внутренним переходом из активного подсостояния можно выйти и сразу повторно ввести.