public interface DomainType extends DomainNamespace, OCLValue
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(DomainStandardLibrary standardLibrary,
DomainType thatType)
Return true if this type conform to thatType within standardLibrary.
|
java.lang.Object |
createInstance()
Return a new instance of this type from valueFactory.
|
java.lang.Object |
createInstance(java.lang.String value)
Return a new instance of this data type from valueFactory.
|
DomainType |
getCommonType(IdResolver idResolver,
DomainType thatType)
Return the most derived type com mon to this type and thatType within standardLibrary.
|
DomainInheritance |
getInheritance(DomainStandardLibrary standardLibrary)
Return the inheritance description for this type within standardLibrary.
|
java.util.List<? extends DomainOperation> |
getLocalOperations() |
java.util.List<? extends DomainProperty> |
getLocalProperties() |
java.util.List<? extends DomainType> |
getLocalSuperTypes() |
java.lang.String |
getMetaTypeName()
Return the name of the meta-type of this type.
|
java.lang.String |
getName()
Return the name of this type (without any decorations for specializations).
|
DomainType |
getNormalizedType(DomainStandardLibrary standardLibrary)
Return the unique executable form of this type within standardLibrary.
|
java.util.List<? extends DomainProperty> |
getOwnedAttribute() |
java.util.List<? extends DomainConstraint> |
getOwnedInvariant() |
java.util.List<? extends DomainOperation> |
getOwnedOperation() |
DomainPackage |
getPackage()
Return the package containing this type.
|
TypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
DomainTypeParameters |
getTypeParameters()
Return the ordered list of type parameters of this type.
|
boolean |
isEqualTo(DomainStandardLibrary standardLibrary,
DomainType thatType)
Return true if this is the same type as thatType within standardLibrary.
|
boolean |
isEqualToUnspecializedType(DomainStandardLibrary standardLibrary,
DomainType type) |
boolean |
isInvalid()
Return true if this is an invalid type (with an associated error message).
|
boolean |
isOrdered()
Return true if this type is a Collection type and has ordered elements.
|
boolean |
isUnique()
Return true if this type is a Collection type and has unique elements.
|
LibraryFeature |
lookupImplementation(DomainStandardLibrary standardLibrary,
DomainOperation staticOperation)
Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed
by the given Standard Library.
|
DomainType |
specializeIn(DomainCallExp expr,
DomainType selfType) |
getOwnedRule
oclEquals, oclHashCode
boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType thatType)
@NonNull java.lang.Object createInstance()
DomainProperty#initValue(DomainStandardLibrary, ObjectValue, Value)
provided no side-effect free
OCL functionality is permitted to use the ObjectValue until initialisation has completed.value
- @Nullable java.lang.Object createInstance(@NonNull java.lang.String value)
value
- string initial value@NonNull DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType thatType)
@NonNull DomainInheritance getInheritance(@NonNull DomainStandardLibrary standardLibrary)
@NonNull java.util.List<? extends DomainOperation> getLocalOperations()
@NonNull java.util.List<? extends DomainProperty> getLocalProperties()
@NonNull java.util.List<? extends DomainType> getLocalSuperTypes()
@NonNull java.lang.String getMetaTypeName()
java.lang.String getName()
@NonNull DomainType getNormalizedType(@NonNull DomainStandardLibrary standardLibrary)
@NonNull java.util.List<? extends DomainProperty> getOwnedAttribute()
@NonNull java.util.List<? extends DomainOperation> getOwnedOperation()
DomainPackage getPackage()
@NonNull DomainTypeParameters getTypeParameters()
@NonNull TypeId getTypeId()
boolean isEqualTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType thatType)
boolean isEqualToUnspecializedType(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType type)
boolean isInvalid()
boolean isOrdered()
boolean isUnique()
@NonNull LibraryFeature lookupImplementation(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainOperation staticOperation)
DomainType specializeIn(@NonNull DomainCallExp expr, DomainType selfType)
@NonNull java.util.List<? extends DomainConstraint> getOwnedInvariant()