Home
last modified time | relevance | path

Searched refs:DiagnosticManager (Results 1 – 11 of 11) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/checks/
H A D_docs.py10 from ..classes._diag import DiagnosticManager
32 with DiagnosticManager.push_from(docstring.get_pragmas()):
H A D_util.py14 from ..classes._diag import DiagnosticManager, Diagnostic
28 @DiagnosticManager.register(
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/
H A D_doc_section.py14 from .._diag import DiagnosticManager, Diagnostic
33 return DiagnosticManager.flag_prefix(super())('', *flags)
403 @DiagnosticManager.register(
412 return DiagnosticManager.flag_prefix(super())('func', *flags)
858 return DiagnosticManager.flag_prefix(super())('option-keys', *flags)
909 return DiagnosticManager.flag_prefix(super())('notes', *flags)
931 return DiagnosticManager.flag_prefix(super())('dev-notes', *flags)
952 return DiagnosticManager.flag_prefix(super())('references', *flags)
974 return DiagnosticManager.flag_prefix(super())('fortran-notes', *flags)
997 return DiagnosticManager.flag_prefix(super())('source-code', *flags)
[all …]
H A D_doc_section_base.py18 from .._diag import DiagnosticManager, Diagnostic
195 @DiagnosticManager.register(
622 @DiagnosticManager.register(
706 return DiagnosticManager.flag_prefix(super())('synopsis', *flags)
830 @DiagnosticManager.register(
847 return DiagnosticManager.flag_prefix(super())('param-list', *flags)
1026 return DiagnosticManager.flag_prefix(super())('prose', *flags)
1107 @DiagnosticManager.register(
1131 return DiagnosticManager.flag_prefix(super())('inline-list', *flags)
H A D_doc_str.py21 from .._diag import DiagnosticManager, Diagnostic
423 @DiagnosticManager.register(
627 flag_prefix = DiagnosticManager.flagprefix
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/
H A Dmain.py424 flag = self.dest.replace(pl.DiagnosticManager.flagprefix[1:], '', 1).replace('_', '-')
426 for diag, _ in pl.DiagnosticManager.registered().items():
427 pl.DiagnosticManager.set(diag, values)
429 pl.DiagnosticManager.set(flag, values)
439 flag_prefix = pl.DiagnosticManager.flagprefix
440 for diag, helpstr in sorted(pl.DiagnosticManager.registered().items()):
478 flag_prefix = pl.DiagnosticManager.flagprefix
H A Dqueue_main.py12 from .classes._diag import DiagnosticManager
157 DiagnosticManager.disabled = copy.deepcopy(updated_diagnostics_mngr.disabled)
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D__init__.py8 from ._diag import DiagnosticManager, Diagnostic
H A D_diag.py409 DiagnosticManager = DiagnosticsManagerCls() variable
458 self.flag = DiagnosticManager.check_flag(flag)
601 return DiagnosticManager.disabled_for(self.flag.replace('_', '-'))
H A D_pool.py332 from ._diag import DiagnosticManager
341 clang_lib, clang_compat_check, check_function_map, classid_map, DiagnosticManager,
H A D_linter.py18 from ._diag import DiagnosticManager, Diagnostic
128 @DiagnosticManager.register(