Uses of Class
soot.toolkits.graph.ExceptionalUnitGraph.ExceptionDest

Packages that use ExceptionalUnitGraph.ExceptionDest

Package	Description
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.

Uses of ExceptionalUnitGraph.ExceptionDest in soot.toolkits.graph

Fields in soot.toolkits.graph with type parameters of type ExceptionalUnitGraph.ExceptionDest

Modifier and Type	Field and Description
protected java.util.Map<Unit,java.util.Collection<ExceptionalUnitGraph.ExceptionDest>>	ExceptionalUnitGraph.unitToExceptionDests

Methods in soot.toolkits.graph that return types with arguments of type ExceptionalUnitGraph.ExceptionDest

Modifier and Type	Method and Description
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.
java.util.Collection<ExceptionalUnitGraph.ExceptionDest>	ExceptionalUnitGraph.getExceptionDests(Unit u) Returns a collection of ExceptionDest objects which represent how exceptions thrown by a specified unit will be handled.

Method parameters in soot.toolkits.graph with type arguments of type ExceptionalUnitGraph.ExceptionDest

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.