Package soot.dava.internal.SET

Class SETIfElseNode

java.lang.Object

soot.dava.internal.SET.SETNode

soot.dava.internal.SET.SETControlFlowNode

soot.dava.internal.SET.SETDagNode

soot.dava.internal.SET.SETIfElseNode

public class SETIfElseNode
extends SETDagNode

Field Summary

Fields inherited from class soot.dava.internal.SET.SETNode

body2childChain, entryStmt, parent, predecessors, subBodies, successors

Constructor Summary

Constructors

Constructor	Description
SETIfElseNode(AugmentedStmt characterizingStmt, IterableSet body, IterableSet ifBody, IterableSet elseBody)

Method Summary

Modifier and Type	Method	Description
ASTNode	emit_AST()
IterableSet	get_NaturalExits()

Methods inherited from class soot.dava.internal.SET.SETDagNode

get_EntryStmt

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, 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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SETIfElseNode

public SETIfElseNode(AugmentedStmt characterizingStmt,
                     IterableSet body,
                     IterableSet ifBody,
                     IterableSet elseBody)

Method Detail

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