Package net.ssehub.easy.varModel.cstEvaluation

Class ContainerIterators

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ContainerIterators

class ContainerIterators
extends Object

Implements the container iterators.

Author:

Holger Eichelberger

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	ContainerIterators.ClosureIteratorEvaluator	Implements a basic closure iterator which can stop on a cycle.
(package private) static class	ContainerIterators.CollectingIteratorEvaluator	Implements an evaluator adaptor for collecting operations.
(package private) static class	ContainerIterators.CollectIteratorEvaluator	Implements Container.SELECT and Container.REJECT.
private static class	ContainerIterators.DefaultValueComparator	The default value comparator for any value based on StringProvider.
private static class	ContainerIterators.NumberIteratorEvaluator	A number aggregating iterator.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final IIteratorEvaluator	ANY	Implements Container.ANY.
(package private) static final IIteratorEvaluator	APPLY	Implements Container.APPLY.
(package private) static final IIteratorEvaluator	CLOSURE	Implements Container.CLOSURE.
(package private) static final IIteratorEvaluator	COLLECT	Implements Container.COLLECT and Container.COLLECT_NESTED.
private static final Object	DATA_CLOSURE_CYCLIC
private static final Object	DATA_CLOSURE_MARKED
(package private) static final IIteratorEvaluator	EXISTS	Implements Container.EXISTS.
(package private) static final IIteratorEvaluator	FOR_ALL	Implements Container.FORALL.
private static final Comparator<Value>	INT_COMPARATOR	A comparator for int values.
(package private) static final IIteratorEvaluator	IS_ACYCLIC	Implements Container.IS_ACYCLIC.
(package private) static final IIteratorEvaluator	IS_UNIQUE	Implements Container.IS_UNIQUE.
(package private) static final IIteratorEvaluator	MAX2	Implements Container.MIN2.
(package private) static final IIteratorEvaluator	MIN2	Implements Container.MIN2.
(package private) static final IIteratorEvaluator	ONE	Implements Container.ONE.
private static final Comparator<Value>	REAL_COMPARATOR	A comparator for real values.
(package private) static final IIteratorEvaluator	SORTED_BY	Implements Container.SORTED_BY.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ContainerIterators()	Prevents external creation.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

APPLY

static final IIteratorEvaluator APPLY

Implements Container.APPLY.

FOR_ALL

static final IIteratorEvaluator FOR_ALL

Implements Container.FORALL.

EXISTS

static final IIteratorEvaluator EXISTS

Implements Container.EXISTS.

IS_UNIQUE

static final IIteratorEvaluator IS_UNIQUE

Implements Container.IS_UNIQUE.

ANY

static final IIteratorEvaluator ANY

Implements Container.ANY.

ONE

static final IIteratorEvaluator ONE

Implements Container.ONE.

MIN2

static final IIteratorEvaluator MIN2

Implements Container.MIN2.

MAX2

static final IIteratorEvaluator MAX2

Implements Container.MIN2.

COLLECT

static final IIteratorEvaluator COLLECT

Implements Container.COLLECT and Container.COLLECT_NESTED.

CLOSURE

static final IIteratorEvaluator CLOSURE

Implements Container.CLOSURE.

IS_ACYCLIC

static final IIteratorEvaluator IS_ACYCLIC

Implements Container.IS_ACYCLIC.

SORTED_BY

static final IIteratorEvaluator SORTED_BY

Implements Container.SORTED_BY.

DATA_CLOSURE_MARKED

private static final Object DATA_CLOSURE_MARKED

DATA_CLOSURE_CYCLIC

private static final Object DATA_CLOSURE_CYCLIC

INT_COMPARATOR

private static final Comparator<Value> INT_COMPARATOR

A comparator for int values. This comparator shall not be used with any other instance than int values.

REAL_COMPARATOR

private static final Comparator<Value> REAL_COMPARATOR

A comparator for real values. This comparator shall not be used with any other instance than real values.

Constructor Details

ContainerIterators

private ContainerIterators()

Prevents external creation.