soot.dava.internal.asg
Class AugmentedStmt

java.lang.Object
  |
  +--soot.dava.internal.asg.AugmentedStmt

public class AugmentedStmt
extends java.lang.Object


Field Summary
 java.util.List bpreds
           
 java.util.List bsuccs
           
 java.util.List cpreds
           
 java.util.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)
           
 java.lang.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)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

bpreds

public java.util.List bpreds

bsuccs

public java.util.List bsuccs

cpreds

public java.util.List cpreds

csuccs

public java.util.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 java.lang.String toString()
Overrides:
toString in class java.lang.Object

reset_PredsSuccs

public void reset_PredsSuccs()

clone

public java.lang.Object clone()
Overrides:
clone in class java.lang.Object