|
||||||||||
| 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.SETCycleNode
public abstract class SETCycleNode
| Field Summary |
|---|
| Fields inherited from class soot.dava.internal.SET.SETNode |
|---|
body2childChain, entryStmt, parent, predecessors, subBodies, successors |
| Constructor Summary | |
|---|---|
SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
|
| Method Summary |
|---|
| 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_AST, emit_ASTBody, find_AbruptEdges, find_LabeledBlocks, find_SmallestSETNode, find_StatementSequences, get_Body, get_Body2ChildChain, get_EntryStmt, get_IntersectionWith, get_Label, get_NaturalExits, 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 SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||