| 前页 | 后页 |
EASL属性
本主题列出了由EASL_GET代码生成宏检索的每个EASL对象的EASL属性。
行动
物业名称 |
描述 |
|---|---|
|
行为 |
动作的关联行为(呼叫行为动作或呼叫操作动作)。 |
|
身体 |
行动的身体。 |
|
语境 |
行动的背景。 |
|
守卫 |
行动的后卫。 |
|
最终 |
检查动作是否为最终动作。 |
|
被保护 |
检查该动作是否是受保护的动作。 |
|
是初始的 |
检查动作是否为初始动作。 |
|
类 |
该行动是善良的。 |
|
下一个 |
该动作的下一个动作。 |
|
节点 |
图中操作的关联节点。 |
论据
物业名称 |
描述 |
|---|---|
|
参数 |
参数的关联参数的ID。 |
|
值 |
参数的默认值。 |
行为
物业名称 |
描述 |
|---|---|
|
初始动作 |
行为的初始动作。 |
|
isReadOnly |
行为的isReadOnly。 |
|
isSingleExecution |
行为的isSingleExecution。 |
|
类 |
那种行为。 |
|
返回类型 |
行为的返回类型。 |
|
规范 |
行为的规范。 |
呼叫事件
物业名称 |
描述 |
|---|---|
|
操作方式 |
CallEvent的操作。 |
变更事件
物业名称 |
描述 |
|---|---|
|
变更表达 |
ChangeEvent的更改表达式。 |
分类器
物业名称 |
描述 |
|---|---|
|
具有行为 |
检查分类器是否具有行为模型(活动和交互)。 |
|
语言 |
分类器的语言。 |
|
状态机 |
分类器的StateMachine。 |
健康)状况
物业名称 |
描述 |
|---|---|
|
表达 |
条件的表达式。 |
|
降低 |
条件的较低值。 |
|
上 |
条件的上限值。 |
构造
物业名称 |
描述 |
|---|---|
|
GetTaggedValue |
物业的标签价值。 |
|
IsStereotypeApplied |
检查是否将特定构造型应用于属性。 |
|
笔记 |
财产注意事项。 |
|
UMLType |
属性的UML类型。 |
|
能见度 |
物业的知名度。 |
边缘
物业名称 |
描述 |
|---|---|
|
从 |
产生边缘的节点的ID。 |
|
至 |
Edge所针对的节点的ID。 |
事件对象
物业名称 |
描述 |
|---|---|
|
事件种类 |
事件对象的事件类型。 |
实例
物业名称 |
描述 |
|---|---|
|
分类器 |
实例的分类器。 |
|
值 |
实例的值。 |
参数
物业名称 |
描述 |
|---|---|
|
方向 |
参数的方向。 |
|
类型 |
参数的类型。 |
|
值 |
参数的值。 |
原始
物业名称 |
描述 |
|---|---|
|
全名 |
原语的FQ名称。 |
|
ID |
基本体的ID。 |
|
名称 |
原始名称。 |
|
对象类型 |
基本体的对象类型。 |
|
父母 |
基本体的IDParent。 |
属性对象
物业名称 |
描述 |
|---|---|
|
边界大小 |
PropertyObject的绑定大小(如果它是一个集合)。 |
|
分类器立体声类型 |
PropertyObject分类器的构造型。 |
|
IsAsynchProp |
检查PropertyObject是否为异步属性。 |
|
IsCollection |
检查PropertyObject是否为集合。 |
|
已订购 |
检查PropertyObject是否排序(如果它是一个集合)。 |
|
IsTimedProp |
检查PropertyObject是否为定时属性。 |
|
类 |
PropertyObject的种类。 |
|
低价值 |
PropertyObject的较低值(如果它是一个集合)。 |
|
类型 |
PropertyObject的类型。 |
|
高价值 |
PropertyObject的上限值(如果它是一个集合)。 |
|
值 |
PropertyObject的值。 |
SignalEvent
物业名称 |
描述 |
|---|---|
|
信号 |
SignalEvent的信号。 |
州
物业名称 |
描述 |
|---|---|
|
HasSubMachine |
检查状态是否为Submachine状态。 |
|
IsFinalState |
检查状态是否为最终状态。 |
|
子机 |
获取国家/地区包含的Submachine的ID(如果适用)。 |
状态机
物业名称 |
描述 |
|---|---|
|
HasSubMachineState |
检查StateMachine是否具有Submachine状态。 |
|
初始状态 |
StateMachine的初始状态。 |
|
子机器状态 |
StateMachine的Submachine状态。 |
时间事件
物业名称 |
描述 |
|---|---|
|
什么时候 |
TimeEvent的“时间”属性。 |
过渡
物业名称 |
描述 |
|---|---|
|
具有效果 |
检查过渡是否有效。 |
|
衍生 |
检查过渡是否是派生的过渡。 |
|
超越 |
检查过渡是否从一个StateMachine(Submachine State)过渡到另一个StateMachine。 |
|
被触发 |
检查是否触发了转换。 |
|
资源 |
过渡的来源。 |
|
目标 |
过渡的目标。 |
触发
物业名称 |
描述 |
|---|---|
|
AsynchDestinationState |
触发器的异步目标状态(如果它是异步触发器)。 |
|
相依财产 |
与触发器关联的属性的ID。 |
|
事件 |
触发器的事件。 |
|
名称 |
触发器的名称。 |
|
类型 |
触发器的类型。 |
顶点
物业名称 |
描述 |
|---|---|
|
历史 |
检查顶点是否为历史状态。 |
|
IsPseudoState |
检查顶点是否为伪状态。 |
|
伪状态类 |
顶点的伪状态类型。 |
