511512513514515516517
{ this.file = file; } private Symbol symbol(int type) { return new PrintableSymbol(type, file, yyline + startLine, yycolumn); }
514515516517518519520
private Symbol symbol(int type) { return new PrintableSymbol(type, file, yyline + startLine, yycolumn); } private Symbol symbol(int type, Object value) { return new PrintableSymbol(type, file, yyline + startLine, yycolumn, value); }
520521522523524525526
523524525526527528529