org.eclipse.ocl.pivot.internal.library.executor

Class ExecutorManager

java.lang.Object

org.eclipse.ocl.pivot.internal.library.executor.ExecutorManager

All Implemented Interfaces:

Evaluator, Executor

Direct Known Subclasses:

EcoreExecutorManager, PivotExecutorManager

public abstract class ExecutorManager
extends java.lang.Object
implements Executor

Field Summary

Fields

Modifier and Type	Field and Description
protected CompleteEnvironment	environment
protected StandardLibrary	standardLibrary

Constructor Summary

Constructors

Constructor and Description
ExecutorManager(CompleteEnvironment environment)

Method Summary

Modifier and Type	Method and Description
void	add(TypedElement referredVariable, java.lang.Object value)
Evaluator	createNestedEvaluator() Deprecated. Evaluator no longer nests
protected java.util.Map<java.lang.String,java.util.regex.Pattern>	createRegexCache() Creates (on demand) the regular-expression matcher cache.
void	dispose()
Value	evaluate(OCLExpression body)
Value	evaluateIteration(Type returnType, CollectionValue sourceVal, TypedElement accumulator, OCLExpression body, TypedElement[] iterators)
CompleteEnvironment	getCompleteEnvironment()
int	getDiagnosticSeverity(int severityPreference, java.lang.Object resultValue) Return the org.eclipse.emf.common.util.Diagnostic severity to be reported for a non-true validation resultValue given a severityPreference defined by a StatusCodes value.
Type	getDynamicTypeOf(java.lang.Object value)
EnvironmentFactory	getEnvironmentFactory()
EvaluationEnvironment	getEvaluationEnvironment()
EvaluationLogger	getLogger() Return the logger handling oclLog() invocations or null for none.
MetamodelManager	getMetamodelManager()
java.util.regex.Pattern	getRegexPattern(java.lang.String regex) Return a cached matcher for a give regular expression.
int	getSeverity(java.lang.Object validationKey) Return the StatusCodes severity with which the validation identified by validationKey is reported.
StandardLibrary	getStandardLibrary()
Class	getStaticTypeOf(java.lang.Object value)
Class	getStaticTypeOf(java.lang.Object value, java.lang.Iterable<?> values)
Class	getStaticTypeOf(java.lang.Object value, java.lang.Object... values)
boolean	isCanceled() Return true if the evaluation has been canceled.
void	popEvaluationEnvironment()
EvaluationEnvironment	pushEvaluationEnvironment(NamedElement executableObject, OCLExpression callingObject)
void	replace(TypedElement referredVariable, java.lang.Object value)
void	setCanceled(boolean isCanceled) Request cancelation of the current the evaluation, or reset the request for a new evaluation.
void	setLogger(EvaluationLogger logger) Specify the logger to handle oclLog() invocations or null for none.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.pivot.evaluation.Executor

getIdResolver, getModelManager

Field Detail

environment

@NonNull
protected final CompleteEnvironment environment

standardLibrary

@NonNull
protected final StandardLibrary standardLibrary

Constructor Detail

ExecutorManager

public ExecutorManager(@NonNull
                       CompleteEnvironment environment)

Method Detail

add

public void add(@NonNull
                TypedElement referredVariable,
                @Nullable
                java.lang.Object value)

Specified by:

add in interface Executor

Since:

1.1

createNestedEvaluator

@Deprecated
 @NonNull
public Evaluator createNestedEvaluator()

Deprecated. Evaluator no longer nests

Specified by:

createNestedEvaluator in interface Evaluator

Since:

1.1

createRegexCache

@NonNull
protected java.util.Map<java.lang.String,java.util.regex.Pattern> createRegexCache()

Creates (on demand) the regular-expression matcher cache. The default implementation creates an access-ordered LRU cache with a limit of 16 entries. Subclasses may override to create a map with whatever different performance characteristics may be required.

Returns:

the new regular-expression matcher cache

See Also:

getRegexPattern(String)

dispose

public void dispose()

Specified by:

dispose in interface Evaluator

evaluate

@NonNull
public Value evaluate(@NonNull
                                OCLExpression body)

Specified by:

evaluate in interface Evaluator

Specified by:

evaluate in interface Executor

evaluateIteration

public Value evaluateIteration(Type returnType,
                               CollectionValue sourceVal,
                               TypedElement accumulator,
                               OCLExpression body,
                               TypedElement[] iterators)

