Method docComments

src/main/java/net/starlark/java/syntax/Lexer.java:522–553

Scans a doc comment block. ON ENTRY: 'pos' is at newline (or EOF) terminating the doc comment's first line. ON EXIT: for a doc comment block, 'pos' is the index of the first following non-comment, non-whitespace character (or of EOF); for a trailing doc comment, 'pos' is unch

(Comment first, int firstStartPos, boolean isBlock)

   * </ul>
   */
  private void docComments(Comment first, int firstStartPos, boolean isBlock) {
    int lastEndPos = pos;
    ArrayList<Comment> docComments = new ArrayList<>();
    docComments.add(first);
    if (isBlock) {
      int prevLine = first.getStartLocation().line();
      while (peek(0) == '\n') {
        checkIndentation = false;
        computeIndentation();
        if (peek(0) != '#' || peek(1) != ':') {
          // Not a doc comment; terminate the doc comment block.
          break;
        }
        int line = locs.getLocation(pos).line();
        if (line != prevLine + 1) {
          // We are at "#:", but computeIndentation() skipped one or more lines containing only
          // whitespace and non-doc comments. Terminate the doc comment block.
          break;
        }
        prevLine = line;
        int startPos = pos;
        scanToNewline();
        Comment comment = addComment(startPos, pos);
        lastEndPos = pos;
        docComments.add(comment);
      }
      setToken(TokenKind.DOC_COMMENT_BLOCK, firstStartPos, lastEndPos);
    } else {
      setToken(TokenKind.DOC_COMMENT_TRAILING, firstStartPos, lastEndPos);
    }
    setValue(new DocComments(docComments));
  }

  private void scanToNewline() {
    for (; pos < buffer.length; pos++) {