|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary org.eclipse.ocl.examples.library.executor.ExecutableStandardLibrary
public abstract class ExecutableStandardLibrary
Constructor Summary | |
---|---|
ExecutableStandardLibrary()
|
Method Summary | |
---|---|
protected abstract DomainMetaclass |
createMetaclass(DomainType classType)
|
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 genericType,
DomainType elementType,
IntegerValue lower,
IntegerValue upper)
Return the specialized collection type for the containerType for elementType. |
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 |
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 |
getOclVoidType()
Obtains the single instance of the VoidType metatype, named OclVoid. |
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 |
getRealType()
Obtains the instance of the PrimitiveType metatype, named Real. |
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. |
DomainElement |
getTemplateParameter(TemplateParameterId id,
DomainElement context)
|
DomainTupleType |
getTupleType(TupleTypeId typeId)
|
DomainType |
getUniqueCollectionType()
Obtains the generic instance of the UniqueCollection metatype, named Set(T). |
DomainType |
getUnlimitedNaturalType()
Obtains the instance of the PrimitiveType metatype, named UnlimitedNatural. |
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractStandardLibrary |
---|
conformsToCollectionType, conformsToLambdaType, conformsToTupleType, dispose, getAllPackages, getBagType, getCollectionType, getEnumeration, getMetaType, getNestedPackage, getNestedType, getNsURIPackage, getOperationTemplateParameter, getOrderedSetType, getPrimitiveType, getRootPackage, getSequenceType, getSetType, isEqualToCollectionType, isEqualToTupleType, weakGet |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainStandardLibrary |
---|
getEnumerationType, getInheritance, getMetaclassType, getOclType |
Constructor Detail |
---|
public ExecutableStandardLibrary()
Method Detail |
---|
@NonNull protected abstract DomainMetaclass createMetaclass(@NonNull DomainType classType)
@NonNull public DomainType getBagType()
DomainStandardLibrary
@NonNull public DomainCollectionType getBagType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainStandardLibrary
@NonNull public DomainType getBooleanType()
DomainStandardLibrary
@NonNull public DomainType getCollectionType()
DomainStandardLibrary
@NonNull public DomainCollectionType getCollectionType(@NonNull DomainType genericType, @NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainStandardLibrary
getCollectionType
in interface DomainStandardLibrary
getCollectionType
in class AbstractStandardLibrary
@NonNull public DomainType getIntegerType()
DomainStandardLibrary
@NonNull public DomainMetaclass getMetaclass(@NonNull DomainType classType)
DomainStandardLibrary
@NonNull public DomainType getOclAnyType()
DomainStandardLibrary
@NonNull public DomainType getOclComparableType()
DomainStandardLibrary
@NonNull public DomainType getOclElementType()
DomainStandardLibrary
@NonNull public DomainType getOclInvalidType()
DomainStandardLibrary
public DomainType getOclMessageType()
DomainStandardLibrary
@NonNull public DomainType getOclSelfType()
DomainStandardLibrary
@NonNull public DomainType getOclSummableType()
DomainStandardLibrary
@NonNull public DomainType getOclTupleType()
DomainStandardLibrary
@NonNull public DomainType getOclVoidType()
DomainStandardLibrary
@NonNull public DomainType getOrderedCollectionType()
DomainStandardLibrary
@NonNull public DomainType getOrderedSetType()
DomainStandardLibrary
@NonNull public DomainCollectionType getOrderedSetType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainStandardLibrary
@NonNull public DomainType getRealType()
DomainStandardLibrary
@NonNull public DomainType getSequenceType()
DomainStandardLibrary
@NonNull public DomainCollectionType getSequenceType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainStandardLibrary
@NonNull public DomainType getSetType()
DomainStandardLibrary
@NonNull public DomainCollectionType getSetType(@NonNull DomainType elementType, @Nullable IntegerValue lower, @Nullable IntegerValue upper)
DomainStandardLibrary
@NonNull public DomainType getStringType()
DomainStandardLibrary
@NonNull public DomainElement getTemplateParameter(@NonNull TemplateParameterId id, DomainElement context)
@NonNull public DomainTupleType getTupleType(@NonNull TupleTypeId typeId)
@NonNull public DomainType getUniqueCollectionType()
DomainStandardLibrary
@NonNull public DomainType getUnlimitedNaturalType()
DomainStandardLibrary
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |