Package net.ssehub.easy.varModel.cstEvaluation

Interface ContainerOperations.Container2Operation

Enclosing class:

ContainerOperations

static interface ContainerOperations.Container2Operation

Defines a container/container operation.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method	Description
void	evaluate(ContainerOperations.ContainerArgument c1, ContainerOperations.ContainerArgument c2, java.util.List<Value> result, EvaluationAccessor resultAccessor)	Evaluates the specific function on two container values possibly modifying result.

Method Detail

evaluate

void evaluate(ContainerOperations.ContainerArgument c1,
              ContainerOperations.ContainerArgument c2,
              java.util.List<Value> result,
              EvaluationAccessor resultAccessor)

Evaluates the specific function on two container values possibly modifying result.

Parameters:

c1 - the first container (must not be modified)

c2 - the second container (must not be modified)

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

resultAccessor - for taking over bound elements