Package soot.dava.internal.SET

Class SETStatementSequenceNode

java.lang.Object

soot.dava.internal.SET.SETNode

soot.dava.internal.SET.SETStatementSequenceNode

public class SETStatementSequenceNode
extends SETNode

Field Summary

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

body2childChain, entryStmt, parent, predecessors, subBodies, successors

Constructor Summary

Constructors

Constructor	Description
SETStatementSequenceNode(IterableSet body)
SETStatementSequenceNode(IterableSet body, DavaBody davaBody)

Method Summary

Modifier and Type	Method	Description
ASTNode	emit_AST()
AugmentedStmt	get_EntryStmt()
IterableSet	get_NaturalExits()
boolean	has_Continue()
void	insert_AbruptStmt(DAbruptStmt stmt)
protected boolean	resolve(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

Methods inherited from class java.lang.Object

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

Constructor Detail

SETStatementSequenceNode

public SETStatementSequenceNode(IterableSet body,
                                DavaBody davaBody)

SETStatementSequenceNode

public SETStatementSequenceNode(IterableSet body)

Method Detail

has_Continue

public boolean has_Continue()

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

get_EntryStmt

public AugmentedStmt get_EntryStmt()

Specified by:

get_EntryStmt in class SETNode

insert_AbruptStmt

public void insert_AbruptStmt(DAbruptStmt stmt)

resolve

protected boolean resolve(SETNode parent)

Specified by:

resolve in class SETNode