Entry point for a peephole. This method is repeatly called by the peephole driver, until a fixed-point is reached over all peepholes. @param b

Regular assignment such as "a = b".

Get the if's condition.

Create the delegate for a <code>Expr</code> AST node. @return the delegate for a <code>Expr</code> AST node.

Create the <code>Ext</code> object for a <code>Expr</code> AST node. @return the <code>Ext</code> object for a <code>Expr</code> AST node.

generates a new soot local given the type

Extracts line number from a packed position.

@return

Retrieves the active pointer analysis

Returns the List of Blocks that are successors to this block, @return A list of successorblocks. @see BlockGraph

Returns true if this class is not an interface and not abstract.

Convenience method returning true if this class is a library class. @see Scene#getLibraryClasses()

The <code>JL</code> object we dispatch to, by default, the node itself, but possibly another delegate.

Returns a (possibly not yet resolved) SootClass to be used in references to a class. If/when the class is resolved, it will be resolved into this Soot

Simple name of the type object. Anonymous classes do not have names.

Removes the given object from this Chain.

<code>java.lang.String</code>

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

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

Set the method's containing type.

Draws a directed edge (including the source and end nodes, if they have not already been drawn). @param from, the source node @param to, the end node

Add an edge to the CFG from <code>p</code> to <code>q</code>.

@return

@return

Returns a backed view of the traps found in this Body.

Return true if the class is a nested. Equivalent to kind() == MEMBER || kind() == LOCAL || kind() == ANONYMOUS.

Constructs a NewExpr(RefType) grammar chunk.

Constructs a ParameterRef(SootMethod, int) grammar chunk.

Returns (and removes) the next object in the queue, or null if there are none.

The binary's operator.

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

List of Types of exceptions that might get thrown. The result is not necessarily correct until after type checking.

Utility function: unpacks parse tables from strings