Context Conditions (Interpreter)

These are the (mostly) complete static and dynamic context conditions for SIMPLE; you have to enforce them in the assignment where you interpret SIMPLE programs. A subset of these already had to be enforced when we built the abstract syntax tree for expressions and instructions.

The only things missing now are properties of the target architecture, for example regarding the size of an INTEGER.