| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/checks/ |
| H A D | _util.py | 14 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.py | 14 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.py | 21 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.py | 18 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) 598 … Diagnostic.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.py | 18 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__.py | 8 from ._diag import DiagnosticManager, Diagnostic
|
| H A D | _diag.py | 424 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.py | 63 DiagnosticMapProxy, DiagnosticMap, DiagnosticsManagerCls, DiagnosticKind, Diagnostic
|
| /petsc/doc/ |
| H A D | petsc.bib | 38384 title = {{WDBC: Wisconsin Diagnostic Breast Cancer Database}},
|