Searched defs:DiagnosticKind (Results 1 – 2 of 2) sorted by relevance
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/ |
| H A D | _diag.py | 412 class DiagnosticKind(enum.Enum): class
437 …def __init__(self, kind: DiagnosticKind, flag: str, message: str, location: SourceLocationLike, pa…
493 …def from_source_range(cls, kind: DiagnosticKind, diag_flag: str, msg: str, src_range: SourceRangeL…
|
| /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…
721 …def add_diagnostic_from_source_range(self, kind: DiagnosticKind, diag_flag: str, msg: str, src_ran…
|