org.eclipse.ocl.internal.evaluation

Class CachedTypeChecker<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>

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

All Implemented Interfaces:

TypeChecker<C,O,P>, TypeChecker.Cached<C,O,P>

public class CachedTypeChecker<C,O,P,PM>
extends BasicTypeChecker<C,O,P,PM>
implements TypeChecker.Cached<C,O,P>

Nested Class Summary

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

TypeChecker.Cached<C,O,P>

Constructor Summary

Constructors

Constructor and Description
CachedTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> environment)

Method Summary

Modifier and Type	Method and Description
P	findAttribute(C owner, String name) Finds the most specific (re)definition of an attribute in the specified classifier.
O	getDynamicOperation(C dynamicType, O staticOperation) Return the operation of dynamicType that exactly match the staticOperation, or null if there is none or more than one.
void	reset() Reset the cache forcing lazy evaluations to restart.
void	setBypass(boolean bypass) Reset the cache and define its bypass state.

Methods inherited from class org.eclipse.ocl.AbstractTypeChecker

checkMutuallyComparable, commonSuperType, compatibleTypeMatch, exactTypeMatch, findOperationMatching, findSignalMatching, getAttributes, getOperations, getPropertyType, getRelationship, getResultType, isStandardLibraryFeature, matchArgs, resolveGenericSignature

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.TypeChecker

checkMutuallyComparable, commonSuperType, compatibleTypeMatch, exactTypeMatch, findOperationMatching, findSignalMatching, getAttributes, getOperations, getPropertyType, getRelationship, getResultType, isStandardLibraryFeature, matchArgs, resolveGenericSignature

Constructor Detail

CachedTypeChecker

public CachedTypeChecker(Environment<?,C,O,P,?,PM,?,?,?,?,?,?> environment)

Method Detail

findAttribute

public P findAttribute(C owner,
                       String name)

Description copied from class: AbstractTypeChecker

Finds the most specific (re)definition of an attribute in the specified classifier.

Specified by:

findAttribute in interface TypeChecker<C,O,P>

Overrides:

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

Parameters:

owner - the classifier to search

name - the name of the operation

Returns:

the matching operation, or null if not found

getDynamicOperation

public O getDynamicOperation(C dynamicType,
                             O staticOperation)

Return the operation of dynamicType that exactly match the staticOperation, or null if there is none or more than one.

Specified by:

getDynamicOperation in interface TypeChecker.Cached<C,O,P>

reset

public void reset()

Description copied from interface: TypeChecker.Cached

Reset the cache forcing lazy evaluations to restart.

Specified by:

reset in interface TypeChecker.Cached<C,O,P>

setBypass

public void setBypass(boolean bypass)

Description copied from interface: TypeChecker.Cached

Reset the cache and define its bypass state. When bypassed the cache is not used, which may be appropriate if many additional properties or operations are being defined since each of these activities reset the cache, so there may be little benefit in populating it.

Specified by:

setBypass in interface TypeChecker.Cached<C,O,P>