It is important that you run Eclipse 3.7 with an unstable built of Spoofax. All other combinations are likely not to work. Before you start this assignment, you need to update the following files in your project:

• assignment1/MiniJava.tbl
• lib/nbl-library.custom
• trans/minijava.str

Name Analysis

Definition and Use Sites

Namespaces

Scopes

Imports

Editor Integration

Name Checking

The Index

Naming Constraints

Interaction with Type Analysis

Types of Definition Sites

Types of Use Sites

Additional Type Constraints

-- GuidoWachsmuth - 11 Oct 2012