soot.dava.internal.AST
Class ASTWhileNode

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.dava.internal.AST.ASTNode
                    |
                    +--soot.dava.internal.AST.ASTLabeledNode
                          |
                          +--soot.dava.internal.AST.ASTControlFlowNode
                                |
                                +--soot.dava.internal.AST.ASTWhileNode

public class ASTWhileNode
extends ASTControlFlowNode

See Also:
Serialized Form

Fields inherited from class soot.dava.internal.AST.ASTControlFlowNode
conditionBox
 
Fields inherited from class soot.dava.internal.AST.ASTNode
NEWLINE, subBodies, TAB
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
ASTWhileNode(SETNodeLabel label, ConditionExpr ce, java.util.List body)
           
 
Method Summary
 java.lang.Object clone()
          Returns a deep clone of this object.
 java.lang.String toString()
           
 void toString(UnitPrinter up)
           
 
Methods inherited from class soot.dava.internal.AST.ASTControlFlowNode
get_Condition, perform_Analysis
 
Methods inherited from class soot.dava.internal.AST.ASTLabeledNode
get_Label, label_toString, label_toString, set_Label
 
Methods inherited from class soot.dava.internal.AST.ASTNode
body_toString, body_toString, branches, fallsThrough, get_SubBodies, perform_AnalysisOnSubBodies
 
Methods inherited from class soot.AbstractUnit
addBoxPointingToThis, apply, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUnitBoxes, getUseAndDefBoxes, getUseBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
 
Methods inherited from class soot.tagkit.AbstractHost
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ASTWhileNode

public ASTWhileNode(SETNodeLabel label,
                    ConditionExpr ce,
                    java.util.List body)
Method Detail

clone

public java.lang.Object clone()
Description copied from class: AbstractUnit
Returns a deep clone of this object.
Overrides:
clone in class AbstractUnit

toString

public void toString(UnitPrinter up)
Overrides:
toString in class ASTNode

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object