soot.dava.internal.SET
Class SETStatementSequenceNode
java.lang.Object
soot.dava.internal.SET.SETNode
soot.dava.internal.SET.SETStatementSequenceNode
public class SETStatementSequenceNode
- extends SETNode
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 |
SETStatementSequenceNode
public SETStatementSequenceNode(IterableSet body,
DavaBody davaBody)
SETStatementSequenceNode
public SETStatementSequenceNode(IterableSet body)
has_Continue
public boolean has_Continue()
get_NaturalExits
public IterableSet get_NaturalExits()
- Specified by:
get_NaturalExits
in class SETNode
emit_AST
public ASTNode emit_AST()
- Specified by:
emit_AST
in class SETNode
get_EntryStmt
public AugmentedStmt get_EntryStmt()
- Specified by:
get_EntryStmt
in class SETNode
insert_AbruptStmt
public void insert_AbruptStmt(DAbruptStmt stmt)
resolve
protected boolean resolve(SETNode parent)
- Specified by:
resolve
in class SETNode