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

Packages that use AugmentedStmt

Package	Description
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 that return types with arguments of type AugmentedStmt

Modifier and Type	Method and Description
IterableSet<AugmentedStmt>	DavaBody.get_MonitorFacts()
IterableSet<AugmentedStmt>	DavaBody.get_MonitorFacts()

Methods in soot.dava with parameters of type AugmentedStmt

Modifier and Type	Method and Description
void	DavaBody.consume_Condition(AugmentedStmt as)
void	DavaBody.consume_Condition(AugmentedStmt as)

Uses of AugmentedStmt in soot.dava.internal.asg

Fields in soot.dava.internal.asg with type parameters of type AugmentedStmt

Modifier and Type	Field and Description
java.util.List<AugmentedStmt>	AugmentedStmt.bpreds
java.util.List<AugmentedStmt>	AugmentedStmt.bpreds
java.util.List<AugmentedStmt>	AugmentedStmt.bsuccs
java.util.List<AugmentedStmt>	AugmentedStmt.bsuccs
java.util.List<AugmentedStmt>	AugmentedStmt.cpreds
java.util.List<AugmentedStmt>	AugmentedStmt.cpreds
java.util.List<AugmentedStmt>	AugmentedStmt.csuccs
java.util.List<AugmentedStmt>	AugmentedStmt.csuccs

Methods in soot.dava.internal.asg that return AugmentedStmt

Modifier and Type	Method and Description
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 that return types with arguments of type AugmentedStmt

Modifier and Type	Method and Description
IterableSet<AugmentedStmt>	AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody)
IterableSet<AugmentedStmt>	AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.get_BriefHeads()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.get_BriefHeads()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.get_BriefTails()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.get_BriefTails()
IterableSet<AugmentedStmt>	AugmentedStmtGraph.get_ChainView()
IterableSet<AugmentedStmt>	AugmentedStmtGraph.get_ChainView()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Dominators()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Dominators()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Reachers()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Reachers()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getHeads()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getHeads()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(Stmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getTails()
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getTails()
java.util.Iterator<AugmentedStmt>	AugmentedStmtGraph.iterator()
java.util.Iterator<AugmentedStmt>	AugmentedStmtGraph.iterator()

Methods in soot.dava.internal.asg with parameters of type AugmentedStmt

Modifier and Type	Method and Description
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, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
AugmentedStmt	AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
AugmentedStmt	AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
java.util.List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
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)

Method parameters in soot.dava.internal.asg with type arguments of type AugmentedStmt

Modifier and Type	Method and Description
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources, java.util.Set<AugmentedStmt> blockers, AugmentedStmt dominator)
IterableSet<AugmentedStmt>	AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody)
IterableSet<AugmentedStmt>	AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody)
void	AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers)
void	AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers)

Uses of AugmentedStmt in soot.dava.internal.SET

Fields in soot.dava.internal.SET declared as AugmentedStmt

Modifier and Type	Field and Description
protected AugmentedStmt	SETNode.entryStmt
protected AugmentedStmt	SETNode.entryStmt

Methods in soot.dava.internal.SET that return AugmentedStmt

Modifier and Type	Method and Description
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	SETTryNode.get_EntryStmt()
AugmentedStmt	SETSynchronizedBlockNode.get_EntryStmt()
AugmentedStmt	SETSwitchNode.get_EntryStmt()
AugmentedStmt	SETDoWhileNode.get_EntryStmt()
AugmentedStmt	SETDagNode.get_EntryStmt()
AugmentedStmt	SETLabeledBlockNode.get_EntryStmt()
AugmentedStmt	SETUnconditionalWhileNode.get_EntryStmt()
AugmentedStmt	SETWhileNode.get_EntryStmt()
AugmentedStmt	SETStatementSequenceNode.get_EntryStmt()
AugmentedStmt	SETTopNode.get_EntryStmt()
abstract AugmentedStmt	SETNode.get_EntryStmt()

