public class DomainInvalidTypeImpl extends AbstractType implements DomainInvalidType
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
message |
name, standardLibrary
Constructor and Description |
---|
DomainInvalidTypeImpl(DomainStandardLibrary standardLibrary,
java.lang.String message) |
Modifier and Type | Method and Description |
---|---|
boolean |
conformsTo(DomainStandardLibrary standardLibrary,
DomainType thatType)
Return true if this type conform to thatType within standardLibrary.
|
DomainType |
getCommonType(IdResolver idResolver,
DomainType type)
Return the most derived type com mon to this type and thatType within standardLibrary.
|
TypeId |
getTypeId()
Return a unique StandardLibrary-independent identifier for this type.
|
boolean |
isEqualTo(DomainStandardLibrary standardLibrary,
DomainType thatType)
Return true if this is the same type as thatType within standardLibrary.
|
boolean |
isInvalid()
Return true if this is an invalid type (with an associated error message).
|
LibraryFeature |
lookupImplementation(DomainStandardLibrary standardLibrary,
DomainOperation staticOperation)
Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed
by the given Standard Library.
|
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getOwnedRule, getPackage, getStandardLibrary, getTypeParameters, isEqualToUnspecializedType, isOrdered, isUnique, oclEquals, oclHashCode, specializeIn
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
createInstance, createInstance, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeParameters, isEqualToUnspecializedType, isOrdered, isUnique, specializeIn
getOwnedRule
oclEquals, oclHashCode
public DomainInvalidTypeImpl(@NonNull DomainStandardLibrary standardLibrary, @NonNull java.lang.String message)
public boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType thatType)
DomainType
conformsTo
in interface DomainType
@NonNull public DomainType getCommonType(@NonNull IdResolver idResolver, @NonNull DomainType type)
DomainType
getCommonType
in interface DomainType
getCommonType
in class AbstractType
@NonNull public TypeId getTypeId()
DomainType
getTypeId
in interface DomainType
public boolean isEqualTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType thatType)
DomainType
isEqualTo
in interface DomainType
public boolean isInvalid()
DomainType
isInvalid
in interface DomainType
isInvalid
in class AbstractType
@NonNull public LibraryFeature lookupImplementation(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainOperation staticOperation)
DomainType
lookupImplementation
in interface DomainType