Returns a variable which carries an allocation site with the least type (an artificial type, subtype of any other types, which means such type info is

Constructs a InstanceOfExpr(Immediate, Type) grammar chunk.

Constructs a LengthExpr(Immediate) grammar chunk.

{@inheritDoc}

Constructs a LookupSwitchStmt(Immediate, List of Immediate, List of Unit, Stmt) grammar chunk.

Constructs a NewInvokeExpr(Local base, List of Expr) grammar chunk.

Constructs a NewMultiArrayExpr(ArrayType, List of Immediate) grammar chunk.

Constructs a RetStmt(Local) grammar chunk.

Returns the next available name for a graph file.

Returns the next token from this string tokenizer.

filters out RHS that aren't invokes. @param unit the Unit to look at. @return the RHS of <code>unit</code> if it is an assignment-stmt, and its

---------------------------------------------*/ -- if in doubt, return True --*/

Nullability of this non terminal.

Is the nullability of the production known or unknown?

How many rows/states are in the machine/table.

Return true a literal <code>value</code> can be converted to this type.

Return true a literal <code>value</code> can be converted to this type.

Open the source file.

Return a predicate that is a conjunction of this predicate and another predicate

Computes this = this OR ((orset AND andset ) AND (NOT andnotset)) Returns true iff this is modified. @param set a bit set.

Maximum number of characters on each line of output

Given a tree rooted at <code>n</code>, the visitor has the option of overriding all traversal of the children of <code>n</code>. If no changes were ma

Return a package by name. Fail if the package does not exists.

Assuming the actual bytecode for this instruction has been extracted already, and index is the offset of the next byte, this method parses whatever ar

Parses the given method, converting its bytecode array into a list of Instruction objects. @param m method to parse. @return head of a list of Instruc

Static utility method to parse the given method descriptor string. @param s descriptor string. @return comma-separated ordered list of parameter types

\brief Parse detailed information about a Block Since this requires seek(s), listing information about all Blocks can be slow. \param pair

Get a parser for this language extension.

Get the pass identified by <code>id</code>.

Denote minor changes and bugfixes to the compiler. Class files compiled with versions of the compiler that only differ in patchlevel (from the current

Returns <code>true</code> if and only if other holds the same alloc nodes as this. Note that equals() is not overwritten on purpose. This is because S

Computes a hash code based on the contents of the points-to set. Note that hashCode() is not overwritten on purpose. This is because Spark relies on c

Print the string as a positive number.

If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are these classes.

Check all of the Peers in the graph, after the dataflow analysis has been performed.

Get the precedence of the expression.

A utility method for confirming that an edge which is in a {@link CompleteUnitGraph} but not the corresponding {@link TrapUnitGraph} satisfies the cri

Helper for exprToType.

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

Write the method to an output file.