org.eclipse.ocl.examples.library.executor
Interface ExecutorTypeArgument

All Superinterfaces:

DomainElement, DomainType

All Known Implementing Classes:

EcoreExecutorEnumeration, EcoreExecutorType, ExecutorLambdaType, ExecutorSpecializedType, 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, getPackage, isEqualTo, isEqualToUnspecializedType, isOrdered, isUnique, lookupImplementation