Home
last modified time | relevance | path

Searched refs:Diagnostic (Results 1 – 9 of 9) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/checks/
H A D_util.py14 from ..classes._diag import DiagnosticManager, Diagnostic
59 Diagnostic(
60 Diagnostic.Kind.ERROR, _CodeDiags.diags.incompatible_function, mess,
148 Diagnostic(
149 Diagnostic.Kind.ERROR, _CodeDiags.diags.incompatible_type, mess,
278 Diagnostic(
279 Diagnostic.Kind.ERROR, _CodeDiags.diags.incompatible_function, mess, obj.extent.start
327 diag = Diagnostic(
328 Diagnostic.Kind.ERROR, _CodeDiags.diags.incompatible_type_petscobject,
336 diag.kind = Diagnostic.Kind.WARNING
[all …]
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/
H A D_doc_section.py14 from .._diag import DiagnosticManager, Diagnostic
179 Diagnostic.Kind.ERROR, self.diags.macro_explicit_synopsis_missing,
250 Diagnostic.Kind.ERROR, self.diags.macro_explicit_synopsis_valid_header, mess, header_loc
290 Diagnostic.Kind.ERROR, self.diags.missing_description, 'Docstring missing synopsis',
393 Diagnostic.Kind.ERROR, self.diags.missing_description, 'Docstring missing synopsis',
476 Diagnostic.Kind.ERROR, self.diags.fortran_interface,
507 Diagnostic.Kind.ERROR, self.diags.parameter_documentation,
511 Diagnostic.make_message_from_formattable(
527 Diagnostic.Kind.ERROR, self.diags.parameter_documentation,
639 Diagnostic.Kind.ERROR, solitary_param_diag,
[all …]
H A D_doc_str.py21 from .._diag import DiagnosticManager, Diagnostic
693 …ange: Optional[Union[SourceRange, Cursor]], patch: Optional[Patch] = None, **kwargs) -> Diagnostic:
719 return Diagnostic.from_source_range(kind, diag_flag, msg, src_range, patch=patch, **kwargs)
739 def add_diagnostic(self, diagnostic: Diagnostic, cursor: Optional[Cursor] = None) -> None: argument
819 Diagnostic.Kind.ERROR, self.diags.internal_linkage,
823 Diagnostic.make_message_from_formattable(
830 Diagnostic.make_message_from_formattable(
860 … self.add_diagnostic_from_source_range(Diagnostic.Kind.ERROR, diag_name, mess, begin_sowing_range)
910 Diagnostic.Kind.ERROR, diag_name,
933 Diagnostic.Kind.ERROR, diag_name, mess, restloc,
[all …]
H A D_doc_section_base.py18 from .._diag import DiagnosticManager, Diagnostic
160 docstring.add_diagnostic_from_source_range(Diagnostic.Kind.ERROR, diag, mess, loc)
443 Diagnostic.Kind.ERROR, diag, mess, docstring.extent, highlight=False
460 Diagnostic.Kind.ERROR, diag, mess, self.extent, highlight=highlight
505 Diagnostic.Kind.ERROR, diag,
515 Diagnostic.Kind.WARNING, self.diags.section_header_unknown,
525 Diagnostic.make_message_from_formattable(
533 Diagnostic.Kind.ERROR, diag,
568 Diagnostic(Diagnostic.Kind.ERROR, self.diags.section_header_unique, mess, self.extent.start)
598Diagnostic.Kind.ERROR, diag, mess, docstring.make_source_range(after, text, loc.start.line)
[all …]
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D_linter.py18 from ._diag import DiagnosticManager, Diagnostic
49 def add_diagnostic(self, cursor: Cursor, diagnostic: Diagnostic) -> None: argument
235 func, Diagnostic(Diagnostic.Kind.ERROR, dup_diag, message, start, patch=patch)
631 func, Diagnostic(
632 Diagnostic.Kind.ERROR, self.diags.static_function_candidate,
633 Diagnostic.make_message_from_formattable(
691 … tu_cursor, Diagnostic(Diagnostic.Kind.WARNING, parsing_diag, str(pe), tu_cursor.extent.start)
700 def add_diagnostic_from_cursor(self, cursor: Cursor, diagnostic: Diagnostic) -> None: argument
719 if diagnostic.kind == Diagnostic.Kind.ERROR:
721 elif diagnostic.kind == Diagnostic.Kind.WARNING:
H A D__init__.py8 from ._diag import DiagnosticManager, Diagnostic
H A D_diag.py424 class Diagnostic: class
493 … str, msg: str, src_range: SourceRangeLike, patch: Optional[Patch] = None, **kwargs) -> Diagnostic:
543 def add_note(self, note: str, location: Optional[SourceLocationLike] = None) -> Diagnostic:
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/
H A D_typing.py63 DiagnosticMapProxy, DiagnosticMap, DiagnosticsManagerCls, DiagnosticKind, Diagnostic
/petsc/doc/
H A Dpetsc.bib38384 title = {{WDBC: Wisconsin Diagnostic Breast Cancer Database}},