Returns a backed list of keys for this HashMap (unsupported).

Performs kills by generating a killSet and then performing<br/> outSet <- inSet - killSet<br/> The kill set is generated by iterating over the def-box

Removes all pairs corresponding to local l from the set.

The kind of the call: THIS or SUPER.

Get the kind of expression: SUPER or THIS.

Kind -- .

Traverses a Block and determines the set of label references.

Load the class imports, lazily.

This method is called only after normal traversal of the children. Thus we must end the <code>CodeWriter</code> block that was begun in <code>enter</c

This method is called after all of the children of <code>n</code> have been visited. In this case, these children were visited by the visitor <code>v<

Contains all of the functionality that can be done in the <code> leave </code> method, but allows <code>SemanticExceptions</code> to be thrown. This

Get the length field.

Create a lexer that performs the substitutions in <code>subst</code>.

@return line number on which the token was found

Returns a QueueReader object containing all edges added so far, and which will be informed of any new edges that are later added to the graph.

Loads the named class into the Soot scene, marks it as an application class, and generates bodies for all of its concrete methods. @param name the

Get the compiler's class file loader.