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

Packages that use AugmentedStmt

Package	Description
soot.dava
soot.dava.internal.asg
soot.dava.internal.AST
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()

Methods in soot.dava with parameters of type AugmentedStmt

Modifier and Type	Method and Description
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
List<AugmentedStmt>	AugmentedStmt.bpreds
List<AugmentedStmt>	AugmentedStmt.bsuccs
List<AugmentedStmt>	AugmentedStmt.cpreds
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_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)
List<AugmentedStmt>	AugmentedStmtGraph.get_BriefHeads()
List<AugmentedStmt>	AugmentedStmtGraph.get_BriefTails()
IterableSet<AugmentedStmt>	AugmentedStmtGraph.get_ChainView()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Dominators()
IterableSet<AugmentedStmt>	AugmentedStmt.get_Reachers()
List<AugmentedStmt>	AugmentedStmtGraph.getHeads()
List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(Stmt s)
List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(Stmt s)
List<AugmentedStmt>	AugmentedStmtGraph.getTails()
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)
boolean	AugmentedStmt.add_BPred(AugmentedStmt bpred)
boolean	AugmentedStmt.add_BSucc(AugmentedStmt bsucc)
boolean	AugmentedStmt.add_CPred(AugmentedStmt cpred)
boolean	AugmentedStmt.add_CSucc(AugmentedStmt csucc)
void	AugmentedStmtGraph.add_StmtBinding(Stmt s, AugmentedStmt as)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
AugmentedStmt	AugmentedStmtGraph.get_CloneOf(AugmentedStmt as)
List<AugmentedStmt>	AugmentedStmtGraph.getPredsOf(AugmentedStmt s)
List<AugmentedStmt>	AugmentedStmtGraph.getSuccsOf(AugmentedStmt s)
boolean	AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove)
boolean	AugmentedStmt.remove_BPred(AugmentedStmt bpred)
boolean	AugmentedStmt.remove_BSucc(AugmentedStmt bsucc)
boolean	AugmentedStmt.remove_CPred(AugmentedStmt cpred)
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, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, AugmentedStmt blocker, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
void	AugmentedStmtGraph.calculate_Reachability(Collection<AugmentedStmt> sources, Set<AugmentedStmt> blockers, AugmentedStmt dominator)
IterableSet<AugmentedStmt>	AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody)
void	AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers)

Uses of AugmentedStmt in soot.dava.internal.AST

Methods in soot.dava.internal.AST that return types with arguments of type AugmentedStmt

Modifier and Type	Method and Description
List<AugmentedStmt>	ASTForLoopNode.getInit()
List<AugmentedStmt>	ASTStatementSequenceNode.getStatements()
List<AugmentedStmt>	ASTForLoopNode.getUpdate()

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

Modifier and Type	Method and Description
void	ASTStatementSequenceNode.setStatements(List<AugmentedStmt> statementSequence)

Constructor parameters in soot.dava.internal.AST with type arguments of type AugmentedStmt

Constructor and Description
ASTForLoopNode(SETNodeLabel label, List<AugmentedStmt> init, ASTCondition condition, List<AugmentedStmt> update, List<Object> body)
ASTForLoopNode(SETNodeLabel label, List<AugmentedStmt> init, ASTCondition condition, List<AugmentedStmt> update, List<Object> body)
ASTStatementSequenceNode(List<AugmentedStmt> statementSequence)

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

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

Modifier and Type	Method and Description
AugmentedStmt	SETControlFlowNode.get_CharacterizingStmt()
AugmentedStmt	SETDagNode.get_EntryStmt()
AugmentedStmt	SETLabeledBlockNode.get_EntryStmt()
AugmentedStmt	SETSynchronizedBlockNode.get_EntryStmt()
AugmentedStmt	SETTryNode.get_EntryStmt()
abstract AugmentedStmt	SETNode.get_EntryStmt()
AugmentedStmt	SETSwitchNode.get_EntryStmt()
AugmentedStmt	SETTopNode.get_EntryStmt()
AugmentedStmt	SETStatementSequenceNode.get_EntryStmt()
AugmentedStmt	SETUnconditionalWhileNode.get_EntryStmt()
AugmentedStmt	SETWhileNode.get_EntryStmt()
AugmentedStmt	SETDoWhileNode.get_EntryStmt()

Methods in soot.dava.internal.SET that return types with arguments of type AugmentedStmt

Modifier and Type	Method and Description
IterableSet<AugmentedStmt>	SETNode.get_Body()
IterableSet<AugmentedStmt>	SETNode.get_IntersectionWith(SETNode other)

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

Modifier and Type	Method and Description
void	SETNode.find_SmallestSETNode(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<AugmentedStmt> 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<SwitchNode> switchNodeList, IterableSet junkBody)
SETWhileNode(AugmentedStmt characterizingStmt, IterableSet body)

Constructor parameters in soot.dava.internal.SET with type arguments of type AugmentedStmt

Constructor and Description
SETControlFlowNode(AugmentedStmt characterizingStmt, IterableSet<AugmentedStmt> body)
SETNode(IterableSet<AugmentedStmt> 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(Object field)
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(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()

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_CatchBody()
IterableSet<AugmentedStmt>	ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
List<AugmentedStmt>	ExceptionNode.get_CatchExits()
List<IterableSet<AugmentedStmt>>	ExceptionNode.get_CatchList()
Map<IterableSet<AugmentedStmt>,SootClass>	ExceptionNode.get_ExceptionMap()
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)
IterableSet<AugmentedStmt>	ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt)
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)
boolean	ExceptionNode.add_TryStmts(Collection<AugmentedStmt> c)
void	SequenceFinder.find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
SootClass	ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody)
void	SwitchNode.setup_Graph(HashMap<AugmentedStmt,SwitchNode> binding)
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)
SwitchNode(AugmentedStmt as, TreeSet<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)