Searched defs:Patch (Results 1 – 4 of 4) sorted by relevance
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/ |
| H A D | _patch.py | 90 class Patch(AttributeCache): class 207 def is_deletion_superset_of(self, other: Patch) -> bool: 250 def merge(self, other: Patch) -> Patch:
|
| H A D | _linter.py | 775 def combine(filename: Path, patches: list[Patch]) -> PathDiffPair: 791 def merge_patches(patch_list: list[Patch], patch: Patch) -> tuple[bool, Patch]:
|
| H A D | _diag.py | 437 …sticKind, flag: str, message: str, location: SourceLocationLike, patch: Optional[Patch] = None, no… 493 …osticKind, diag_flag: str, msg: str, src_range: SourceRangeLike, patch: Optional[Patch] = None, **…
|
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/ |
| H A D | _doc_str.py | 693 … str, msg: str, src_range: Optional[Union[SourceRange, Cursor]], patch: Optional[Patch] = None, **…
|