@param string

@param list

@param list

Specify the dot graph attribute to use for regular control flow edges. This parameter has an effect only when drawing <code>ExceptionalGraph</code>s.

@see soot.UnitBox#setUnit(Unit)

@see SUnitBox#setUnitChanged(boolean)

@param b

Setting the precedence of a rule

Creates an empty pointer assignment graph.

Produce the new lalr_item that results from shifting the dot one position to the right.

Does not require any fixed point calculation

Simplify Offline -- Collapse single-entry subgraphs of the PAG. When this option is set to true, variable (Green) nodes which form single-entry subgra

Simplify SCCs -- Collapse strongly-connected components of the PAG. When this option is set to true, variable (Green) nodes which form strongly-connec

Simulate Natives -- Simulate effects of native methods in standard class library. When this option is set to true, the effects of native methods in th

Size of the set

Returns the position of the next non-delimiter character. Pre-condition: not inside a quoted string (token).

Returns the position of the next delimiter character after the token. If collect is true, collects the token into the StringBuffer. Pre-condition: not

Returns an iterator over all methods that are the sources of at least one edge.

The index of the start state (supplied by generated subclass).

Get the statements of the block.

Returns <code>t</code>, modified as necessary to make it a legal static target.