Home
last modified time | relevance | path

Searched refs:flag_prefix (Results 1 – 5 of 5) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/ !
H A D_doc_section.py33 return DiagnosticManager.flag_prefix(super())('', *flags)
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)
1047 return DiagnosticManager.flag_prefix(super())('level', *flags)
1218 return DiagnosticManager.flag_prefix(super())('seealso', *flags)
H A D_doc_section_base.py706 return DiagnosticManager.flag_prefix(super())('synopsis', *flags)
847 return DiagnosticManager.flag_prefix(super())('param-list', *flags)
1026 return DiagnosticManager.flag_prefix(super())('prose', *flags)
1131 return DiagnosticManager.flag_prefix(super())('inline-list', *flags)
H A D_doc_str.py627 flag_prefix = DiagnosticManager.flagprefix
637 … filter(None, map(str.strip, str_remove_prefix(re_match.group(2), flag_prefix).split(',')))
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/ !
H A Dmain.py439 flag_prefix = pl.DiagnosticManager.flagprefix
478 flag_prefix = pl.DiagnosticManager.flagprefix
484 if argi.startswith(flag_prefix) and '*' in argi:
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/ !
H A D_diag.py169 def flag_prefix(cls, obj: object) -> Callable[[str], str]: member in DiagnosticsManagerCls
258 symbol_flag_prefix = cls.flag_prefix(symbol)