Class EvaluatorRegistry
java.lang.Object
net.ssehub.easy.varModel.cstEvaluation.EvaluatorRegistry
Allows to register, query and unregister evaluators for IVML operations.
- Author:
- Holger Eichelberger
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final Map<Operation, IIteratorEvaluator> private static final Map<Operation, IOperationEvaluator> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionstatic IIteratorEvaluatorgetIteratorEvaluator(Operation operation) Returns the registered iterator evaluator for the given operation.static IOperationEvaluatorgetOperationEvaluator(Operation operation) Returns the registered operation evaluator for the given operation.static voidregisterEvaluator(IIteratorEvaluator evaluator, Operation... operations) Registers an evaluator (but only ifevaluatoris not null).static voidregisterEvaluator(IOperationEvaluator evaluator, Operation... operations) Registers an evaluator (but only ifevaluatoris not null).
-
Field Details
-
OP_EVALUATORS
-
ITER_EVALUATORS
-
-
Constructor Details
-
EvaluatorRegistry
public EvaluatorRegistry()
-
-
Method Details
-
registerEvaluator
Registers an evaluator (but only ifevaluatoris not null).- Parameters:
evaluator- the evaluator foroperationoperations- the operation theevaluatorshall be registered for
-
registerEvaluator
Registers an evaluator (but only ifevaluatoris not null).- Parameters:
evaluator- the evaluator foroperationoperations- the operation theevaluatorshall be registered for
-
getOperationEvaluator
Returns the registered operation evaluator for the given operation.- Parameters:
operation- the operation to return the evaluator for- Returns:
- the operation evaluator
-
getIteratorEvaluator
Returns the registered iterator evaluator for the given operation.- Parameters:
operation- the operation to return the evaluator for- Returns:
- the operation iterator evaluator
-