code: private void printError(SourcePosition pos, String msg) {
          configuration.root.printError(pos, msg);
      }
docs: Print error message, increment error count.
  
  @param pos the position of the source
  @param msg message to print