Submit: Turn in your entire Project4 directory (JavaCC grammar, abstract syntax tree classes, associated helper classes, and Makefile using the turnin command on morbius.mscsnet.mu.edu or one of the other Systems Lab machines.

Work may be completed in teams of up to three students. Be certain to include all team members' names in the file. Include a comment block at the very top of each file that contains the following:

/**
 * COSC 4400 - Project 4
 * Explain briefly the functionality of the program.
 * @authors [your names]
 * Instructor [your instructor]
 * TA-BOT:MAILTO [your email addresses]
 */


The Checker

Implement a Type Checker for our dialect of the MiniJava programming language, as detailed below.

• Read Chapter 5 of Appel.
• Implement a semantic analysis (type checking) pass for our dialect of MiniJava.
• Run the reference implementation of the type checker on Morbius with the command: ~brylow/cosc4400/Projects/checker < program.java.ast, where the input file is an abstract syntax tree dump from Project 3. Or, run the checker with input piped in directly from a running parser.
• Create your checker in a package called "Semant" with a main program in class "Main". My grading protocol will assume that your project can be compiled and run with the following command line: cd Project4; make; java Semant.Main < inputfile.java.ast.
• Build a decent set of MiniJava testcases. Several exist in the book, and on the web. Having a good set of test inputs will be critical to your success in later phases of the project. The majority of project points will be assigned by running diff to compare your output against mine.
• Debug until done.

Specification

You will need to represent two type environments -- one for the set of class descriptors, and a second scoped symbol table to be used during checking of the expressions and statements in the program. Implement this as a class Table in a package Symbol. The Table class will need methods put(), get(), beginScope(), and endScope(), as discussed in class and in the textbook. A complete list of errors that the reference implementation produces can be found here. Please match them as exactly as possible. Implement the classes of the Types package as outlined in class. (Types API can be found here.)