Package net.ssehub.easy.varModel.cstEvaluation

Class ContainerOperations.TypeSelectEvaluator

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ContainerOperations.TypeSelectEvaluator

All Implemented Interfaces:

IOperationEvaluator

Enclosing class:

ContainerOperations

static class ContainerOperations.TypeSelectEvaluator
extends Object
implements IOperationEvaluator

Implements the typeSelection operation.

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	kindOf
private boolean	reject

Constructor Summary

Constructors

Constructor	Description
TypeSelectEvaluator(boolean reject, boolean kindOf)	Creates a type select evaluator.

Method Summary

Modifier and Type	Method	Description
EvaluationAccessor	evaluate(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Evaluates an operation.

Methods inherited from class java.lang.Object

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

Field Details

reject

private boolean reject

kindOf

private boolean kindOf

Constructor Details

TypeSelectEvaluator

TypeSelectEvaluator(boolean reject,
 boolean kindOf)

Creates a type select evaluator.

Parameters:

reject - do reject instead of select

kindOf - shall the evaluator take the subtypes into account (true) or consider only type equality (false)

Method Details

evaluate

public EvaluationAccessor evaluate(EvaluationAccessor operand,
 EvaluationAccessor[] arguments)

Description copied from interface: IOperationEvaluator

Evaluates an operation.

Specified by:

evaluate in interface IOperationEvaluator

Parameters:

operand - the operand value

arguments - the arguments to be used for the evaluation

Returns:

the result of the operation (variable or value)