Задайте переходы между режимами в графике режима
transitions from_mode
-> to_mode
: predicate_condition
end
transitions
начинает блок объявлений переходов в графике режима. Блок transitions
, отключенный ключевым словом end
, может содержать одно или несколько построений перехода.
Каждое построение перехода имеет следующий синтаксис:
from_mode -> to_mode : predicate_condition
где:
from_mode
является режимом, активным перед переходом.
to_mode
является режимом, активным после перехода.
predicate_condition
является выражением, которое должно быть верно для перехода, чтобы произойти.
Например, если график режима объявляет два режима, m1
и m2
, следующий синтаксис указывает, что системные переходы от режима m1
до режима m2
, когда предикат p1
верен:
transitions m1 -> m2 : p1 end
Если несколько предикатов становятся верными одновременно, приоритет перехода задан порядком, они перечислены. Например, график режима объявляет три режима, m1
, m2
и m3
, и задает следующие переходы:
transitions m1 -> m2 : p1 m1 -> m3 : p2 end
Если предикаты p1
и p2
становятся верными одновременно, системные переходы от режима m1
до режима m2
(первый перечисленный переход).
initial
| modecharts
| modes