|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ExceptionalUnitGraph.ExceptionDest | |
---|---|
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 | |
---|---|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.unitToExceptionDests
|
protected Map<Unit,Collection<ExceptionalUnitGraph.ExceptionDest>> |
ExceptionalUnitGraph.unitToExceptionDests
|
Methods in soot.toolkits.graph that return types with arguments of type ExceptionalUnitGraph.ExceptionDest | |
---|---|
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. |
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. |
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 | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |