org.eclipse.ocl.examples.library
Class IterationManager<ACC extends Value>
java.lang.Object
org.eclipse.ocl.examples.library.IterationManager<ACC>
public class IterationManager<ACC extends Value>
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
IterationManager
public IterationManager(EvaluationVisitor evaluationVisitor,
LoopExp iteratorExp,
CollectionValue collectionValue,
ACC accumulatorValue)
IterationManager
public IterationManager(IterationManager<ACC> iterationManager,
Value value)
throws InvalidValueException
- Throws:
InvalidValueException
advance
public void advance()
get
public Value get(int i)
getAccumulatorValue
public ACC getAccumulatorValue()
getBodyValue
public Value getBodyValue()
getCollectionValue
public CollectionValue getCollectionValue()
getEvaluationEnvironment
public EvaluationEnvironment getEvaluationEnvironment()
getFalse
public Value getFalse()
getTrue
public Value getTrue()
getValueFactory
public ValueFactory getValueFactory()
hasCurrent
public boolean hasCurrent()
isOuterIteration
public boolean isOuterIteration()
replaceAccumulator
public void replaceAccumulator(ACC accumulatorValue)
- Associate a new value with the accumulator.
This is only used by an "iterate" where the accumulator takes on arbitrary
values. Other iterations have an updating accumulator value.
- Parameters:
accumulatorValue
-
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
throwInvalidEvaluation
public NullValue throwInvalidEvaluation(java.lang.String message,
java.lang.Object... bindings)
throws InvalidEvaluationException
- Throws:
InvalidEvaluationException
throwInvalidEvaluation
public NullValue throwInvalidEvaluation(InvalidValueException e)