org.eclipse.ocl.pivot.internal.library.ecore

Class EcoreExecutorInvalidType

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

org.eclipse.ocl.pivot.internal.library.executor.ExecutorType

org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorType

org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorInvalidType

All Implemented Interfaces:

Class, CompleteInheritance, Element, ExecutorTypeArgument, NamedElement, Namespace, TemplateableElement, Type, Visitable, Nameable, OCLValue

public class EcoreExecutorInvalidType
extends EcoreExecutorType

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

AbstractInheritance.FragmentIterable

Field Summary

Fields inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

ABSTRACT, OCL_ANY, OCL_INVALID, OCL_VOID, ORDERED, UNIQUE

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
EcoreExecutorInvalidType(BuiltInTypeId typeId, ExecutorPackage evaluationPackage, int flags, ExecutorTypeParameter... typeParameters)

Method Summary

Modifier and Type	Method and Description
boolean	conformsTo(StandardLibrary standardLibrary, Type type) Return true if this type conform to thatType within standardLibrary.

Methods inherited from class org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorType

createInstance, createInstance, getEClassifier, getMetaTypeName, getTypeId, initFragments

Methods inherited from class org.eclipse.ocl.pivot.internal.library.executor.ExecutorType

flattenedType, getAllProperSuperFragments, getAllSuperFragments, getCommonType, getDepth, getFragment, getFragments, getIndex, getIndexes, getInheritance, getMemberOperation, getMemberProperty, getNormalizedType, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getPivotClass, getSelfFragment, getStandardLibrary, getSuperClasses, getSuperFragments, getTypeParameters, initFragments, isClass, isEqualTo, isEqualToUnspecializedType, isOrdered, isTemplateParameter, isUnique, oclEquals, oclHashCode, toString

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorClass

getBehavioralClass, getExtenders, getInstanceClassName, getOwnedBehaviors, getOwnedBindings, getOwnedSignature, getUnspecializedElement, isIsAbstract, isIsActive, isIsInterface, isIsSerializable, setBehavioralClass, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setIsSerializable, setOwnedSignature, setOwningPackage, setUnspecializedElement, validateNameIsNotNull, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorType

specializeIn

Methods inherited from class org.eclipse.ocl.pivot.types.AbstractInheritance

getCommonInheritance, getFragment, getType, initStatics, isInvalid, isOclAny, isSubInheritanceOf, isSuperInheritanceOf, isUndefined, lookupActualOperation, lookupImplementation, lookupLocalOperation

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.Type

specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.Class

lookupActualOperation, lookupImplementation

Constructor Detail

EcoreExecutorInvalidType

public EcoreExecutorInvalidType(BuiltInTypeId typeId,
                                ExecutorPackage evaluationPackage,
                                int flags,
                                ExecutorTypeParameter... typeParameters)

Method Detail

conformsTo

public boolean conformsTo(StandardLibrary standardLibrary,
                          Type type)

Description copied from interface: Type

Return true if this type conform to thatType within standardLibrary.

Specified by:

conformsTo in interface Type

Overrides:

conformsTo in class ExecutorType