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.