org.eclipse.ocl.examples.library.ecore
Class EcoreExecutorInvalidType

java.lang.Object
  extended by org.eclipse.ocl.examples.domain.types.AbstractInheritance
      extended by org.eclipse.ocl.examples.library.executor.ExecutorType
          extended by org.eclipse.ocl.examples.library.ecore.EcoreExecutorType
              extended by org.eclipse.ocl.examples.library.ecore.EcoreExecutorInvalidType
All Implemented Interfaces:
DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, ExecutorTypeArgument

public class EcoreExecutorInvalidType
extends EcoreExecutorType


Nested Class Summary
 
Nested classes/interfaces inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance
AbstractInheritance.FragmentIterable
 
Field Summary
 
Fields inherited from class org.eclipse.ocl.examples.library.ecore.EcoreExecutorType
eClassifier
 
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
EcoreExecutorInvalidType(BuiltInTypeId typeId, ExecutorPackage evaluationPackage, int flags, ExecutorTypeParameter... typeParameters)
           
 
Method Summary
 boolean conformsTo(DomainStandardLibrary standardLibrary, DomainType type)
          Return true if this type conform to thatType within standardLibrary.
 boolean isUndefined()
           
 
Methods inherited from class org.eclipse.ocl.examples.library.ecore.EcoreExecutorType
createInstance, createInstance, getEClassifier, getMetaTypeName, getTypeId, initFragments
 
Methods inherited from class org.eclipse.ocl.examples.library.executor.ExecutorType
getAllOperations, getAllProperties, getAllSuperFragments, getDepth, getFragment, getIndex, getIndexes, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMemberProperty, getOwnedAttribute, getOwnedOperation, getSelfFragment, getStandardLibrary, getSuperFragments, getType, getTypeParameters, initFragments
 
Methods inherited from class org.eclipse.ocl.examples.domain.types.AbstractInheritance
getCommonInheritance, getCommonType, getFragment, getInheritance, getMemberOperation, getName, getNormalizedType, getOclAnyInheritance, getOwnedInvariant, getOwnedRule, getPackage, initStatics, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isSubInheritanceOf, isSuperInheritanceOf, isUnique, lookupImplementation, lookupLocalOperation, oclEquals, oclHashCode, specializeIn, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType
getCommonType, getInheritance, getName, getNormalizedType, getOwnedInvariant, getPackage, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn
 
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
 

Constructor Detail

EcoreExecutorInvalidType

public EcoreExecutorInvalidType(@NonNull
                                BuiltInTypeId typeId,
                                @NonNull
                                ExecutorPackage evaluationPackage,
                                int flags,
                                @NonNull
                                ExecutorTypeParameter... typeParameters)
Method Detail

conformsTo

public boolean conformsTo(@NonNull
                          DomainStandardLibrary standardLibrary,
                          @NonNull
                          DomainType type)
Description copied from interface: DomainType
Return true if this type conform to thatType within standardLibrary.

Specified by:
conformsTo in interface DomainType
Overrides:
conformsTo in class AbstractInheritance

isUndefined

public boolean isUndefined()
Specified by:
isUndefined in interface DomainInheritance
Overrides:
isUndefined in class AbstractInheritance