|
Class Summary |
| MiniJava |
|
| Type |
Type descriptors for MiniJava. |
| Type.ARRAY |
An array has an element type. |
| Type.CLASS |
A class encapsulates static (class) fields and methods, may extend a
parent class, and describes the structure of its instances. |
| Type.FUN |
A function has formal parameters (represented as a record) and a result
type. |
| Type.INSTANCE |
A class instance is an instance of some class, encapsulating instance
fields and instance methods. |
| Type.Print |
A visitor to print types. |
| Type.RECORD<T extends Type> |
A record encapsulates state as fields |