Uses of Interface
soot.toolkits.exceptions.ThrowAnalysis

Packages that use ThrowAnalysis

soot	Base Soot classes, shared by different intermediate representations.
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.

Uses of ThrowAnalysis in soot

Methods in soot that return ThrowAnalysis

ThrowAnalysis	Scene.getDefaultThrowAnalysis() Returns the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.
ThrowAnalysis	Scene.getDefaultThrowAnalysis() Returns the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.

Methods in soot with parameters of type ThrowAnalysis

void	Scene.setDefaultThrowAnalysis(ThrowAnalysis ta) Sets the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.
void	Scene.setDefaultThrowAnalysis(ThrowAnalysis ta) Sets the ThrowAnalysis to be used by default when constructing CFGs which include exceptional control flow.

Uses of ThrowAnalysis in soot.toolkits.exceptions

Classes in soot.toolkits.exceptions that implement ThrowAnalysis

class	AbstractThrowAnalysis Abstract class implementing parts of the ThrowAnalysis interface which may be common to multiple concrete ThrowAnalysis classes.
class	PedanticThrowAnalysis A ThrowAnalysis that says that every unit can throw every possible exception type.
class	UnitThrowAnalysis A ThrowAnalysis which returns the set of runtime exceptions and errors that might be thrown by the bytecode instructions represented by a unit, as indicated by the Java Virtual Machine specification.

Uses of ThrowAnalysis in soot.toolkits.graph

Fields in soot.toolkits.graph declared as ThrowAnalysis

protected ThrowAnalysis	ExceptionalUnitGraph.throwAnalysis
protected ThrowAnalysis	ExceptionalUnitGraph.throwAnalysis

Methods in soot.toolkits.graph with parameters of type ThrowAnalysis

protected Set<Unit>	ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis, Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests, Map<Unit,List<Unit>> unitToSuccs, Map<Unit,List<Unit>> unitToPreds, boolean omitExceptingUnitEdges) Method to compute the edges corresponding to exceptional control flow.
protected Set<Unit>	ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis, Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests, Map<Unit,List<Unit>> unitToSuccs, Map<Unit,List<Unit>> unitToPreds, boolean omitExceptingUnitEdges) Method to compute the edges corresponding to exceptional control flow.
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>>	ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis) Utility method used in the construction of UnitGraph variants which include exceptional control flow.
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>>	ExceptionalUnitGraph.buildExceptionDests(ThrowAnalysis throwAnalysis) Utility method used in the construction of UnitGraph variants which include exceptional control flow.
protected void	ExceptionalUnitGraph.initialize(ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges) Performs the real work of constructing an ExceptionalUnitGraph, factored out of the constructors so that subclasses have the option to delay creating the graph's edges until after they have performed some subclass-specific initialization.
protected void	ExceptionalUnitGraph.initialize(ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges) Performs the real work of constructing an ExceptionalUnitGraph, factored out of the constructors so that subclasses have the option to delay creating the graph's edges until after they have performed some subclass-specific initialization.

Constructors in soot.toolkits.graph with parameters of type ThrowAnalysis

ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis)
Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.

ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis)
Constructs the graph from a given Body instance using the passed ThrowAnalysis and a default value, provided by the Options class, for the omitExceptingUnitEdges parameter.

ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)
Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges value that are passed as parameters.

ExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)
Constructs the graph for a given Body instance, using the ThrowAnalysis and omitExceptingUnitEdges value that are passed as parameters.