Searched refs:DiagnosticKind (Results 1 – 3 of 3) sorted by relevance
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/ |
| H A D | _diag.py | 412 class DiagnosticKind(enum.Enum): class
417 if self == DiagnosticKind.ERROR:
419 elif self == DiagnosticKind.WARNING:
426 Kind = DiagnosticKind
435 kind: DiagnosticKind
437 …def __init__(self, kind: DiagnosticKind, flag: str, message: str, location: SourceLocationLike, pa… argument
493 …def from_source_range(cls, kind: DiagnosticKind, diag_flag: str, msg: str, src_range: SourceRangeL… argument
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/ |
| H A D | _typing.py | 63 DiagnosticMapProxy, DiagnosticMap, DiagnosticsManagerCls, DiagnosticKind, Diagnostic
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/ |
| H A D | _doc_str.py | 693 …def make_diagnostic(self, kind: DiagnosticKind, diag_flag: str, msg: str, src_range: Optional[Unio… argument
721 …def add_diagnostic_from_source_range(self, kind: DiagnosticKind, diag_flag: str, msg: str, src_ran… argument
|