Context

Context declarations define the scope of OCL constraints.

ClassifierContextExpression

Defines invariants and definitions on a given type.

Signature

context <Type> (inv|def)

Example

context Person inv: self.age > 0

---

OperationContextExpression

Allows defining pre- and post-conditions on functions.

Signature

context Person::kill() (pre|post)

Example

context Person::setAge(age: number)
   pre: age > 0

---

PropertyContextExpression

Allows initializing or deriving a value for the targeted property.

Signature

context Person::age (init|derive)