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

Packages that use AugmentedStmtGraph

Package	Description
soot.dava.internal.asg
soot.dava.internal.SET
soot.dava.toolkits.base.finders

Uses of AugmentedStmtGraph in soot.dava.internal.asg

Constructors in soot.dava.internal.asg with parameters of type AugmentedStmtGraph

Constructor	Description
AugmentedStmtGraph(AugmentedStmtGraph other)

Uses of AugmentedStmtGraph in soot.dava.internal.SET

Constructors in soot.dava.internal.SET with parameters of type AugmentedStmtGraph

Constructor	Description
SETTryNode(IterableSet body, ExceptionNode en, AugmentedStmtGraph asg, DavaBody davaBody)

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

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

Modifier and Type	Method	Description
void	AbruptEdgeFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	CycleFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	ExceptionFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	FactFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	IfFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	LabeledBlockFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	SequenceFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	SwitchFinder.find(DavaBody davaBody, AugmentedStmtGraph asg, SETNode SET)
void	SynchronizedBlockFinder.find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	ExceptionFinder.preprocess(DavaBody body, AugmentedStmtGraph asg)
void	ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody, AugmentedStmtGraph asg, IterableSet<ExceptionNode> enlist)