org.eclipse.ocl.examples.library.executor

Interface ExecutorTypeArgument

All Superinterfaces:

DomainElement, DomainNamedElement, DomainNamespace, DomainType, Nameable, OCLValue

All Known Implementing Classes:

EcoreExecutorEnumeration, EcoreExecutorInvalidType, EcoreExecutorType, EcoreExecutorVoidType, ExecutorLambdaType, ExecutorSpecializedType, ExecutorTupleType, ExecutorType, ExecutorTypeParameter

public interface ExecutorTypeArgument
extends DomainType

Method Summary

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getTypeId, getTypeParameters, 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