protected final NameTok makeName(int ctx, Name name) { NameTok n = new NameTok(name.id, ctx); n.beginColumn = name.beginColumn; n.beginLine = name.beginLine; addSpecials(name, n); name.specialsBefore = n.getSpecialsBefore(); name.specialsAfter = n.getSpecialsAfter(); return n; }