Package 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

All Implemented Interfaces:

Serializable, Context, Host, Unit, Switchable

public class ASTWhileNode
extends ASTControlFlowNode

See Also:

Serialized Form

Field Summary

Fields inherited from class soot.dava.internal.AST.ASTNode

NEWLINE, subBodies, TAB

Fields inherited from class soot.AbstractUnit

boxesPointingToThis

Fields inherited from class soot.tagkit.AbstractHost

col, line, mTagList

Constructor Summary

Constructors

Constructor	Description
ASTWhileNode(SETNodeLabel label, ASTCondition ce, List<Object> body)
ASTWhileNode(SETNodeLabel label, ConditionExpr ce, List<Object> body)

Method Summary

Modifier and Type	Method	Description
void	apply(Analysis a)
Object	clone()	Returns a deep clone of this object.
void	replaceBody(List<Object> body)
String	toString()
void	toString(UnitPrinter up)

Methods inherited from class soot.dava.internal.AST.ASTControlFlowNode

get_Condition, perform_Analysis, set_Condition

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, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface soot.tagkit.Host

addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag

Constructor Detail

ASTWhileNode

public ASTWhileNode(SETNodeLabel label,
                    ConditionExpr ce,
                    List<Object> body)

ASTWhileNode

public ASTWhileNode(SETNodeLabel label,
                    ASTCondition ce,
                    List<Object> body)

Method Detail

replaceBody

public void replaceBody(List<Object> body)

clone

public Object clone()

Description copied from class: AbstractUnit

Returns a deep clone of this object.

Specified by:

clone in interface Unit

Specified by:

clone in class AbstractUnit

toString

public void toString(UnitPrinter up)

Specified by:

toString in interface Unit

Specified by:

toString in class ASTNode

toString

public String toString()

Overrides:

toString in class Object

apply

public void apply(Analysis a)

Overrides:

apply in class ASTNode