|
||||||||||
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. |
ObjectValue |
createInstance(ValueFactory valueFactory)
Return a new instance of this type from valueFactory. |
Value |
createInstance(ValueFactory valueFactory,
java.lang.String value)
Return a new instance of this data type from valueFactory. |
DomainType |
getCommonType(DomainStandardLibrary standardLibrary,
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.lang.Iterable<? extends DomainOperation> |
getLocalOperations()
|
java.lang.Iterable<? extends DomainProperty> |
getLocalProperties()
|
java.lang.Iterable<? 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 decoratuions for specializations). |
DomainType |
getNormalizedType(DomainStandardLibrary standardLibrary)
Return the unique executable form of this type within standardLibrary. |
DomainPackage |
getPackage()
Return the package containing 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 |
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. |
Method Detail |
---|
boolean conformsTo(DomainStandardLibrary standardLibrary, DomainType thatType)
ObjectValue createInstance(ValueFactory valueFactory)
DomainProperty.setValue(ObjectValue, Value)
provided no side-effect free
OCL functionality is permitted to use the ObjectValue until initialisation has completed.
value
- Value createInstance(ValueFactory valueFactory, java.lang.String value)
value
- string initial valueDomainType getCommonType(DomainStandardLibrary standardLibrary, DomainType thatType)
DomainInheritance getInheritance(DomainStandardLibrary standardLibrary)
java.lang.Iterable<? extends DomainOperation> getLocalOperations()
java.lang.Iterable<? extends DomainProperty> getLocalProperties()
java.lang.Iterable<? extends DomainType> getLocalSuperTypes()
java.lang.String getMetaTypeName()
java.lang.String getName()
DomainType getNormalizedType(DomainStandardLibrary standardLibrary)
DomainPackage getPackage()
boolean isEqualTo(DomainStandardLibrary standardLibrary, DomainType thatType)
boolean isEqualToUnspecializedType(DomainStandardLibrary standardLibrary, DomainType type)
boolean isOrdered()
boolean isUnique()
LibraryFeature lookupImplementation(DomainStandardLibrary standardLibrary, DomainOperation staticOperation)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |