---------------------------------------------------*/

---------------------------------------------*/

---------------------------------------------*/

Fills in the pointer assignment graph returned by setup.

<p>A utility method that does most of the work of constructing basic blocks, once the set of block leaders has been determined, and which designates t

buildEdgeSet creates a set of edges from directed graph.

<p>Utility method used in the construction of {@link soot.toolkits.graph.UnitGraph UnitGraph} variants which include exceptional control flow. It dete

Method to compute the edges corresponding to exceptional control flow. @param unitToSuccs A <code>Map</code> from {@link Unit}s to {@link

Method to compute the edges corresponding to exceptional control flow. @param throwAnalysis the source of information about the exceptions

Method that will build a graph of this type. @param b The method <code>Body</code> from which to build the graph. @return The control flow graph cor

<p>A placeholder that overrides {@link UnitGraph#buildHeadsAndTails()} with a method which always throws an exception. The placeholder serves to indic

Add all the necessary links between nodes to form a meaningful tree structure.

Build the (internal) parser from the previously parsed specification. This includes:<ul> <li> Computing nullability of non-terminals. <li> Comp

Fill in the parse table entries for this state. There are two parse tables that encode the viable prefix recognition machine, an action table and a

Find a type by name, using the cache and the outer resolver, but not the import table.

Returns true if the procedure can be called with the given arguments.

Returns true if the procedure can be called with the given arguments.