Package net.ssehub.easy.varModel.cstEvaluation

Class ContainerOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ContainerOperations

public class ContainerOperations
extends Object

Implements the default container operations.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	ContainerOperations.CalcEvaluator	Implements a container calculation evaluator (just as needed for now).
(package private) static interface	ContainerOperations.Container2Operation	Defines a container/container operation.
(package private) static class	ContainerOperations.Container2OperationEvaluator	Implements a container/container operation generically.
(package private) static final class	ContainerOperations.ContainerArgument	A combined container value / accessor.
(package private) static interface	ContainerOperations.ContainerValueOperation	Defines a container/value operation.
(package private) static class	ContainerOperations.ContainerValueOperationEvaluator	Implements a container/value operation generically.
(package private) static final class	ContainerOperations.FindOperationEvaluator	Implements the "includes"/"excludes" function.
(package private) static final class	ContainerOperations.FlattenOperationEvaluator	Implements the "flattens" operation.
(package private) static final class	ContainerOperations.IncludesAllOperationEvaluator	Implements the "includesAll"/"excludesAll" function.
(package private) static final class	ContainerOperations.IsEmptyOperationEvaluator	Implements the "isEmpty"/"notEmpty" function.
(package private) static class	ContainerOperations.TypeSelectEvaluator	Implements the typeSelection operation.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final IOperationEvaluator	ADD	Implements the "add" operation.
(package private) static final IOperationEvaluator	AS_SEQUENCE	Defines the "asSequence" operation.
(package private) static final IOperationEvaluator	AS_SET	Defines the "asSet" operation.
(package private) static final IOperationEvaluator	AVG	Implements the "avg" operation.
(package private) static final net.ssehub.easy.basics.pool.Pool<ContainerOperations.ContainerArgument>	CA_POOL
(package private) static final IOperationEvaluator	COUNT	Implements the "count" operation.
(package private) static final IOperationEvaluator	INTERSECT	Implements the "intersect" operation generically.
(package private) static final IOperationEvaluator	MAX
(package private) static final IOperationEvaluator	MIN
(package private) static final IOperationEvaluator	SIZE	Implements Container.SIZE.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ContainerOperations()	Prevent instance creation.

Method Summary

Modifier and Type	Method	Description
(package private) static final void	addAll(ContainerOperations.ContainerArgument cnt, List<Value> result, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
(package private) static final void	addAll(ContainerOperations.ContainerArgument cnt, Set<Value> result, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
private static final EvaluationAccessor	convert(EvaluationAccessor operand, IDatatype targetType)	Performs the conversion of the operand to the given (container) datatype.
(package private) static void	flatten(Value value, Collection<Value> result)	(Recursively) Flattens the given value if needed.
(package private) static final EvaluationAccessor	found(EvaluationAccessor operand, EvaluationAccessor[] arguments, boolean negate)	Returns whether the first argument value can be found in the operand given that operand is a container.
private static final EvaluationAccessor	max(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MAX operation the given (container) datatype.
private static final EvaluationAccessor	min(EvaluationAccessor operand, EvaluationAccessor[] arguments)	Performs the MIN operation the given (container) datatype.
static void	register()	Registers the defined operations.

Methods inherited from class java.lang.Object

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

Field Details

CA_POOL

static final net.ssehub.easy.basics.pool.Pool<ContainerOperations.ContainerArgument> CA_POOL

SIZE

static final IOperationEvaluator SIZE

Implements Container.SIZE.

ADD

static final IOperationEvaluator ADD

Implements the "add" operation.

AVG

static final IOperationEvaluator AVG

Implements the "avg" operation.

AS_SET

static final IOperationEvaluator AS_SET

Defines the "asSet" operation. Due to the implementation of values in EASy, this operation can be implemented generically.

AS_SEQUENCE

static final IOperationEvaluator AS_SEQUENCE

Defines the "asSequence" operation. Due to the implementation of values in EASy, this operation can be implemented generically.

MIN

static final IOperationEvaluator MIN

MAX

static final IOperationEvaluator MAX

INTERSECT

static final IOperationEvaluator INTERSECT

Implements the "intersect" operation generically.

COUNT

static final IOperationEvaluator COUNT

Implements the "count" operation.

Constructor Details

ContainerOperations

private ContainerOperations()

Prevent instance creation.

Method Details

register

public static void register()

Registers the defined operations.

convert

private static final EvaluationAccessor convert(EvaluationAccessor operand,
 IDatatype targetType)

Performs the conversion of the operand to the given (container) datatype.

Parameters:

operand - the operand to be converted

targetType - the target datatype

Returns:

the converted operand

min

private static final EvaluationAccessor min(EvaluationAccessor operand,
 EvaluationAccessor[] arguments)

Performs the MIN operation the given (container) datatype.

Parameters:

operand - the operand to be converted

arguments - the arguments

Returns:

The result of the arithmetic operation, null if the operation cannot be applied

max

private static final EvaluationAccessor max(EvaluationAccessor operand,
 EvaluationAccessor[] arguments)

Performs the MAX operation the given (container) datatype.

Parameters:

operand - the operand to be converted

arguments - the arguments

Returns:

The result of the arithmetic operation, null if the operation cannot be applied

addAll

static final void addAll(ContainerOperations.ContainerArgument cnt,
 List<Value> result,
 EvaluationAccessor resAcc)

Adds all elements in cnt to result.

Parameters:

cnt - the source of the elements

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

resAcc - the accessor to cont for taking over bound elements

addAll

static final void addAll(ContainerOperations.ContainerArgument cnt,
 Set<Value> result,
 EvaluationAccessor resAcc)

Adds all elements in cnt to result.

Parameters:

cnt - the source of the elements

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

resAcc - the accessor to cont for taking over bound elements

found

static final EvaluationAccessor found(EvaluationAccessor operand,
 EvaluationAccessor[] arguments,
 boolean negate)

Returns whether the first argument value can be found in the operand given that operand is a container.

Parameters:

operand - the operand

arguments - the arguments

negate - negate the result, i.e., from found to not found

Returns:

whether the first argument was (not) found in operand

flatten

static void flatten(Value value,
 Collection<Value> result)

(Recursively) Flattens the given value if needed.

Parameters:

value - the value to be flattened

result - the flattened values (modified as a side effect)