Package minijava.typecheck

Class Summary
Bool This class represents a boolean type.
Class This class represents a class type.
Int This class represents an integer type.
IntArray This class represents an integer array type.
Method This class represents a method.
Type This is an abstract class that represents a type.
Typecheck Entry point to the minijava package's unit testing.
TypeChecker A TypeChecker is a depth-first visitor that, when accepted by a node, returns the logical Type of that node, if it is an expression or certain statement, and null otherwise.

Exception Summary
TypeException This exception is thrown when a type checking rule is not met.