Uses of Interface
soot.toolkits.exceptions.ThrowAnalysis

Packages that use ThrowAnalysis

Package	Description
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

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

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

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

Modifier and Type	Field and Description
protected ThrowAnalysis	ExceptionalUnitGraph.throwAnalysis

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

Modifier and Type	Method and Description
protected java.util.Set<Unit>	ExceptionalUnitGraph.buildExceptionalEdges(ThrowAnalysis throwAnalysis, java.util.Map<Unit,java.util.Collection<ExceptionalUnitGraph.ExceptionDest>> unitToExceptionDests, java.util.Map<Unit,java.util.List<Unit>> unitToSuccs, java.util.Map<Unit,java.util.List<Unit>> unitToPreds, boolean omitExceptingUnitEdges) Method to compute the edges corresponding to exceptional control flow.
protected java.util.Map<Unit,java.util.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.

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

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