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