|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DomainType
Method Summary | |
---|---|
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)
|
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue |
---|
oclEquals, oclHashCode |
Method Detail |
---|
boolean conformsTo(@NonNull DomainStandardLibrary standardLibrary, @NonNull DomainType thatType)
@NonNull java.lang.Object createInstance()
DomainProperty.initValue(Object, Object)
provided no side-effect free
OCL functionality is permitted to use the ObjectValue until initialisation has completed.
@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()
getName
in interface Nameable
@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()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |