@Override public Text text(int line, int col, String text) { final LocatedText ret = new LocatedText(text); ret.setLine(line); ret.setColumn(col); return ret; }
@Override public Text text(int line, int col, String text) { final LocatedText ret = new LocatedText(text); ret.setLine(line); ret.setColumn(col); return ret; }