|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DomainStandardLibrary
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)).
Method Summary | |
---|---|
boolean |
conformsToCollectionType(DomainCollectionType firstCollectionType,
DomainCollectionType secondCollectionType)
|
boolean |
conformsToLambdaType(DomainLambdaType firstLambdaType,
DomainLambdaType secondLambdaType)
|
boolean |
conformsToTupleType(DomainTupleType firstTupleType,
DomainTupleType secondTupleType)
|
java.lang.Iterable<? extends DomainPackage> |
getAllPackages()
|
DomainType |
getBagType()
Obtains the generic instance of the BagType metatype, named Bag(T). |
DomainCollectionType |
getBagType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Bag metatype whose elements are of elementType. |
DomainType |
getBooleanType()
Obtains the instance of the PrimitiveType metatype, named Boolean. |
DomainType |
getCollectionType()
Obtains the generic instance of the CollectionType metatype, named Collection(T). |
DomainCollectionType |
getCollectionType(DomainType containerType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the specialized collection type for the containerType for elementType. |
DomainEnumeration |
getEnumeration(org.eclipse.emf.common.util.Enumerator enumerator)
Return the enumeration for a given enumerator. |
DomainType |
getEnumerationType()
Obtains the single instance of the EnumerationType metatype, named Enumeration. |
DomainInheritance |
getInheritance(DomainType type)
Return the Inheritance dispatch table for a given type. |
DomainType |
getIntegerType()
Obtains the instance of the PrimitiveType metatype, named Integer. |
DomainMetaclass |
getMetaclass(DomainType classType)
Return the instance of the Metaclass metatype whose class is classType. |
DomainType |
getMetaclassType()
Obtains the single instance of the DomainMetaclass metatype, named Metaclass. |
DomainType |
getMetaType(DomainType type)
Returns the meta-type of a given type. |
DomainPackage |
getNestedPackage(DomainPackage parentPackage,
java.lang.String name)
|
DomainType |
getNestedType(DomainPackage parentPackage,
java.lang.String name)
|
DomainPackage |
getNsURIPackage(java.lang.String nsURI)
|
DomainType |
getOclAnyType()
Obtains the single instance of the AnyType metatype, named OclAny. |
DomainType |
getOclComparableType()
Obtains the single instance of the OclComparable metatype, named OclAny. |
DomainType |
getOclElementType()
Obtains the single instance of the Class metatype, named OclElement. |
DomainType |
getOclInvalidType()
Obtains the single instance of the InvalidType metatype, named OclInvalid. |
DomainType |
getOclMessageType()
Obtains the generic instance of the MessageType metatype, named OclMessage. |
DomainType |
getOclSelfType()
Obtains the single instance of the OclSelf pseudo-metatype, named OclSelf. |
DomainType |
getOclSummableType()
Obtains the single instance of the OclSummable metatype, named OclAny. |
DomainType |
getOclTupleType()
Obtains the single instance of the OclTupleType metatype, named OclVoid. |
DomainType |
getOclType(java.lang.String typeName)
|
DomainType |
getOclVoidType()
Obtains the single instance of the VoidType metatype, named OclVoid. |
DomainElement |
getOperationTemplateParameter(DomainOperation anOperation,
int index)
|
DomainType |
getOrderedCollectionType()
Obtains the generic instance of the OrderedCollection metatype, named OrderedCollection(T). |
DomainType |
getOrderedSetType()
Obtains the generic instance of the OrderedSetType metatype, named OrderedSet(T). |
DomainCollectionType |
getOrderedSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the OrderedSet metatype whose elements are of elementType. |
DomainType |
getPrimitiveType(PrimitiveTypeId id)
|
DomainType |
getRealType()
Obtains the instance of the PrimitiveType metatype, named Real. |
DomainPackage |
getRootPackage(java.lang.String name)
|
DomainType |
getSequenceType()
Obtains the generic instance of the SequenceType metatype, named Sequence(T). |
DomainCollectionType |
getSequenceType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Sequence metatype whose elements are of elementType. |
DomainType |
getSetType()
Obtains the generic instance of the SetType metatype, named Set(T). |
DomainCollectionType |
getSetType(DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the instance of the Set metatype whose elements are of elementType. |
DomainType |
getStringType()
Obtains the instance of the PrimitiveType metatype, named String. |
DomainType |
getUniqueCollectionType()
Obtains the generic instance of the UniqueCollection metatype, named Set(T). |
DomainType |
getUnlimitedNaturalType()
Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural. |
boolean |
isEqualToCollectionType(DomainCollectionType firstCollectionType,
DomainCollectionType secondCollectionType)
|
boolean |
isEqualToTupleType(DomainTupleType firstTupleType,
DomainTupleType secondTupleType)
|
Method Detail |
---|
boolean conformsToCollectionType(@NonNull DomainCollectionType firstCollectionType, @NonNull DomainCollectionType secondCollectionType)
boolean conformsToLambdaType(@NonNull DomainLambdaType firstLambdaType, @NonNull DomainLambdaType secondLambdaType)
boolean conformsToTupleType(@NonNull DomainTupleType firstTupleType, @NonNull DomainTupleType secondTupleType)
@NonNull java.lang.Iterable<? extends DomainPackage> getAllPackages()
@NonNull DomainType getBagType()
@NonNull DomainCollectionType getBagType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
@NonNull DomainType getBooleanType()
@NonNull DomainType getCollectionType()
@NonNull DomainCollectionType getCollectionType(@NonNull DomainType containerType, @NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainEnumeration getEnumeration(@NonNull org.eclipse.emf.common.util.Enumerator enumerator)
@NonNull DomainType getEnumerationType()
@NonNull DomainInheritance getInheritance(@NonNull DomainType type)
@NonNull DomainType getIntegerType()
@NonNull DomainMetaclass getMetaclass(@NonNull DomainType classType)
@NonNull DomainType getMetaclassType()
DomainType getMetaType(@NonNull DomainType type)
DomainPackage getNestedPackage(@NonNull DomainPackage parentPackage, @NonNull java.lang.String name)
DomainType getNestedType(@NonNull DomainPackage parentPackage, @NonNull java.lang.String name)
DomainPackage getNsURIPackage(@NonNull java.lang.String nsURI)
@NonNull DomainType getOclAnyType()
@NonNull DomainType getOclComparableType()
@NonNull DomainType getOclElementType()
@NonNull DomainType getOclInvalidType()
DomainType getOclMessageType()
@NonNull DomainType getOclSelfType()
@NonNull DomainType getOclSummableType()
@NonNull DomainType getOclTupleType()
DomainType getOclType(@NonNull java.lang.String typeName)
@NonNull DomainType getOclVoidType()
DomainElement getOperationTemplateParameter(@NonNull DomainOperation anOperation, int index)
@NonNull DomainType getOrderedCollectionType()
@NonNull DomainType getOrderedSetType()
@NonNull DomainCollectionType getOrderedSetType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainType getPrimitiveType(@NonNull PrimitiveTypeId id)
@NonNull DomainType getRealType()
DomainPackage getRootPackage(@NonNull java.lang.String name)
@NonNull DomainType getSequenceType()
@NonNull DomainCollectionType getSequenceType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
@NonNull DomainType getSetType()
@NonNull DomainCollectionType getSetType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
@NonNull DomainType getStringType()
@NonNull DomainType getUniqueCollectionType()
@NonNull DomainType getUnlimitedNaturalType()
boolean isEqualToCollectionType(@NonNull DomainCollectionType firstCollectionType, @NonNull DomainCollectionType secondCollectionType)
boolean isEqualToTupleType(@NonNull DomainTupleType firstTupleType, @NonNull DomainTupleType secondTupleType)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |