code: private void nextChar() {
          if (pos < line.length()) {
              c = line.charAt(pos);
              pos++;
          } else {
              c = '\n';
          }
      }
docs: return the next character from the line of text