org.eclipse.ocl.internal.evaluation
Class IterationTemplateForAll<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.IterationTemplateForAll<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

public final class IterationTemplateForAll<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>

Method Summary

protected java.lang.Object	evaluateResult(java.util.List<Variable<C,PM>> iterators, java.lang.String resultName, java.lang.Object body)
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)

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

advanceIterators, evaluate, getEvalEnvironment, getEvaluationVisitor, 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)

evaluateResult

protected java.lang.Object evaluateResult(java.util.List<Variable<C,PM>> iterators,
                                          java.lang.String resultName,
                                          java.lang.Object body)

Overrides:

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