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

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.EcoreExecutorVoidType

All Implemented Interfaces:

DomainElement, DomainInheritance, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue, ExecutorTypeArgument

public class EcoreExecutorVoidType
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

EcoreExecutorVoidType(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

EcoreExecutorVoidType

public EcoreExecutorVoidType(@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