740741742743744745746
public String file() { return file; } private Position pos() { return new Position(file, yyline+1, yycolumn, yyline+1, yycolumn+yytext().length()); }
743744745746747748749
private Position pos() { return new Position(file, yyline+1, yycolumn, yyline+1, yycolumn+yytext().length()); } private Position pos(int len) { return new Position(file, yyline+1, yycolumn-len-1, yyline+1, yycolumn+1); }