Searched defs:Path (Results 1 – 7 of 7) sorted by relevance
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/ |
| H A D | test_main.py | 23 def __init__(self, fname: Path) -> None: 47 petsc_dir: Path, 48 test_path: Path, 49 output_dir: Path, 80 def test(generated_output: list[str], reference_file: Path) -> str: 103 def rename_patch_file_target(text: str, new_path: Path) -> str:
|
| H A D | main.py | 41 def __sanitize_src_path(petsc_dir: Path, src_path: Optional[Union[StrPathLike, Iterable[StrPathLike… 57 def __sanitize_patch_dir(petsc_dir: Path, patch_dir: Optional[StrPathLike]) -> Path: 65 def __sanitize_test_output_dir(src_path: list[Path], test_output_dir: Optional[StrPathLike]) -> Opt… 92 def __sanitize_compiler_flags(petsc_dir: Path, petsc_arch: str, verbose: int, extra_compiler_flags:…
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/util/ |
| H A D | _utility.py | 190 def get_petsc_extra_includes(petsc_dir: Path, petsc_arch: str) -> list[str]: 262 def build_compiler_flags(petsc_dir: Path, petsc_arch: str, extra_compiler_flags: Optional[list[str]… 336 …def from_flags(cls, petsc_dir: Path, compiler_flags: list[str], extra_header_includes: Optional[li…
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/ |
| H A D | _path.py | 26 class Path(_PathType): class
|
| H A D | _linter.py | 775 def combine(filename: Path, patches: list[Patch]) -> PathDiffPair:
|
| /petsc/lib/petsc/bin/maint/ |
| H A D | check_header_guard.py | 29 def __init__(self, verbose: bool, path: pathlib.Path) -> None: 345 def replace_in_file(path: pathlib.Path, opts: argparse.Namespace, ReplacerCls: type[_T]) -> list[st…
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/ |
| H A D | _doc_section.py | 228 def find_header(directory: Path) -> Optional[Path]:
|