The OCL Standard Library

The OCL Standard Library

Precedences
Bag(T)
Boolean
Class
Collection(T)
Enumeration
EnumerationLiteral
Integer
Map(K, V)
OclAny
OclComparable
OclElement
OclEnumeration
OclInvalid
OclLambda
OclMessage
OclSelf
OclState
OclStereotype
OclSummable
OclTuple
OclType
OclVoid
OrderedCollection(T)
OrderedSet(T)
Real
Sequence(T)
Set(T)
State
String
Type
UniqueCollection(T)
UnlimitedNatural

This documentation on the OCL Standard Library is auto-generated from the org.eclipse.ocl.pivot/model/OCL-2.5.oclstdlib that defines the behaviour of the Pivot evaluator and the Xtext editors. It is similar to the OCL 2.4 functionality. It is a prototype of functionality for OCL 2.5 where the use of models may eliminate ambiguities.

The library support for the Ecore and UML bindings in Luna has been upgraded so that the available operations are similar to those documented here for the Pivot binding.

Precedences

NAVIGATION > UNARY > MULTIPLICATIVE > ADDITIVE > RELATIONAL > EQUALITY > AND > OR > XOR > IMPLIES