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

java.lang.Object
  org.eclipse.ocl.examples.domain.types.AbstractInheritance
      org.eclipse.ocl.examples.library.executor.ExecutorType
          org.eclipse.ocl.examples.library.ecore.EcoreExecutorType
              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