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.AST.traversals   
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)
           
 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_AugStmt(Stmt s)
           
 AugmentedStmt AugmentedStmtGraph.get_AugStmt(Stmt s)
           
 AugmentedStmt AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
           
 AugmentedStmt AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
           
 

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

Uses of AugmentedStmt in soot.dava.internal.SET
 

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

Methods in soot.dava.internal.SET that return AugmentedStmt
 AugmentedStmt SETControlFlowNode.get_CharacterizingStmt()
           
 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()
           
 AugmentedStmt SETWhileNode.get_EntryStmt()
           
 AugmentedStmt SETUnconditionalWhileNode.get_EntryStmt()
           
 AugmentedStmt SETTryNode.get_EntryStmt()
           
 AugmentedStmt SETTopNode.get_EntryStmt()
           
 AugmentedStmt SETSynchronizedBlockNode.get_EntryStmt()
           
 AugmentedStmt SETSwitchNode.get_EntryStmt()
           
 AugmentedStmt SETStatementSequenceNode.get_EntryStmt()
           
abstract  AugmentedStmt SETNode.get_EntryStmt()
           
 AugmentedStmt SETLabeledBlockNode.get_EntryStmt()
           
 AugmentedStmt SETDoWhileNode.get_EntryStmt()
           
 AugmentedStmt SETDagNode.get_EntryStmt()
           
 

Methods in soot.dava.internal.SET with parameters of type AugmentedStmt
 void SETNode.find_SmallestSETNode(AugmentedStmt as)
           
 void SETNode.find_SmallestSETNode(AugmentedStmt as)
           
protected  void SETNode.remove_AugmentedStmt(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)
           
SETControlFlowNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETCycleNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETCycleNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETDagNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETDagNode(AugmentedStmt characterizingStmt, IterableSet body)
           
SETDoWhileNode(AugmentedStmt characterizingStmt, AugmentedStmt entryPoint, IterableSet body)
           
SETDoWhileNode(AugmentedStmt characterizingStmt, AugmentedStmt entryPoint, IterableSet body)
           
SETIfElseNode(AugmentedStmt characterizingStmt, IterableSet body, IterableSet ifBody, IterableSet elseBody)
           
SETIfElseNode(AugmentedStmt characterizingStmt, IterableSet body, IterableSet ifBody, IterableSet elseBody)
           
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, List<SwitchNode> switchNodeList, IterableSet junkBody)
           
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, List<SwitchNode> switchNodeList, IterableSet junkBody)
           
SETWhileNode(AugmentedStmt characterizingStmt, IterableSet body)
           
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)
           
 AugmentedStmt FinalFieldDefinition.createDefaultStmt(Object field)
           
 AugmentedStmt SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
           
 AugmentedStmt SuperFirstStmtHandler.createStmtAccordingToType(Type tempType, Value tempVal, Local newLocal, SootMethodRef getMethodRef)
           
 

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

Constructors in soot.dava.toolkits.base.AST.traversals with parameters of type AugmentedStmt
InitializationDeclarationShortcut(AugmentedStmt ofInterest)
           
InitializationDeclarationShortcut(AugmentedStmt ofInterest)
           
InitializationDeclarationShortcut(boolean verbose, AugmentedStmt ofInterest)
           
InitializationDeclarationShortcut(boolean verbose, AugmentedStmt ofInterest)
           
 

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

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

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

Method parameters in soot.dava.toolkits.base.finders with type arguments of type AugmentedStmt
 void SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
           
 void SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
           
 void SwitchNode.setup_Graph(HashMap<AugmentedStmt,SwitchNode> binding)
           
 void SwitchNode.setup_Graph(HashMap<AugmentedStmt,SwitchNode> binding)
           
 

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