Assignment: Semantic Analysis

From Embedded Xinu
Revision as of 23:09, 28 July 2010 by Amallen (talk | contribs) (Created Page for Type Checking project)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


In this project students implement a semantic analysis (type checking) pass for our modified MiniJava language.


Our modifications to MiniJava require an additional step for initializing the class and type environments. The class environment must be initialized with a type-descriptor containing each of the method types in class Xinu, and the type environment must be initialized with a binding of identifier Xinu to this class type.