13.3 图

下面的图完整地定义了BasicOCL（或EssentialOCL）的抽象语法。没有从Core::Basic（或EMOF）引入的类都已透明色显式。

图13.1 Types

图13.2 The top container expression

图13.3 Main Expression Concept

图13.4 Feature Property Call expressions

图13.5 If Expressions

图13.6 Let Expressions

图13.7 Literals

图13.8 Collection and tuple literals