ABag(Type) -
Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Bag(T), where T is a type
or an instance of a type that parameterizes the collection as defined
in OCL 1.5 (6.8.2.1).
ABoolean -
Static variable in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined Type Boolean
An arbitrary instance of the predefined type Collection(T), where T
is a type or an instance of a type that parameterizes the collection
as defined in OCL 1.5 (6.8.2.1).
An arbitrary instance of the predefined type Sequence(T), where T is
a type or an instance of a type that parameterizes the collection as
defined in OCL 1.5 (6.8.2.1).
ASet(Type) -
Static method in class de.tuberlin.cs.cis.ocl.type.Type
An arbitrary instance of the predefined type Set(T), where T is a type
or an instance of a type that parameterizes the collection as defined
in OCL 1.5 (6.8.2.1).