org.eclipse.ocl

Interface TypeChecker.Cached<C,O,P>

All Superinterfaces:

TypeChecker<C,O,P>

All Known Implementing Classes:

CachedTypeChecker

Enclosing interface:

TypeChecker<C,O,P>

public static interface TypeChecker.Cached<C,O,P>
extends TypeChecker<C,O,P>

The extended Cached interface supports dynamic dsiaptch and more focussed lookups.

Since:

3.2

Nested Class Summary

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

TypeChecker.Cached<C,O,P>

Method Summary

Methods

Modifier and Type	Method and Description
O	getDynamicOperation(C dynamicType, O staticOperation) Get the most derived operation of dynamicType or its ancestors that matches staticOperation.
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 interface org.eclipse.ocl.TypeChecker

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

Method Detail

getDynamicOperation

O getDynamicOperation(C dynamicType,
                    O staticOperation)

Get the most derived operation of dynamicType or its ancestors that matches staticOperation.

Parameters:

dynamicType -

staticOperation -

Returns:

reset

void reset()

Reset the cache forcing lazy evaluations to restart.

setBypass

void setBypass(boolean bypass)

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.