soot.dava.internal.asg

Class AugmentedStmt

java.lang.Object

soot.dava.internal.asg.AugmentedStmt

public class AugmentedStmt
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
List<AugmentedStmt>	bpreds
List<AugmentedStmt>	bsuccs
List<AugmentedStmt>	cpreds
List<AugmentedStmt>	csuccs
SETNode	myNode

Constructor Summary

Constructors

Constructor and Description
AugmentedStmt(Stmt s)

Method Summary

Modifier and Type	Method and Description
boolean	add_BPred(AugmentedStmt bpred)
boolean	add_BSucc(AugmentedStmt bsucc)
boolean	add_CPred(AugmentedStmt cpred)
boolean	add_CSucc(AugmentedStmt csucc)
Object	clone()
void	dump()
IterableSet<AugmentedStmt>	get_Dominators()
IterableSet<AugmentedStmt>	get_Reachers()
Stmt	get_Stmt()
boolean	remove_BPred(AugmentedStmt bpred)
boolean	remove_BSucc(AugmentedStmt bsucc)
boolean	remove_CPred(AugmentedStmt cpred)
boolean	remove_CSucc(AugmentedStmt csucc)
void	reset_PredsSuccs()
void	set_Reachability(IterableSet<AugmentedStmt> reachers)
void	set_Stmt(Stmt s)
String	toString()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

bpreds

public List<AugmentedStmt> bpreds

bsuccs

public List<AugmentedStmt> bsuccs

cpreds

public List<AugmentedStmt> cpreds

csuccs

public List<AugmentedStmt> csuccs

myNode

public SETNode myNode

Constructor Detail

AugmentedStmt

public AugmentedStmt(Stmt s)

Method Detail

set_Stmt

public void set_Stmt(Stmt s)

add_BPred

public boolean add_BPred(AugmentedStmt bpred)

add_BSucc

public boolean add_BSucc(AugmentedStmt bsucc)

add_CPred

public boolean add_CPred(AugmentedStmt cpred)

add_CSucc

public boolean add_CSucc(AugmentedStmt csucc)

remove_BPred

public boolean remove_BPred(AugmentedStmt bpred)

remove_BSucc

public boolean remove_BSucc(AugmentedStmt bsucc)

remove_CPred

public boolean remove_CPred(AugmentedStmt cpred)

remove_CSucc

public boolean remove_CSucc(AugmentedStmt csucc)

get_Stmt

public Stmt get_Stmt()

get_Dominators

public IterableSet<AugmentedStmt> get_Dominators()

get_Reachers

public IterableSet<AugmentedStmt> get_Reachers()

set_Reachability

public void set_Reachability(IterableSet<AugmentedStmt> reachers)

dump

public void dump()

toString

public String toString()

Overrides:

toString in class Object

reset_PredsSuccs

public void reset_PredsSuccs()

clone

public Object clone()

Overrides:

clone in class Object