org.eclipse.ocl.examples.library.executor
Class DomainReflectiveType

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractInheritance
      extended by org.eclipse.ocl.examples.library.executor.ReflectiveType
          extended by org.eclipse.ocl.examples.library.executor.DomainReflectiveType
All Implemented Interfaces:
DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue

public class DomainReflectiveType
extends ReflectiveType


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance
AbstractInheritance.FragmentIterable
 
Field Summary
protected  DomainType domainType
           
protected  DomainStandardLibrary standardLibrary
           
 
Fields inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance
evaluationPackage, flags, name, operationMap, ORDERED, propertyMap, UNIQUE
 
Fields inherited from interface org.eclipse.ocl.examples.domain.elements.DomainInheritance
EMPTY_ARRAY
 
Constructor Summary
DomainReflectiveType(DomainReflectivePackage evaluationPackage, DomainType domainType)
           
 
Method Summary
protected  AbstractFragment createFragment(DomainInheritance baseInheritance)
           
 java.lang.Iterable<? extends DomainOperation> getAllOperations(FeatureFilter featureFilter)
           
 java.lang.Iterable<? extends DomainProperty> getAllProperties(FeatureFilter featureFilter)
           
 java.lang.Iterable<? extends DomainInheritance> getInitialSuperInheritances()
          Return the immediate superinheritances without reference to the fragments.
 java.util.List<? extends DomainOperation> getLocalOperations()
           
 java.util.List<? extends DomainProperty> getLocalProperties()
           
 java.util.List<? extends DomainType> getLocalSuperTypes()
           
 DomainProperty getMemberProperty(java.lang.String name)
           
 java.lang.String getMetaTypeName()
          Return the name of the meta-type of this type.
 java.util.List<? extends DomainProperty> getOwnedAttribute()
           
 java.util.List<? extends DomainOperation> getOwnedOperation()
           
 DomainStandardLibrary getStandardLibrary()
          Return the Standard Library managing the dispatch tables.
 TypeId getTypeId()
          Return a unique StandardLibrary-independent identifier for this type.
 DomainTypeParameters getTypeParameters()
          Return the ordered list of type parameters of this type.
 
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
 

Field Detail

standardLibrary

@NonNull
protected final DomainStandardLibrary standardLibrary

domainType

@NonNull
protected final DomainType domainType
Constructor Detail

DomainReflectiveType

public DomainReflectiveType(@NonNull
                            DomainReflectivePackage evaluationPackage,
                            @NonNull
                            DomainType domainType)
Method Detail

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.