getCompleteEnvironment

@NonNull
public CompleteEnvironment getCompleteEnvironment()

Specified by:

getCompleteEnvironment in interface Evaluator

Specified by:

getCompleteEnvironment in interface Executor

getDiagnosticSeverity

public int getDiagnosticSeverity(int severityPreference,
                                 @Nullable
                                 java.lang.Object resultValue)

Description copied from interface: Evaluator

Return the org.eclipse.emf.common.util.Diagnostic severity to be reported for a non-true validation resultValue given a severityPreference defined by a StatusCodes value.

Specified by:

getDiagnosticSeverity in interface Evaluator

getDynamicTypeOf

@NonNull
public Type getDynamicTypeOf(@Nullable
                                       java.lang.Object value)

getEnvironmentFactory

@NonNull
public EnvironmentFactory getEnvironmentFactory()

Specified by:

getEnvironmentFactory in interface Executor

Since:

1.1

getEvaluationEnvironment

@NonNull
public EvaluationEnvironment getEvaluationEnvironment()

Specified by:

getEvaluationEnvironment in interface Evaluator

Specified by:

getEvaluationEnvironment in interface Executor

getLogger

@Nullable
public EvaluationLogger getLogger()

Description copied from interface: Evaluator

Return the logger handling oclLog() invocations or null for none.

Specified by:

getLogger in interface Evaluator

Specified by:

getLogger in interface Executor

getMetamodelManager

@NonNull
public MetamodelManager getMetamodelManager()

Specified by:

getMetamodelManager in interface Executor

Since:

1.1

getRegexPattern

@NonNull
public java.util.regex.Pattern getRegexPattern(@NonNull
                                                         java.lang.String regex)

Return a cached matcher for a give regular expression.

Specified by:

getRegexPattern in interface Evaluator

Specified by:

getRegexPattern in interface Executor

getSeverity

public int getSeverity(@Nullable
                       java.lang.Object validationKey)

Description copied from interface: Evaluator

Return the StatusCodes severity with which the validation identified by validationKey is reported. The validationKey is typically a string such as "ClassName::ConstraintName" for which static literals are available in an autogenerated *Table file as STR_Classname_c_c_ConstraintName.

StatusCodes.OK severity suppresses the validation altogether.
StatusCodes.Warning is returned for any null or unknown key.

Specified by:

getSeverity in interface Evaluator

Specified by:

getSeverity in interface Executor

getStandardLibrary

@NonNull
public StandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in interface Evaluator

Specified by:

getStandardLibrary in interface Executor

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value,
                             @NonNull
                             java.lang.Object... values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

getStaticTypeOf

public Class getStaticTypeOf(@Nullable
                             java.lang.Object value,
                             @NonNull
                             java.lang.Iterable<?> values)

Specified by:

getStaticTypeOf in interface Evaluator

Specified by:

getStaticTypeOf in interface Executor

isCanceled

public boolean isCanceled()

Description copied from interface: Evaluator

Return true if the evaluation has been canceled.

Specified by:

isCanceled in interface Evaluator

setCanceled

public void setCanceled(boolean isCanceled)

Description copied from interface: Evaluator

Request cancelation of the current the evaluation, or reset the request for a new evaluation. Cancelation occurs by throwing an EvaluationHaltedException when an expression, operation or iteration is next invoked.

Specified by:

setCanceled in interface Evaluator

setLogger

public void setLogger(@Nullable
                      EvaluationLogger logger)

Description copied from interface: Evaluator

Specify the logger to handle oclLog() invocations or null for none.

Specified by:

setLogger in interface Evaluator

Specified by:

setLogger in interface Executor

popEvaluationEnvironment

public void popEvaluationEnvironment()

Specified by:

popEvaluationEnvironment in interface Executor

Since:

1.1

pushEvaluationEnvironment

@NonNull
public EvaluationEnvironment pushEvaluationEnvironment(@NonNull
                                                                 NamedElement executableObject,
                                                                 @Nullable
                                                                 OCLExpression callingObject)

Specified by:

pushEvaluationEnvironment in interface Executor

Since:

1.1

replace

public void replace(@NonNull
                    TypedElement referredVariable,
                    @Nullable
                    java.lang.Object value)

Specified by:

replace in interface Executor

Since:

1.1