soot.dava.internal.asg
Class AugmentedStmt

java.lang.Object
  soot.dava.internal.asg.AugmentedStmt

public class AugmentedStmt
extends Object

Field Summary

List	bpreds
List	bsuccs
List	cpreds
List	csuccs
SETNode	myNode

Constructor Summary

AugmentedStmt(Stmt s)

Method Summary

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	get_Dominators()
IterableSet	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 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 bpreds

bsuccs

public List bsuccs

cpreds

public List cpreds

csuccs

public List 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 get_Dominators()

get_Reachers

public IterableSet get_Reachers()

set_Reachability

public void set_Reachability(IterableSet 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