/**
  * Build a map for translating between line numbers and positions in the input.
  *
  * @return a LineMap
  */
 public Position.LineMap getLineMap() {
   char[] buf = getRawCharacters();
   return Position.makeLineMap(buf, buf.length, true);
 }