The class's body.

Get the body of the initializer.

Is this a boundary case, i.e., max int or max long + 1?

Bodies - we can now start loading the bodies of methods for all referred to methods and fields in the bodies, requires signatures for the method recei

Hierarchy - we know the hierarchy of the class and that's it requires at least Hierarchy for all supertypes and enclosing types.

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

---------------------------------------------*/ -- Returns 0 or 1, or 2 to indicate EOF. --*/

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

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

Given a list of Instructions, this method converts all offsets to pointers. @param insts list of instructions; labels must be accurate. @see Instructi

<p>Utility method used in the construction of {@link UnitGraph}s, to be called only after the unitToPreds and unitToSuccs maps have been built.</p> <

Collects classes, methods, and fields from the AST rooted at this node and constructs type objects for these. These type objects may be ambiguous. I

Build vmatchEdges and store them in vmatches field

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

Turns a package or class name from Java "x.y.z" format into a C-style scope ("x::y::z") @param s the input package or class name @return A c-scoped ve

Calculate lookahead representing symbols that could appear after the symbol that the dot is currently in front of. Note: this routine must not be

Return true if <code>pi</code> can be called with actual parameters of types <code>actualTypes</code>.

Return true if <code>mi</code> can override <code>mj</code>.

Count the number of ones in the bitvector. @author Adam Richard This is Brian Kernighan's algorithm from: http://graphics.stanford.edu/~seander/bithac

A statement of the form l = v;

A method invocation. dest is null if there is no reference type return value.

Check that the term n satisfies whatever properties this dataflow is checking for. This method is called for each term in a code declaration block aft

Assert that <code>ct</code> implements all abstract methods that it has to; that is, if it is a concrete class, then it must implement all interfaces

Compare the encoded type's version against the loader's version.

Assert that <code>t</code> has no cycles in the super type+nested class graph starting at <code>t</code>.

Checks whether the input stmt is an implicit break/continue A abrupt stmt is implicit if the SETLabelNode is null or the label.toString results in nul

Assert if the flags <code>f</code> are legal local variable flags.

Throw a SemanticException if <code>mi</code> cannot override <code>mj</code>.

Check to see if the production (now) appears to be nullable. A production is nullable if its RHS could derive the empty string. This results when th

Check if thousand separator is supported. Run-time checking is easiest, because it seems to be sometimes lacking even on POSIXish system.

Get a resolver for looking up a type in a class context.

Get the class hierarchy for the given scene.

Destructively update the clazz. @param clazz The new clazz

Performs some trivial dead code elimination on a list of statements.