|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.dava.internal.SET.SETNode
soot.dava.internal.SET.SETControlFlowNode
soot.dava.internal.SET.SETDagNode
soot.dava.internal.SET.SETSwitchNode
Field Summary |
Fields inherited from class soot.dava.internal.SET.SETNode |
body2childChain, entryStmt, parent, predecessors, subBodies, successors |
Constructor Summary | |
SETSwitchNode(AugmentedStmt characterizingStmt,
Value key,
IterableSet body,
java.util.List switchNodeList,
IterableSet junkBody)
|
Method Summary | |
ASTNode |
emit_AST()
|
AugmentedStmt |
get_EntryStmt()
|
IterableSet |
get_NaturalExits()
|
Methods inherited from class soot.dava.internal.SET.SETControlFlowNode |
get_CharacterizingStmt, resolve |
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 SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, java.util.List switchNodeList, IterableSet junkBody)
Method Detail |
public IterableSet get_NaturalExits()
get_NaturalExits
in class SETNode
public ASTNode emit_AST()
emit_AST
in class SETNode
public AugmentedStmt get_EntryStmt()
get_EntryStmt
in class SETDagNode
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |