Package net.ssehub.easy.varModel.cstEvaluation

Class SetOperations

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.SetOperations

public class SetOperations
extends java.lang.Object

Implements set operations.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static IOperationEvaluator	DIFFERENCE	Implements the difference (-) operation.
(package private) static IOperationEvaluator	EXCLUDING	Implements the "excluding" operation.
(package private) static IOperationEvaluator	INCLUDING	Implements the "including" operation.
(package private) static IOperationEvaluator	SYMMETRIC_DIFFERENCE	Implements the symmetric difference operation.
(package private) static IOperationEvaluator	UNION	Implements the union operation.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SetOperations()	Prevent instance creation.

Method Summary

Modifier and Type	Method	Description
private static void	addAll(ContainerOperations.ContainerArgument cnt, java.util.List<Value> result, java.util.HashSet<Value> done, EvaluationAccessor resAcc)	Adds all elements in cnt to result.
private static void	addAllXor(ContainerOperations.ContainerArgument cnt, java.util.HashSet<Value> set1, java.util.HashSet<Value> set2, java.util.List<Value> result, EvaluationAccessor resAcc)	Adds all elements from cnt to result if the individual elements are either in set1 or in set2.
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 Detail

UNION

static final IOperationEvaluator UNION

Implements the union operation.

DIFFERENCE

static final IOperationEvaluator DIFFERENCE

Implements the difference (-) operation.

SYMMETRIC_DIFFERENCE

static final IOperationEvaluator SYMMETRIC_DIFFERENCE

Implements the symmetric difference operation.

EXCLUDING

static final IOperationEvaluator EXCLUDING

Implements the "excluding" operation.

INCLUDING

static final IOperationEvaluator INCLUDING

Implements the "including" operation.

Constructor Detail

SetOperations

private SetOperations()

Prevent instance creation.

Method Detail

register

public static void register()

Registers the defined operations.

addAll

private static final void addAll(ContainerOperations.ContainerArgument cnt,
                                 java.util.List<Value> result,
                                 java.util.HashSet<Value> done,
                                 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)

done - all elements considered so far

resAcc - the result accessor for transferring bound elements

addAllXor

private static void addAllXor(ContainerOperations.ContainerArgument cnt,
                              java.util.HashSet<Value> set1,
                              java.util.HashSet<Value> set2,
                              java.util.List<Value> result,
                              EvaluationAccessor resAcc)

Adds all elements from cnt to result if the individual elements are either in set1 or in set2.

Parameters:

cnt - the container to take the values from

set1 - the first set

set2 - the second set

result - the resulting elements

resAcc - result accessor for transferring bound elements