Migrate @pure
annotations #7
Description
Is your feature request related to a problem?
After changes to an API, we still want to use most of the @pure
annotations.
Desired solution
Migrate the @pure
annotations from apiv1 elements to apiv2 elements that are mapped together. If a mapped apiv2 element is a function and has no side effects and whose return value is the same if the parameters passed in the calls are the same, create a @pure
annotation for that element.
Otherwise, mark the api element with a @todo
annotation, or do not migrate the annotation if the mapped function is not pure.
Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
The code attribute of functions should be useful.
Create the file package_parser/processing/migration/annotations/_migrate_pure_annotation.py
with a function to migrate an annotation with the related mapping.
See Safe-DS/API-Editor#1151 for an example of how to migrate annotations.
Metadata
Metadata
Assignees
Labels
Type
Projects
Status