Package net.ssehub.easy.varModel.cstEvaluation

Interface ContainerOperations.ContainerValueOperation

Enclosing class:

ContainerOperations

static interface ContainerOperations.ContainerValueOperation

Defines a container/value operation.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method	Description
void	evaluate(ContainerOperations.ContainerArgument cont, Value value, java.util.List<Value> result, EvaluationAccessor resAcc)	Evaluates the specific function on a container and a value possibly modifying result.

Method Detail

evaluate

void evaluate(ContainerOperations.ContainerArgument cont,
              Value value,
              java.util.List<Value> result,
              EvaluationAccessor resAcc)

Evaluates the specific function on a container and a value possibly modifying result.

Parameters:

cont - the container (must not be modified)

value - the value

result - the result (to be modified as a side effect)

resAcc - accessor to result for transferring bound elements