|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.dava.internal.SET.SETNode | +--soot.dava.internal.SET.SETStatementSequenceNode
Fields inherited from class soot.dava.internal.SET.SETNode |
body2childChain,
entryStmt,
parent,
predecessors,
subBodies,
successors |
Constructor Summary | |
SETStatementSequenceNode(IterableSet body)
|
|
SETStatementSequenceNode(IterableSet body,
DavaBody davaBody)
|
Method Summary | |
ASTNode |
emit_AST()
|
AugmentedStmt |
get_EntryStmt()
|
IterableSet |
get_NaturalExits()
|
boolean |
has_Continue()
|
void |
insert_AbruptStmt(DAbruptStmt stmt)
|
protected boolean |
resolve(SETNode parent)
|
Methods inherited from class soot.dava.internal.SET.SETNode |
add_Child,
add_SubBody,
contains,
dump,
dump,
emit_ASTBody,
find_AbruptEdges,
find_LabeledBlocks,
find_SmallestSETNode,
find_StatementSequences,
get_Body,
get_Body2ChildChain,
get_IntersectionWith,
get_Label,
get_Parent,
get_Predecessors,
get_SubBodies,
get_Successors,
has_IntersectionWith,
insert_ChildBefore,
is_StrictSupersetOf,
is_SupersetOf,
nest,
remove_AugmentedStmt,
remove_Child,
verify |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public SETStatementSequenceNode(IterableSet body, DavaBody davaBody)
public SETStatementSequenceNode(IterableSet body)
Method Detail |
public boolean has_Continue()
public IterableSet get_NaturalExits()
public ASTNode emit_AST()
public AugmentedStmt get_EntryStmt()
public void insert_AbruptStmt(DAbruptStmt stmt)
protected boolean resolve(SETNode parent)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |