Package net.ssehub.easy.varModel.cstEvaluation

Class ContainerIterators

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.ContainerIterators

class ContainerIterators
extends java.lang.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 IIteratorEvaluator	ANY	Implements Container.ANY.
(package private) static IIteratorEvaluator	APPLY	Implements Container.APPLY.
(package private) static IIteratorEvaluator	CLOSURE	Implements Container.CLOSURE.
(package private) static IIteratorEvaluator	COLLECT	Implements Container.COLLECT and Container.COLLECT_NESTED.
private static java.lang.Object	DATA_CLOSURE_CYCLIC
private static java.lang.Object	DATA_CLOSURE_MARKED
(package private) static IIteratorEvaluator	EXISTS	Implements Container.EXISTS.
(package private) static IIteratorEvaluator	FOR_ALL	Implements Container.FORALL.
private static java.util.Comparator<Value>	INT_COMPARATOR	A comparator for int values.
(package private) static IIteratorEvaluator	IS_ACYCLIC	Implements Container.IS_ACYCLIC.
(package private) static IIteratorEvaluator	IS_UNIQUE	Implements Container.IS_UNIQUE.
(package private) static IIteratorEvaluator	MAX2	Implements Container.MIN2.
(package private) static IIteratorEvaluator	MIN2	Implements Container.MIN2.
(package private) static IIteratorEvaluator	ONE	Implements Container.ONE.
private static java.util.Comparator<Value>	REAL_COMPARATOR	A comparator for real values.
(package private) static 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 Detail

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 java.lang.Object DATA_CLOSURE_MARKED

DATA_CLOSURE_CYCLIC

private static final java.lang.Object DATA_CLOSURE_CYCLIC

INT_COMPARATOR

private static final java.util.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 java.util.Comparator<Value> REAL_COMPARATOR

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

Constructor Detail

ContainerIterators

private ContainerIterators()

Prevents external creation.