Uses of Class
ida.pelab.prt.pattern.LoopVariable

Packages that use LoopVariable

ida.pelab.cgn.ccode
ida.pelab.prt.annotation
ida.pelab.prt.pattern

Uses of LoopVariable in ida.pelab.cgn.ccode

Methods in ida.pelab.cgn.ccode with parameters of type LoopVariable

java.lang.String

CodeExtension.addLoopVariable(cetus.hir.Traversable subTreeRoot, LoopVariable lv) generates a unique variable for in the output which corresponds to the loop variable of the current for-loop

Uses of LoopVariable in ida.pelab.prt.annotation

Method parameters in ida.pelab.prt.annotation with type arguments of type LoopVariable

static java.lang.String	ArrayAnnotation.toAnnotatedString(cetus.hir.ArrayAccess inputArray, java.util.ArrayList<LoopVariable> variableList)
static java.util.ArrayList<ArrayBoundary>	ArrayAnnotation.toArrayBoundaryList(cetus.hir.ArrayAccess inputArray, java.util.ArrayList<LoopVariable> variableList)

Uses of LoopVariable in ida.pelab.prt.pattern

Methods in ida.pelab.prt.pattern that return LoopVariable

static LoopVariable

LoopVariable.buildVariable(cetus.hir.ForLoop loop)

Methods in ida.pelab.prt.pattern with parameters of type LoopVariable

static boolean

LoopVariable.SymbolicComparison(LoopVariable first, LoopVariable second)