docs: def warnExtractFromRegexpGroups(self, line, match):
          """
          Extract file name, line number, and warning text as groups (1,2,3)
          of warningPattern match."""
          file = match.group(1)
          lineNo = match.group(2)
          if lineNo is not None:
              lineNo = int(lineNo)
          text = match.group(3)
          return (file, lineNo, text)