Methods in soot.dava.internal.SET with parameters of type AugmentedStmt

Modifier and Type	Method and Description
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

Constructor and Description
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, java.util.List<SwitchNode> switchNodeList, IterableSet junkBody)
SETSwitchNode(AugmentedStmt characterizingStmt, Value key, IterableSet body, java.util.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

Modifier and Type	Method and Description
AugmentedStmt	FinalFieldDefinition.createDefaultStmt(java.lang.Object field)
AugmentedStmt	FinalFieldDefinition.createDefaultStmt(java.lang.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

Constructor and Description
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

Modifier and Type	Method and Description
AugmentedStmt	SwitchNode.get_AugStmt()
AugmentedStmt	SwitchNode.get_AugStmt()

Methods in soot.dava.toolkits.base.finders that return types with arguments of type AugmentedStmt

Modifier and Type	Method and Description
IterableSet<AugmentedStmt>	ExceptionNode.get_Body()
IterableSet<AugmentedStmt>	ExceptionNode.get_Body()
IterableSet<AugmentedStmt>	ExceptionNode.get_CatchBody()
IterableSet<AugmentedStmt>	ExceptionNode.get_CatchBody()
IterableSet<AugmentedStmt>	ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
IterableSet<AugmentedStmt>	ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
java.util.List<AugmentedStmt>	ExceptionNode.get_CatchExits()
java.util.List<AugmentedStmt>	ExceptionNode.get_CatchExits()
java.util.List<IterableSet<AugmentedStmt>>	ExceptionNode.get_CatchList()
java.util.List<IterableSet<AugmentedStmt>>	ExceptionNode.get_CatchList()
java.util.Map<IterableSet<AugmentedStmt>,SootClass>	ExceptionNode.get_ExceptionMap()
java.util.Map<IterableSet<AugmentedStmt>,SootClass>	ExceptionNode.get_ExceptionMap()
IterableSet<AugmentedStmt>	ExceptionNode.get_TryBody()
IterableSet<AugmentedStmt>	ExceptionNode.get_TryBody()

Methods in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt

Modifier and Type	Method and Description
boolean	ExceptionNode.add_TryStmt(AugmentedStmt as)
boolean	ExceptionNode.add_TryStmt(AugmentedStmt as)
IterableSet<AugmentedStmt>	ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
IterableSet<AugmentedStmt>	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

Modifier and Type	Method and Description
void	ExceptionNode.add_CatchBody(IterableSet<AugmentedStmt> newCatchBody, SootClass except)
void	ExceptionNode.add_CatchBody(IterableSet<AugmentedStmt> newCatchBody, SootClass except)
boolean	ExceptionNode.add_TryStmts(java.util.Collection<AugmentedStmt> c)
boolean	ExceptionNode.add_TryStmts(java.util.Collection<AugmentedStmt> c)
void	SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, java.util.HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
void	SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, java.util.HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
SootClass	ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody)
SootClass	ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody)
void	SwitchNode.setup_Graph(java.util.HashMap<AugmentedStmt,SwitchNode> binding)
void	SwitchNode.setup_Graph(java.util.HashMap<AugmentedStmt,SwitchNode> binding)
void	ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody, AugmentedStmtGraph asg, IterableSet<ExceptionNode> enlist)
void	ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody, AugmentedStmtGraph asg, IterableSet<ExceptionNode> enlist)

Constructors in soot.dava.toolkits.base.finders with parameters of type AugmentedStmt

Constructor and Description
ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)
ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)
SwitchNode(AugmentedStmt as, java.util.TreeSet<java.lang.Object> indexSet, IterableSet body)
SwitchNode(AugmentedStmt as, java.util.TreeSet<java.lang.Object> indexSet, IterableSet body)

Constructor parameters in soot.dava.toolkits.base.finders with type arguments of type AugmentedStmt

Constructor and Description
ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)
ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)