mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Giacomo Vercesi
9b68cf4a39
Rework the artifact endpoint, making it similar to the CLI invocation. It now works on a single artifact and can be made to return both `json` and `tar` as formats.
47 lines
1.4 KiB
Python
47 lines
1.4 KiB
Python
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
from typing import Optional
|
|
|
|
from revng.pypeline.model import ReadOnlyModel
|
|
from revng.pypeline.object import Kind, ObjectID, ObjectSet
|
|
from revng.pypeline.utils.registry import get_singleton
|
|
|
|
from .exceptions import MalformedRequestError
|
|
|
|
Epoch = int
|
|
|
|
|
|
def compute_objects(
|
|
model: ReadOnlyModel,
|
|
kind: Kind,
|
|
objects: Optional[list[str]],
|
|
) -> ObjectSet:
|
|
"""
|
|
If objects is not None, deserialize all objects, otherwise return all the objects producible of
|
|
the given Kind.
|
|
"""
|
|
# If the user did not provide any objects for this container,
|
|
# we will use all objects of the given kind from the model.
|
|
if objects is None or len(objects) == 0:
|
|
return model.all_objects(kind)
|
|
# Otherwise we have to parse the objects provided by the user.
|
|
|
|
# Parse the objects into ObjectSet
|
|
obj_type = get_singleton(ObjectID) # type: ignore [type-abstract]
|
|
objset = set()
|
|
for obj in objects:
|
|
if not isinstance(obj, str):
|
|
raise MalformedRequestError(f'Object "{obj}" must be a string, got "{type(obj)}"')
|
|
|
|
# Deserialize the object ID
|
|
try:
|
|
obj_id = obj_type.deserialize(obj)
|
|
except ValueError as e:
|
|
raise MalformedRequestError(f'Invalid object ID "{obj}": {e}')
|
|
|
|
objset.add(obj_id)
|
|
|
|
return ObjectSet(kind, objset)
|