| library lib : lib = 'http://minimal.oclstdlib' |
| { |
| type Bag(T) : BagType conformsTo Collection(T) {} |
| type Boolean : PrimitiveType conformsTo OclAny {} |
| type Class conformsTo OclAny {} |
| type Collection(T) : CollectionType conformsTo OclAny {} |
| type Integer : PrimitiveType conformsTo Real {} |
| type Map(K,V) : MapType conformsTo OclAny {} |
| type Metaclass(T) : Metaclass conformsTo OclAny {} |
| type OclAny : AnyType { |
| operation "="(object2 : OclAny) : Boolean; |
| } |
| type OclComparable conformsTo OclAny { |
| operation compareTo(that : OclSelf) : Integer[1] => 'org.eclipse.ocl.pivot.library.oclany.OclComparableCompareToOperation'; |
| } |
| type OclElement conformsTo OclAny {} |
| abstract type OclEnumeration conformsTo OclType {} |
| type OclInvalid : InvalidType conformsTo OclVoid {} |
| type OclLambda conformsTo OclAny {} |
| type OclSelf : SelfType conformsTo OclAny {} |
| type OclTuple conformsTo OclAny {} |
| abstract type OclType conformsTo OclElement {} |
| type OclVoid : VoidType conformsTo OclAny {} |
| type OrderedCollection(T) : CollectionType conformsTo Collection(T) {} |
| type OrderedSet(T) : OrderedSetType conformsTo Collection(T) {} |
| type Real : PrimitiveType conformsTo OclAny {} |
| type Sequence(T) : SequenceType conformsTo Collection(T) {} |
| type Set(T) : SetType conformsTo Collection(T) {} |
| type String : PrimitiveType conformsTo OclAny {} |
| type Tuple : TupleType conformsTo OclAny {} |
| type UniqueCollection(T) : CollectionType conformsTo Collection(T) {} |
| type UnlimitedNatural : PrimitiveType conformsTo Integer {} |
| } |