| 前页 | 后页 |
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 的伪状态类型。 |