| 前页 | 后页 | 
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 | 检查顶点是否为伪状态。 | 
| 伪状态类 | 顶点的伪状态类型。 | 
