Package soot.dava.internal.SET
Class SETLabeledBlockNode
- java.lang.Object
-
- soot.dava.internal.SET.SETNode
-
- soot.dava.internal.SET.SETLabeledBlockNode
-
public class SETLabeledBlockNode extends SETNode
-
-
Field Summary
-
Fields inherited from class soot.dava.internal.SET.SETNode
body2childChain, entryStmt, parent, predecessors, subBodies, successors
-
-
Constructor Summary
Constructors Constructor Description SETLabeledBlockNode(IterableSet body)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ASTNodeemit_AST()AugmentedStmtget_EntryStmt()IterableSetget_NaturalExits()protected booleanresolve(SETNode parent)-
Methods inherited from class soot.dava.internal.SET.SETNode
add_Child, add_SubBody, contains, dump, dump, emit_ASTBody, equals, 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, hashCode, insert_ChildBefore, is_StrictSupersetOf, is_SupersetOf, nest, remove_AugmentedStmt, remove_Child, verify
-
-
-
-
Constructor Detail
-
SETLabeledBlockNode
public SETLabeledBlockNode(IterableSet body)
-
-
Method Detail
-
get_NaturalExits
public IterableSet get_NaturalExits()
- Specified by:
get_NaturalExitsin classSETNode
-
get_EntryStmt
public AugmentedStmt get_EntryStmt()
- Specified by:
get_EntryStmtin classSETNode
-
-