|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface StandardLibrary
A representation of the OCL Standard Library, which is the set of singleton instances of the OCL-defined metatypes, including the generic collection types (e.g., Set(T)).
See the Environment
class for a description of the
generic type parameters of this class.
Method Summary | |
---|---|
boolean |
conformsTo(Type firstType,
Type secondType)
Deprecated. |
boolean |
conformsTo(Type firstType,
Type secondType,
java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
|
BagType |
getBagType()
Obtains the generic instance of the BagType metatype, named
Bag(T). |
PrimitiveType |
getBooleanType()
Obtains the instance of the PrimitiveType metatype, named
Boolean. |
Class |
getClassifierType()
Obtains the single instance of the ClassifierType metatype, named
Classifier. |
CollectionType |
getCollectionType()
Obtains the generic instance of the CollectionType metatype, named
Collection(T). |
Class |
getEnumerationType()
Obtains the single instance of the EnumerationType metatype, named
Enumeration. |
PrimitiveType |
getIntegerType()
Obtains the instance of the PrimitiveType metatype, named
Integer. |
AnyType |
getOclAnyType()
Obtains the single instance of the AnyType metatype, named
OclAny. |
InvalidType |
getOclInvalidType()
Obtains the single instance of the InvalidType metatype, named
OclInvalid. |
Type |
getOclMessageType()
Obtains the generic instance of the MessageType metatype, named
OclMessage. |
VoidType |
getOclVoidType()
Obtains the single instance of the VoidType metatype, named
OclVoid. |
OrderedSetType |
getOrderedSetType()
Obtains the generic instance of the OrderedSetType metatype, named
OrderedSet(T). |
Type |
getPivotType(java.lang.String className)
|
PrimitiveType |
getRealType()
Obtains the instance of the PrimitiveType metatype, named
Real. |
SequenceType |
getSequenceType()
Obtains the generic instance of the SequenceType metatype, named
Sequence(T). |
SetType |
getSetType()
Obtains the generic instance of the SetType metatype, named
Set(T). |
PrimitiveType |
getStringType()
Obtains the instance of the PrimitiveType metatype, named
String. |
PrimitiveType |
getUnlimitedNaturalType()
Obtains the instance of the PrimitiveType metatype,
named UnlimitedNatural. |
boolean |
isOrdered(Type sourceType)
|
boolean |
isUnique(Type sourceType)
|
Method Detail |
---|
@Deprecated boolean conformsTo(Type firstType, Type secondType)
boolean conformsTo(Type firstType, Type secondType, java.util.Map<TemplateParameter,ParameterableElement> templateParameterSubstitutions)
BagType getBagType()
BagType
metatype, named
Bag(T).
BagType
)PrimitiveType getBooleanType()
PrimitiveType
metatype, named
Boolean.
PrimitiveType
)Class getClassifierType()
ClassifierType
metatype, named
Classifier.
Classifier
)CollectionType getCollectionType()
CollectionType
metatype, named
Collection(T).
CollectionType
)Class getEnumerationType()
EnumerationType
metatype, named
Enumeration.
Enumeration
)PrimitiveType getIntegerType()
PrimitiveType
metatype, named
Integer.
PrimitiveType
)AnyType getOclAnyType()
AnyType
metatype, named
OclAny.
AnyType
)InvalidType getOclInvalidType()
InvalidType
metatype, named
OclInvalid.
InvalidType
)Type getOclMessageType()
MessageType
metatype, named
OclMessage.
MessageType
)VoidType getOclVoidType()
VoidType
metatype, named
OclVoid.
VoidType
)OrderedSetType getOrderedSetType()
OrderedSetType
metatype, named
OrderedSet(T).
OrderedSetType
)Type getPivotType(java.lang.String className)
PrimitiveType getRealType()
PrimitiveType
metatype, named
Real.
PrimitiveType
)SequenceType getSequenceType()
SequenceType
metatype, named
Sequence(T).
SequenceType
)SetType getSetType()
SetType
metatype, named
Set(T).
SetType
)PrimitiveType getStringType()
PrimitiveType
metatype, named
String.
PrimitiveType
)PrimitiveType getUnlimitedNaturalType()
PrimitiveType
metatype,
named UnlimitedNatural.
PrimitiveType
)boolean isOrdered(Type sourceType)
boolean isUnique(Type sourceType)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |