Scopes

Support for nested scopes within a function body will be added. This will require changes to front, model, dynamic, state layers.

Changed to model layer

ScopeIF:

Collection<LocalVariableIF> variables(); ScopeIF parent(); Iterator<ScopeIF> children(); int numChildren();

ModelIF:

ScopeIF newScope(ScopeIF parentScope); LocationIF newLocation(ScopeIF scope, ...); methods to create locations need to specify scope instead of function

FunctionIF:

/* creating a function creates one scope automatically: */ ScopeIF outerScope();