Handles the assignment of type variables to index names so that we have a
normalized name for each t
Because classes can be nested the body handles the part that can be nested, the
reference handles th
Classes, Methods, or Constructors can have a declaration that provides nested a
scope for type varia
Handle the declaration part.
Calculate the generic signature of a Method. A Method consists of:
method ::= declaration? '(' refe
Verify that the type is an interface.
Creates the signature for a Parameterized Type. A Parameterized Type has a raw
class and a set of ty
The heart of the routine. Handle a reference to a type. Can be an array, a
class, a type variable, o