handling of scoped layout in Rascal interpreter:

[BertLisser]

Created 2011-07-19 by jurgenv@cwi.nl assigned to jurgenv@cwi.nl

The problem is now localized in the implementation of a single method, but the solution may not be:

static public class Symbol extends org.rascalmpl.ast.Type.Symbol

public Symbol(IConstructor __param1, Sym __param2)
super(__param1, __param2);

@OverRide
public org.eclipse.imp.pdb.facts.type.Type typeOf(Environment __eval)
// TODO: !!! where to get the right layout name for this non-terminal? It depends on where it was/is used when parsing whatever
// is being analyzed here...
// TODO AND: we always assume this non-terminal is not a lexical one here for some reason.
//This will produce issue.
return RTF.nonTerminalType(this, false, LAYOUTNAME);