org.eclipse.ocl.internal.evaluation
Class BasicTypeChecker<C,O,P,PM>

java.lang.Object
  org.eclipse.ocl.AbstractTypeChecker<C,O,P,PM>
      org.eclipse.ocl.internal.evaluation.BasicTypeChecker<C,O,P,PM>

All Implemented Interfaces:

TypeChecker<C,O,P>

Direct Known Subclasses:

CachedTypeChecker

public class BasicTypeChecker<C,O,P,PM>
extends AbstractTypeChecker<C,O,P,PM>

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.TypeChecker

TypeChecker.Cached<C,O,P>

Constructor Summary

BasicTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env)

Method Summary

protected C	resolve(C type) Resolves the specified template of a demand-created type to one that is already defined in the current environment, or else a new one or even the given type (which would usually then be added to the environment).
protected CollectionType<C,O>	resolveCollectionType(CollectionKind kind, C elementType) Resolves the specified collection type to a collection type already available in the current environment, or else a new one.
protected TupleType<O,P>	resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts) Resolves the specified signature of tuple parts to a tuple type already available in the current environment, or else a new one.

Methods inherited from class org.eclipse.ocl.AbstractTypeChecker

checkMutuallyComparable, commonSuperType, commonSuperType, compatibleTypeMatch, exactTypeMatch, findAttribute, findOperationMatching, findSignalMatching, getAttributes, getBestMatchingOperations, getEnvironment, getOCLFactory, getOperations, getPropertyType, getRelationship, getRelationship, getResultType, getUMLReflection, isStandardLibraryFeature, matchArgs, matchArgsWithExactitude, resolveGenericSignature, resolveGenericType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BasicTypeChecker

public BasicTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> env)

Method Detail

resolve

protected C resolve(C type)

Description copied from class: AbstractTypeChecker

Resolves the specified template of a demand-created type to one that is already defined in the current environment, or else a new one or even the given type (which would usually then be added to the environment).

Specified by:

resolve in class AbstractTypeChecker<C,O,P,PM>

Parameters:

type - the template/prototype/example of a type to resolve in the current environment

Returns:

the resolved type

resolveCollectionType

protected CollectionType<C,O> resolveCollectionType(CollectionKind kind,
                                                    C elementType)

Description copied from class: AbstractTypeChecker

Resolves the specified collection type to a collection type already available in the current environment, or else a new one.

Specified by:

resolveCollectionType in class AbstractTypeChecker<C,O,P,PM>

Parameters:

kind - the kind of collection type to obtain

elementType - the element type of the requisite collection type

Returns:

the resolved or new collection type

resolveTupleType

protected TupleType<O,P> resolveTupleType(org.eclipse.emf.common.util.EList<? extends TypedElement<C>> parts)

Description copied from class: AbstractTypeChecker

Resolves the specified signature of tuple parts to a tuple type already available in the current environment, or else a new one.

Specified by:

resolveTupleType in class AbstractTypeChecker<C,O,P,PM>

Parameters:

parts - specification of the tuple type signature

Returns:

the resolved or new tuple type