soot.dava.internal.AST
Class ASTNode

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.dava.internal.AST.ASTNode
Direct Known Subclasses:
ASTLabeledNode, ASTMethodNode, ASTStatementSequenceNode

public abstract class ASTNode
extends AbstractUnit

See Also:
Serialized Form

Field Summary
static java.lang.String NEWLINE
           
protected  java.util.List subBodies
           
static java.lang.String TAB
           
 
Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
ASTNode()
           
 
Method Summary
protected  java.lang.String body_toString(java.util.List body)
           
protected  void body_toString(UnitPrinter up, java.util.List body)
           
 boolean branches()
          Returns true if execution after this statement does not necessarily continue at the following statement.
 boolean fallsThrough()
          Returns true if execution after this statement may continue at the following statement.
 java.util.List get_SubBodies()
           
abstract  void perform_Analysis(ASTAnalysis a)
           
protected  void perform_AnalysisOnSubBodies(ASTAnalysis a)
           
abstract  void toString(UnitPrinter up)
           
 
Methods inherited from class soot.AbstractUnit
addBoxPointingToThis, apply, clearUnitBoxes, clone, 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, toString, wait, wait, wait
 

Field Detail

TAB

public static final java.lang.String TAB

NEWLINE

public static final java.lang.String NEWLINE

subBodies

protected java.util.List subBodies
Constructor Detail

ASTNode

public ASTNode()
Method Detail

toString

public abstract void toString(UnitPrinter up)

body_toString

protected void body_toString(UnitPrinter up,
                             java.util.List body)

body_toString

protected java.lang.String body_toString(java.util.List body)

get_SubBodies

public java.util.List get_SubBodies()

perform_Analysis

public abstract void perform_Analysis(ASTAnalysis a)

perform_AnalysisOnSubBodies

protected void perform_AnalysisOnSubBodies(ASTAnalysis a)

fallsThrough

public boolean fallsThrough()
Description copied from interface: Unit
Returns true if execution after this statement may continue at the following statement. GotoStmt will return false but IfStmt will return true.

branches

public boolean branches()
Description copied from interface: Unit
Returns true if execution after this statement does not necessarily continue at the following statement. GotoStmt and IfStmt will both return true.