ida.pelab.prt.pattern
Class LoopVariable

java.lang.Object
  extended by cetus.hir.Expression
      extended by ida.pelab.prt.pattern.LoopVariable
All Implemented Interfaces:
cetus.hir.Printable, cetus.hir.Traversable, java.lang.Cloneable, java.lang.Comparable<cetus.hir.Expression>

public class LoopVariable
extends cetus.hir.Expression


Constructor Summary
LoopVariable()
           
LoopVariable(cetus.hir.Expression ex, cetus.hir.Expression lb, cetus.hir.Expression ub, cetus.hir.Expression step, LoopDirectionType dir, cetus.hir.BinaryOperator op)
           
 
Method Summary
static LoopVariable buildVariable(cetus.hir.ForLoop loop)
           
 boolean equals(java.lang.Object input)
           
 cetus.hir.Expression getAbsoluteUpperBound()
           
 cetus.hir.BinaryOperator getConditionOpr()
           
 LoopDirectionType getDirection()
           
 cetus.hir.Expression getLowerBound()
           
 cetus.hir.Expression getStep()
           
 cetus.hir.Expression getUpperBound()
           
 cetus.hir.Expression getVariableExpression()
           
 void setAnnotatedExpression(cetus.hir.Expression expression)
           
 void setConditionOpr(cetus.hir.BinaryOperator conditionOpr)
           
 void setDirection(LoopDirectionType dir)
           
 void setLowerBound(cetus.hir.Expression lowerBound)
           
 void setStep(cetus.hir.Expression step)
           
 void setUpperBound(cetus.hir.Expression upperBound)
           
static boolean SymbolicComparison(LoopVariable first, LoopVariable second)
           
 java.lang.String toAnnotationString()
           
 java.lang.String toIndexString()
           
 java.lang.String toString()
           
 
Methods inherited from class cetus.hir.Expression
clone, compareTo, findExpression, getChildren, getParent, getStatement, hashCode, needsParens, print, printSelf, removeChild, setChild, setParens, setParent, setPrintMethod, swapWith, verify
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LoopVariable

public LoopVariable()

LoopVariable

public LoopVariable(cetus.hir.Expression ex,
                    cetus.hir.Expression lb,
                    cetus.hir.Expression ub,
                    cetus.hir.Expression step,
                    LoopDirectionType dir,
                    cetus.hir.BinaryOperator op)
Method Detail

setDirection

public void setDirection(LoopDirectionType dir)

getDirection

public LoopDirectionType getDirection()

setLowerBound

public void setLowerBound(cetus.hir.Expression lowerBound)

getLowerBound

public cetus.hir.Expression getLowerBound()

setStep

public void setStep(cetus.hir.Expression step)

getStep

public cetus.hir.Expression getStep()

setUpperBound

public void setUpperBound(cetus.hir.Expression upperBound)

getUpperBound

public cetus.hir.Expression getUpperBound()

getAbsoluteUpperBound

public cetus.hir.Expression getAbsoluteUpperBound()

setAnnotatedExpression

public void setAnnotatedExpression(cetus.hir.Expression expression)

getVariableExpression

public cetus.hir.Expression getVariableExpression()

buildVariable

public static LoopVariable buildVariable(cetus.hir.ForLoop loop)

toString

public java.lang.String toString()
Overrides:
toString in class cetus.hir.Expression

toAnnotationString

public java.lang.String toAnnotationString()

toIndexString

public java.lang.String toIndexString()

equals

public boolean equals(java.lang.Object input)
Overrides:
equals in class cetus.hir.Expression

SymbolicComparison

public static boolean SymbolicComparison(LoopVariable first,
                                         LoopVariable second)

setConditionOpr

public void setConditionOpr(cetus.hir.BinaryOperator conditionOpr)

getConditionOpr

public cetus.hir.BinaryOperator getConditionOpr()