Uses of Class
soot.dava.internal.asg.AugmentedStmt

Packages that use AugmentedStmt
soot.dava   
soot.dava.internal.asg   
soot.dava.internal.SET   
soot.dava.toolkits.base.AST.transformations   
soot.dava.toolkits.base.finders   
 

Uses of AugmentedStmt in soot.dava
 

Methods in soot.dava with parameters of type AugmentedStmt
 void DavaBody.consume_Condition(AugmentedStmt as)
           
 

Uses of AugmentedStmt in soot.dava.internal.asg
 

Methods in soot.dava.internal.asg that return AugmentedStmt
 AugmentedStmt AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
           
 AugmentedStmt AugmentedStmtGraph.get_AugStmt(Stmt s)
           
 

Methods in soot.dava.internal.asg with parameters of type AugmentedStmt
 boolean AugmentedStmt.add_BPred(AugmentedStmt bpred)
           
 boolean AugmentedStmt.add_BSucc(AugmentedStmt bsucc)
           
 boolean AugmentedStmt.add_CPred(AugmentedStmt cpred)
           
 boolean AugmentedStmt.add_CSucc(AugmentedStmt csucc)
           
 boolean AugmentedStmt.remove_BPred(AugmentedStmt bpred)
           
 boolean AugmentedStmt.remove_BSucc(AugmentedStmt bsucc)
           
 boolean AugmentedStmt.remove_CPred(AugmentedStmt cpred)
           
 boolean AugmentedStmt.remove_CSucc(AugmentedStmt csucc)
           
 void AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as)
           
 AugmentedStmt AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
           
 void AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, HashSet blockers, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(Collection sources, HashSet blockers, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, AugmentedStmt blocker, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(Collection sources, AugmentedStmt blocker, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(Collection sources, AugmentedStmt dominator)
           
 void AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source)
           
 void AugmentedStmtGraph.add_StmtBinding(Stmt s, AugmentedStmt as)
           
 boolean AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove)
           
 

Uses of AugmentedStmt in soot.dava.internal.SET
 

Fields in soot.dava.internal.SET declared as AugmentedStmt
protected  AugmentedStmt SETNode.entryStmt
           
 

Methods in soot.dava.internal.SET that return AugmentedStmt
 AugmentedStmt SETControlFlowNode.get_CharacterizingStmt()
           
 AugmentedStmt SETDagNode.get_EntryStmt()
           
 AugmentedStmt SETDoWhileNode.get_EntryStmt()
           
 AugmentedStmt SETLabeledBlockNode.get_EntryStmt()
           
abstract  AugmentedStmt SETNode.get_EntryStmt()
           
 AugmentedStmt SETStatementSequenceNode.get_EntryStmt()
           
 AugmentedStmt SETSwitchNode.get_EntryStmt()
           
 AugmentedStmt SETSynchronizedBlockNode.get_EntryStmt()
           
 AugmentedStmt SETTopNode.get_EntryStmt()
           
 AugmentedStmt SETTryNode.get_EntryStmt()
           
 AugmentedStmt SETUnconditionalWhileNode.get_EntryStmt()
           
 AugmentedStmt SETWhileNode.get_EntryStmt()
           
 

Methods in soot.dava.internal.SET with parameters of type AugmentedStmt
 void SETNode.find_SmallestSETNode(AugmentedStmt as)
           
protected  void SETNode.remove_AugmentedStmt(AugmentedStmt as)
           
 

Constructors in soot.dava.internal.SET with parameters of type AugmentedStmt
SETControlFlowNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETCycleNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETDagNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETDoWhileNode(AugmentedStmt characterizingStmt, AugmentedStmt entryPoint, IterableSet body)
           
SETIfElseNode(AugmentedStmt characterizingStmt, IterableSet body, IterableSet ifBody, IterableSet elseBody)
           
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, List switchNodeList, IterableSet junkBody)
           
SETWhileNode(AugmentedStmt characterizingStmt, IterableSet body)
           
 

Uses of AugmentedStmt in soot.dava.toolkits.base.AST.transformations
 

Methods in soot.dava.toolkits.base.AST.transformations that return AugmentedStmt
 AugmentedStmt FinalFieldDefinition.createDefaultStmt(Object field)
           
 

Uses of AugmentedStmt in soot.dava.toolkits.base.finders
 

Methods in soot.dava.toolkits.base.finders that return AugmentedStmt
 AugmentedStmt SwitchNode.get_AugStmt()
           
 

Methods in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt
 IterableSet ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
           
 boolean ExceptionNode.add_TryStmt(AugmentedStmt as)
           
 boolean ExceptionNode.remove(AugmentedStmt as)
           
 

Constructors in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt
ExceptionNode(IterableSet tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)
           
SwitchNode(AugmentedStmt as, TreeSet indexSet, IterableSet body)