Apply revng check-conventions --force-format

This commit is contained in:
Tommaso Fontana
2025-08-20 10:01:13 +02:00
committed by Alessandro Di Federico
parent 026355cb5c
commit 680f5cacf2
7 changed files with 15 additions and 29 deletions
+2 -4
View File
@@ -58,12 +58,10 @@ class DocumentErrorReasonList(Sequence[DocumentErrorReason]):
return _api.rp_document_error_reasons_count(self.document_error._document_error)
@overload
def __getitem__(self, idx: int) -> DocumentErrorReason:
...
def __getitem__(self, idx: int) -> DocumentErrorReason: ...
@overload
def __getitem__(self, idx: slice) -> Sequence[DocumentErrorReason]:
...
def __getitem__(self, idx: slice) -> Sequence[DocumentErrorReason]: ...
def __getitem__(self, idx: int | slice):
if isinstance(idx, int):
+5 -10
View File
@@ -23,20 +23,15 @@ class Synchronizer(Protocol):
"""A Synchronizer is a class that takes care of saving the manager's
workdir somewhere other than the local disk."""
def load(self, path: Path) -> bool:
...
def load(self, path: Path) -> bool: ...
def save(self, path: Path, old_directories: list[Path]) -> bool:
...
def save(self, path: Path, old_directories: list[Path]) -> bool: ...
def save_exceptions(self) -> tuple[type[Exception], ...]:
...
def save_exceptions(self) -> tuple[type[Exception], ...]: ...
def get_initial_credentials(self) -> str:
...
def get_initial_credentials(self) -> str: ...
def set_credentials(self, credentials: str):
...
def set_credentials(self, credentials: str): ...
executor = ThreadPoolExecutor(8)
@@ -95,7 +95,7 @@ class GenerateMigrationCommand(Command):
return result
def _process_schema(self, raw_schema: str, metaschema: str) -> Dict:
def _process_schema(self, raw_schema: str, metaschema) -> Dict:
"""Parse the schema into YAML, validate the YAML against the metaschema, and restructure."""
unstructured_schema = yaml.safe_load(raw_schema)
jsonschema.validate(instance=unstructured_schema, schema=metaschema)
@@ -19,11 +19,9 @@ from revng.internal.cli.support import popen
class DaemonHandler(Protocol):
url: str
async def wait_for_start(self):
...
async def wait_for_start(self): ...
def terminate(self) -> int:
...
def terminate(self) -> int: ...
class ExternalDaemonHandler(DaemonHandler):
+2 -4
View File
@@ -521,13 +521,11 @@ class DiffSet(abc.ABC, Generic[StructBaseT]):
@staticmethod
@abc.abstractmethod
def _get_root() -> StructBase:
...
def _get_root() -> StructBase: ...
@staticmethod
@abc.abstractmethod
def _get_types_metadata() -> TypesMetadata:
...
def _get_types_metadata() -> TypesMetadata: ...
@classmethod
def make(cls, obj_old: StructBaseT, obj_new: StructBaseT) -> "DiffSet":