org.eclipse.ocl.examples.library.executor
Class DomainReflectiveType
java.lang.Object
org.eclipse.ocl.examples.domain.types.AbstractInheritance
org.eclipse.ocl.examples.library.executor.ReflectiveType
org.eclipse.ocl.examples.library.executor.DomainReflectiveType
- All Implemented Interfaces:
- DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue
public class DomainReflectiveType
- extends ReflectiveType
Methods inherited from class org.eclipse.ocl.examples.library.executor.ReflectiveType |
addSubInheritance, computeFlags, createInstance, createInstance, dispose, gatherUninstalledInheritances, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getSelfFragment, getSuperFragments, getType, initialize, install, installOclAny, isInstallable, isInstalled, removeSubInheritance, uninstall |
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance |
conformsTo, getCommonInheritance, getCommonType, getFragment, getInheritance, getMemberOperation, getName, getNormalizedType, getOclAnyInheritance, getOwnedInvariant, getOwnedRule, getPackage, initStatics, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, isUnique, lookupImplementation, lookupLocalOperation, oclEquals, oclHashCode, specializeIn, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
standardLibrary
@NonNull
protected final DomainStandardLibrary standardLibrary
domainType
@NonNull
protected final DomainType domainType
DomainReflectiveType
public DomainReflectiveType(@NonNull
DomainReflectivePackage evaluationPackage,
@NonNull
DomainType domainType)
createFragment
@NonNull
protected AbstractFragment createFragment(@NonNull
DomainInheritance baseInheritance)
- Specified by:
createFragment
in class ReflectiveType
getAllOperations
@NonNull
public java.lang.Iterable<? extends DomainOperation> getAllOperations(@Nullable
FeatureFilter featureFilter)
getAllProperties
@NonNull
public java.lang.Iterable<? extends DomainProperty> getAllProperties(@Nullable
FeatureFilter featureFilter)
getInitialSuperInheritances
@NonNull
public java.lang.Iterable<? extends DomainInheritance> getInitialSuperInheritances()
- Description copied from class:
ReflectiveType
- Return the immediate superinheritances without reference to the fragments.
- Specified by:
getInitialSuperInheritances
in class ReflectiveType
getLocalOperations
@NonNull
public java.util.List<? extends DomainOperation> getLocalOperations()
getLocalProperties
@NonNull
public java.util.List<? extends DomainProperty> getLocalProperties()
getLocalSuperTypes
@NonNull
public java.util.List<? extends DomainType> getLocalSuperTypes()
getMemberProperty
@Nullable
public DomainProperty getMemberProperty(@NonNull
java.lang.String name)
getMetaTypeName
@NonNull
public java.lang.String getMetaTypeName()
- Description copied from interface:
DomainType
- Return the name of the meta-type of this type.
getOwnedAttribute
@NonNull
public java.util.List<? extends DomainProperty> getOwnedAttribute()
getOwnedOperation
@NonNull
public java.util.List<? extends DomainOperation> getOwnedOperation()
getStandardLibrary
@NonNull
public DomainStandardLibrary getStandardLibrary()
- Description copied from interface:
DomainInheritance
- Return the Standard Library managing the dispatch tables.
getTypeId
@NonNull
public TypeId getTypeId()
- Description copied from interface:
DomainType
- Return a unique StandardLibrary-independent identifier for this type.
- Specified by:
getTypeId
in interface DomainType
- Overrides:
getTypeId
in class ReflectiveType
getTypeParameters
@NonNull
public DomainTypeParameters getTypeParameters()
- Description copied from interface:
DomainType
- Return the ordered list of type parameters of this type.