Add a mechanism to mark constraint compatibility with output artefacts
Problem Description
In order to allow a user to select only constraints that are applicable to a certain synthesis (corresponding to an output artifact), it is required to have a marker for constraints that denotes the compatible types.
Steps
- Define a concept.
- Intgrate the change in the model.
- Adjust the UI logic to filter the ExplorationTargets accordingly.
Remarks
- We decided to use “marker interfaces”/Class objects to denote the compatibility of constraints.
- We must use a list of class objects (or similar) since inheritance would require us to create a class for each possible constraint, thus contradicting the goals of DSML (no migration needed).
(from redmine: issue id 3542, created on 2018-10-02, closed on 2020-08-24)
- Relations:
- parent #3446 (closed)