7.2 引言

7.2.1 图示

如下所示的打印体文本式一个OCL表达式。

'This is an OCL expression'

context关键字指示表达式的上下文。inv, pre和post关键字分别指示约束的«invariant», «precondition»和«postcondition»。真正的OCL表达式位于分号后。

context TypeName inv:
    'this is an OCL expression with stereotype «invariant» in the context of TypeName' = 'another string'

示例中OCL的关键字以粗体表示（译者注：由于粗体和代码格式不能两全，所以关键字像 context, inv 等并未以粗体表示，以下同。以后如有解决方案会改进）。粗体没有形式含义，只是用于使表达式更可读。本文档中的OCL表达式只使用ASCII字符。

段落文本中的斜体字指示部分的OCL表达式。

7.2.2 示例类图

如下的图用于本章示例。

图7.1 Class Diagram Example

7.2.3 字符集

OCL文本包含来自UNICODE字符集的字符。特别的，字符串、注释、类型名、特征，以及UML模型中的其它元素可以包含任意有效的UNICODE字符。