Объявите графики режима, которые включают рабочие режимы и переходы
modecharts mc1 = modechart ... end end
modecharts
начинается режим строит диаграмму блока объявлений, который отключен end
ключевое слово. modecharts
раздел верхнего уровня в файле компонента. Это может содержать один или несколько modechart
построения. Каждый modechart
построение объявляет один график режима. Объявление графика режима должно описать полный набор рабочих режимов и правил перехода между этими режимами.
Например, следующий синтаксис объявляет два графика режима, mc1
и mc2
.
modecharts (ExternalAccess = observe) mc1 = modechart ... end mc2 = modechart ... end end
modechart
именованное построение. Это отключено end
ключевое слово. modechart
построение содержит полное текстовое представление графика режима: режимы, переходы и дополнительная начальная спецификация режима. Если вы не используете начальную спецификацию режима, то первый режим перечислил в modes
раздел активен в начале симуляции.
modecharts (ExternalAccess = observe) mc1 = modechart modes ... end transitions ... end initial ... end end end
График режима задан в рамках его родительского компонента. Другими словами, его уравнения и предикаты ссылаются на участников компонента, таких как параметры и переменные.
modecharts
блок объявлений имеет следующие атрибуты:
Access
— Задает доступ для чтения и доступ для записи.
ExternalAccess
— Устанавливает видимость в пользовательском интерфейсе.
График режима не может быть модифицируемым в пользовательском интерфейсе. Поэтому следующие правила применяются:
modecharts
блок объявлений может иметь свой ExternalAccess
припишите набор observe
или none
, но не к modify
.
Access
по умолчанию значением атрибута является
public
, и соответствующее значение по умолчанию для ExternalAccess
атрибутом является modify
. Поэтому, если вы не устанавливаете Access
припишите для modecharts
блок объявлений, необходимо явным образом установить его ExternalAccess
припишите observe
или none
. Например:
modecharts (ExternalAccess = observe) ... end
Если вы устанавливаете Access
припишите private
или protected
, затем значение по умолчанию для ExternalAccess
атрибутом является observe
. Поэтому вы не должны устанавливать ExternalAccess
значение атрибута явным образом, например:
modecharts (Access = protected) ... end
Установите ExternalAccess
припишите none
если вы не хотите, чтобы график режима отобразился где-нибудь вне языка. Например:
modecharts (Access = private,ExternalAccess = none) ... end
initial
| modes
| transitions