The OCL Standard Library

The OCL Standard Library

Precedences
Bag(T)
Boolean
Class
Collection(T)
Enumeration
EnumerationLiteral
Integer
Metaclass(T)
OclAny
OclComparable
OclElement
OclInvalid
OclLambda
OclMessage
OclSelf
OclState
OclSummable
OclTuple
OclType
OclVoid
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.examples.library/model/OCL-2.4.oclstdlib that defines the behaviour of the Pivot evaluator and the Xtext editors. It is similar to the OCL 2.3.1 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 was upgradedin Juno 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