EASL属性

本主题列出了每个 EASL 对象的 EASL属性，由EASL 代码生成宏代码生成宏检索。

行动

属性名称	描述
行为	行动的相关行为（调用行为行动或调用行动行动）。
体	行动的身体。
语境	行动的上下文。
守卫条件	行动的守卫。
IsFinal	检查A动作是否为最终行动。
被保护	检查A动作是否为受保护的行动。
首字母	检查A动作是否为初始行动。
种类	行动的那种。
下一个	行动的下一步行动。
节点	图中行动的关联节点。

参数值

属性名称	描述
参数	参数值关联参数的 ID。
价值	参数的默认值。

行为

属性名称	描述
初始动作	行为的初始动作。
是只读的	行为的行为。
isSingleExecution	行为的行为。
种类	那种行为。
返回类型	行为的返回类型。
规格	行为规范。

呼叫事件

属性名称	描述
手术	CallEvent 的操作。

变更事件

属性名称	描述
变化表达	ChangeEvent 的变化表达式。

分类器

属性名称	描述
有行为	检查分类器A具有行为模型（活动和交互）。
语	分类器的语言。
状态机	分类器的状态机。

条件

属性名称	描述
表达	条件的表达。
降低	条件的较低值。
上	条件的上限值。

构建

属性名称	描述
获取标记值	属性的标记值。
应用了刻板印象	检查特定构造A是否应用于属性。
注记	属性的注记。
UML 类型	属性的UML类型。
能见度	属性的可见性。

边缘

属性名称	描述
从	Edge 产生的节点的 ID。
至	Edge 所针对的节点的 ID。

事件对象

属性名称	描述
事件种类	事件物件的事件物件。

实例

属性名称	描述
分类器	实例的分类器。
价值	实例的值。

参数

属性名称	描述
方向	参数的方向。
类型	参数的类型。
价值	参数的值。

原始

属性名称	描述
全名	原始的 FQ 名称。
ID	原始的ID。
名称	原始的名字。
ObjectType	原始的object类型。
家长	原始的原始。

属性对象

属性名称	描述
边界大小	PropertyObject 的绑定大小（如果它是一个集合）。
分类器StereoType	PropertyObject 的分类器的构造型。
IsAsynchProp	检查 PropertyObject 是否A异步属性。
集合	检查 PropertyObject 是否为A 。
有序	检查 PropertyObject 是否是有序A （如果它是一个集合）。
IsTimedProp	检查 PropertyObject 是否A定时属性。
种类	PropertyObject 的种类。
低值	PropertyObject 的较低值（如果它是一个集合）。
类型	PropertyObject 的类型。
上限值	PropertyObject 的上限值（如果它是一个集合）。
价值	PropertyObject 的值。

信号事件

属性名称	描述
信号	SignalEvent 的信号。

状态

属性名称	描述
有子机	检查状态是否为A子机状态。
是最终状态	检查状态是否A最终状态。
子机	获取状态包含的子机ID（如果有）。

状态机

属性名称	描述
HasSubMachineState	检查状态机是否A子机状态。
初始状态	状态机的初始状态。
子机状态	状态机的子机状态。

时间事件

属性名称	描述
什么时候	TimeEvent 的“when”属性。

转移

属性名称	描述
有效果	检查过渡是否有效A
是派生的	检查转换是否A派生转换。
是超越	检查转换是否从A状态机（子机状态）超越到另一个状态机。
已触发	检查是否触发A转换。
源	转移的源。
目标	转移的目标。

触发器

属性名称	描述
异步目的地状态	简单的触发器目标状态（如果是异步触发器）。
依赖属性	与简单关联的属性的触发器。
事件	触发器的事件。
名称	触发器的名字。
类型	触发器的类型。

顶点

属性名称	描述
是历史	检查顶点是否为A状态。
是伪状态	检查顶点是否为A状态。
伪状态类	Vertex 的伪状态类型。