public static void setNameDecl(AbsTree node, AbsDecl decl) { nameDecl.put(node, decl); }
public static void setScope(AbsTree node, int nodeScope) { scope.put(node, new Integer(nodeScope)); }