ida.pelab.prt.generalfunctions
Class LoopFunctions

java.lang.Object
  ida.pelab.prt.generalfunctions.LoopFunctions

public class LoopFunctions
extends java.lang.Object

Constructor Summary

LoopFunctions()

Method Summary

static java.lang.String	convertBoundToString(cetus.hir.Expression boundExpression)
static LoopDirectionType	detectLoopDirection(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	findStep(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	getConditionUpperbound(cetus.hir.Expression condition, cetus.hir.Expression variable)
static cetus.hir.BinaryOperator	getLoopOperator(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	getLoopvariable(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	getLowerBoundExpression(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	getStepIncrement(cetus.hir.ForLoop fLoop)
static cetus.hir.Expression	getUpperBoundExpression(cetus.hir.ForLoop lp)
static cetus.hir.Expression	getUpperBoundmax(cetus.hir.ForLoop lp)
static boolean	isForLoopValid(cetus.hir.ForLoop forLoop)
static boolean	isStep(cetus.hir.ForLoop fLoop, cetus.hir.Traversable inputExp)
static boolean	isStepValid(cetus.hir.Expression loopVariable, cetus.hir.Expression stepExression)

Methods inherited from class java.lang.Object

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

Constructor Detail

LoopFunctions

public LoopFunctions()

Method Detail

getLoopvariable

public static cetus.hir.Expression getLoopvariable(cetus.hir.ForLoop fLoop)

getLoopOperator

public static cetus.hir.BinaryOperator getLoopOperator(cetus.hir.ForLoop fLoop)

detectLoopDirection

public static LoopDirectionType detectLoopDirection(cetus.hir.ForLoop fLoop)

getLowerBoundExpression

public static cetus.hir.Expression getLowerBoundExpression(cetus.hir.ForLoop fLoop)

getUpperBoundExpression

public static cetus.hir.Expression getUpperBoundExpression(cetus.hir.ForLoop lp)

getUpperBoundmax

public static cetus.hir.Expression getUpperBoundmax(cetus.hir.ForLoop lp)

convertBoundToString

public static java.lang.String convertBoundToString(cetus.hir.Expression boundExpression)

getStepIncrement

public static cetus.hir.Expression getStepIncrement(cetus.hir.ForLoop fLoop)

findStep

public static cetus.hir.Expression findStep(cetus.hir.ForLoop fLoop)

isStep

public static boolean isStep(cetus.hir.ForLoop fLoop,
                             cetus.hir.Traversable inputExp)

isStepValid

public static boolean isStepValid(cetus.hir.Expression loopVariable,
                                  cetus.hir.Expression stepExression)

getConditionUpperbound

public static cetus.hir.Expression getConditionUpperbound(cetus.hir.Expression condition,
                                                          cetus.hir.Expression variable)

isForLoopValid

public static boolean isForLoopValid(cetus.hir.ForLoop forLoop)