Remove all local bindings (except ret). This info is indeed superfluous on summary purity graphs representing the effect of a method. This saves a lit

Remove null values from the given list @param types

Remove a pass. The removed pass cannot be a barrier.

Removes the given list of fall through IfStmts from the body.

Remplace bytecode at a specific index by another bytecode (remplace = remove + insert) @param idx : the index to insert the

Variable Renaming Algorithm from Cytron et al 91, P26-8, implemented in various bits and pieces by the next functions. Must be called after trivial no

Driven by renameLocals().

Replaces any occurrences in <code>classBytes</code> of classnames to be loaded from the alternate class path with the corresponding mangled names. Of

Replaces conditional branches by unconditional branches as given by the mapping.

Replace 1 or 2 units by a third unit in a block. Both units to replace should be in the same block. The map 'mUnitToBlockMap' is updated. The replac

Report the stats.

Report the counts collected by instrumentation (for now, at least, there is no need to provide access to the individual values as numbers). @return a

Produce warning messages for all conflicts found in this state.

Produce a warning message for one reduce/reduce conflict. @param itm1 first item in conflict. @param itm2 second item in conflict.

Produce a warning message for one shift/reduce conflict. @param red_itm the item with the reduce. @param conflict_sym the index of the symbol co

Reset the pass timers to 0.

Resolve the class into the SootClass sc. Returns a list of Strings or Types referenced by the class.

Given an abstract dispatch to an object of type c and a method m, gives a list of possible receiver methods.

Returns true if we are resolving all class refs recursively.

Reset the parse ahead input to one Symbol past where we started error recovery (this consumes one new Symbol from the real input).

Create new flags with only flags in <code>other</code> set.