对 OCL 语句求值

可以对单个“对象约束语言”(OCL)语句求值以查询元模型的特征。例如,可以对将返回布尔值等简单类型的 OCL 语句求值,也可以对将返回元模型对象列表的 OCL 语句求值。如果 OCL 资源包含多个 OCL 语句,则控制台视图将报告 OCL 语句在语法上不正确。但是,如果 OCL 资源包含多个 OCL 语句,则可以对所选择的单个 OCL 语句求值。

要对 OCL 语句求值,必须将目标模型设置为元模型。另外,要对 OCL 语句求值,必须打开一个模型或概要文件,并且工作空间中具有一个 OCL 资源。

如果对 OCL 语句求值时下列任一条件成立,则控制台视图将报告 OCL 语句在语法上不正确:
  • OCL 语句通过一个元素的名称或标准名称来引用该元素,并且元素名称或标准名称中包含空格
  • OCL 语句使用一些其名称为 OCL 关键字的字段
  • OCL 语句使用由概要文件定义的枚举
要在建模透视图中对 OCL 语句求值:
  1. 项目资源管理器视图中,双击一个包含 OCL 语句的 OCL 资源。
  2. 从编辑器顶部的目标模型列表中选择元模型
  3. 上下文元素字段中,指定一个上下文元素。
  4. 完成下列其中一个步骤:
    • 如果 OCL 资源只包含一个 OCL 语句,则单击 OCL > 求值
    • 如果 OCL 资源包含多个 OCL 语句,则右键单击一个语句,然后单击对所选语句求值

如果求值成功,则该 OCL 语句产生的结果将显示在控制台视图中。如果求值失败,则第一个遇到的语法错误将显示在控制台视图中,而其他信息将显示在问题视图中。

相关概念
OCL 资源和语句
OCL 语句的目标模型

反馈