janhaag/PSE2011 — Issue #48: NPException in TypeChecker when assigning to undeclared variable
Author: ratefuchs
Created: 2012-02-28 13:56:20+00:00
State: open
Labels: Type Checker

When a variable or array has not been declared but is written to, the type checker throws a NullPointerException in visit(Assignment) or visit(ArrayAssignment), respectively. However, it works properly (i.e. an IllegalTypeException is thrown as expected) if an undeclared variable or array is read.