The OCL Standard Library

The OCL Standard Library

Precedences
AnyClassifier(T)
Bag(T)
Boolean
Class
ClassClassifier(T)
Collection(T)
CollectionClassifier(T, E)
Enumeration
EnumerationClassifier(T)
EnumerationLiteral
Integer
OclAny
OclComparable
OclElement
OclInvalid
OclLambda
OclMessage
OclSelf
OclState
OclSummable
OclTuple
OclType
OclVoid
OrderedSet(T)
Real
Sequence(T)
Set(T)
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 in Juno 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