Milestone 1: Syntax Analysis
In the first milestone, we specify the syntax of MiniJava and build a MiniJava editor that is able
- to report syntax errors,
- to assist the creation of MiniJava programs with code completion,
- to show the abstract syntax of a MiniJava program,
- to provide an outline view of a MiniJava program,
- to format a MiniJava program.
We will be building the MiniJava editor with the Spoofax language workbench. The Spoofax Language Workbench supports the definition of all aspects of textual languages, such as syntax, static analysis, and compilation, using high-level, declarative meta-languages. From a language definition using these meta-languages, Spoofax generates full-featured Eclipse and IntelliJ editor plugins, as well as a command-line interface. The generated editors include syntax highlighting, syntax checking, parse error recovery, error markers for syntactic and semantic errors, and custom operations, such as invoking an interpreter or compiler.
In this lab, we will be using the Spoofax Eclipse plugin. See the Spoofax documentation on how to download and install Spoofax.
You can find the MiniJava Language Reference Manual in the appendix of the book Modern Compiler Implementation in Java (2nd edition). The relevant pages are available on Google books.
The MiniJava project by Joao Cangussu, Jens Palsberg and Vidyut Samanta provides some example programs and an HTML version of the reference manual.
Documentation on Spoofax can be found on the Spoofax website.
We provide answers to frequently asked questions for this milestone.