|
|||||||||
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.SETControlFlowNode | +--soot.dava.internal.SET.SETCycleNode
Fields inherited from class soot.dava.internal.SET.SETNode |
body2childChain,
entryStmt,
parent,
predecessors,
subBodies,
successors |
Constructor Summary | |
SETCycleNode(AugmentedStmt characterizingStmt,
IterableSet body)
|
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: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |