org.eclipse.ocl.internal.evaluation

Class IterationTemplateClosure<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

java.lang.Object

org.eclipse.ocl.internal.evaluation.IterationTemplate<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

org.eclipse.ocl.internal.evaluation.IterationTemplateClosure<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

public class IterationTemplateClosure<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>
extends IterationTemplate<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

Instantiation of the iteration template for the closure iterator.

Author:

Christian W. Damus (cdamus)

Method Summary

Modifier and Type	Method and Description
protected Object	evaluateResult(List<Variable<C,PM>> iterators, String resultName, Object bodyVal) Recursively evaluates the iterator body expression.
static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> IterationTemplate<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>	getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v, OCLExpression<C> body)

Methods inherited from class org.eclipse.ocl.internal.evaluation.IterationTemplate

advanceIterators, evaluate, getEvalEnvironment, getEvaluationVisitor, getInstance, getInvalid, getNextUnfinishedIterator, getOCLStandardLibrary, initializeIterators, isDone, moreToGo, removeIterators, setDone

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static <PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> IterationTemplate<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> getInstance(EvaluationVisitor<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> v,
                                                                                                                   OCLExpression<C> body)

evaluateResult

protected Object evaluateResult(List<Variable<C,PM>> iterators,
                                String resultName,
                                Object bodyVal)

Recursively evaluates the iterator body expression.

Overrides:

evaluateResult in class IterationTemplate<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>