Reconfiguration backend
- in
org.fortiss.af3.exploration
- Introduce new
ISynthesisCategory
specialization inexploration.ecore
- Consider in
org.fortiss.af3.exploration.util.ExplorationCLIUtils.getExplorationTypeByArgument(String)
- Introduce new
- in
org.fortiss.af3.reconfiguration
- Introduce
Z3ReconfigurationBackend
(useZ3Backend
as template) - Introduce
ReconfigurationRun
skeleton (useDeploymentRun
as template
#getSolutionEntryType()
: returningAllocationEntry.class
should be OK (redundant deployment)
#getSolutionModelName()
return e.g. “TA ->HW (redundant)”
# All other abstract methods ofSolverRun
can be implemented as stubs for now - Integration of backend using
org.eclipse.ui.startup
extension point
# Create specialization ofIStartup
# Register new backend inearlyStartup
:IDSEBackendService.getInstance().registerDSEBackend(new Z3ReconfigurationBackend());
- Introduce
- Include Backend settings defined in #4050 in this branch.
Test: Reconfiguration exploration is offered in “Synthesis” view of DSE perspective.
(from redmine: issue id 4063, created on 2020-09-23, closed on 2020-10-20)