Home
last modified time | relevance | path

Searched refs:add_diagnostic (Results 1 – 4 of 4) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/
H A D_doc_section.py177 docstring.add_diagnostic(
288 docstring.add_diagnostic(
391 docstring.add_diagnostic(
485 docstring.add_diagnostic(diag)
505 docstring.add_diagnostic(
525 docstring.add_diagnostic(
645 docstring.add_diagnostic(diag)
752 docstring.add_diagnostic(diag)
820 docstring.add_diagnostic(
1347 docstring.add_diagnostic(
H A D_doc_str.py737 return self.add_diagnostic(self.make_diagnostic(kind, diag_flag, msg, src_range, **kwargs))
739 def add_diagnostic(self, diagnostic: Diagnostic, cursor: Optional[Cursor] = None) -> None: member in PetscDocString
835 self.add_diagnostic(diag)
H A D_doc_section_base.py530 docstring.add_diagnostic(warn_diag)
567 docstring.add_diagnostic(
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D_linter.py49 def add_diagnostic(self, cursor: Cursor, diagnostic: Diagnostic) -> None: member in DiagnosticsContainer
729 container.add_diagnostic(cursor, diagnostic)