code: public Position.LineMap getLineMap() {
          return Position.makeLineMap(reader.getRawCharacters(), reader.buflen, false);
      }
docs: Build a map for translating between line numbers and
  positions in the input.
  
  @return a LineMap