@Override /* Positionable */ public Position getPosition() { return new Position(pos); } }
@Override /* Positionable */ public Position getPosition() { return new Position(line, column); } }
@Override /* Positionable */ public Position getPosition() { return new Position(pos); } }
@Override /* Positionable */ public Position getPosition() { return new Position(line, column); } }
@Override /* Positionable */ public Position getPosition() { return new Position(pos); } }
@Override /* Positionable */ public Position getPosition() { return new Position(line, column); } }
@Override /* Positionable */ public Position getPosition() { Location l = getLocation(); return new Position(l.getLineNumber(), l.getColumnNumber()); } }
@Override /* Positionable */ public Position getPosition() { Location l = getLocation(); return new Position(l.getLineNumber(), l.getColumnNumber()); } }
@Override /* Positionable */ public Position getPosition() { Location l = getLocation(); return new Position(l.getLineNumber(), l.getColumnNumber()); } }