Commit 5121957c authored by Alexander Diewald's avatar Alexander Diewald
Browse files

Add missing service init lost during 3620 repo restructuring



Issue-Ref: 3482
Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent 0e3fd620
ApplicationActionBarAdvisor.java 52d0444799076dfee180817dd74801bf7ffb84f0 GREEN
ApplicationWorkbenchAdvisor.java ef25d5783a4f75e88334fd679834a6e0421f8c2f GREEN
ApplicationWorkbenchAdvisor.java da3fa8cc019d52c16d959c3624bd320d2d075483 GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
CurrentObjectiveContributionItem.java 11ae1b21ece08cbd04bd7b798f0e0349ee14a61b RED
UpcomingObjectiveContributionItem.java c07438463c4d359ea2f5de40ba90b5ac6991ba9c RED
......@@ -26,6 +26,7 @@ import org.eclipse.ui.application.WorkbenchAdvisor;
import org.eclipse.ui.application.WorkbenchWindowAdvisor;
import org.eclipse.ui.ide.IDE;
import org.fortiss.af3.allocation.IAllocationService;
import org.fortiss.af3.exploration.Exploration;
import org.fortiss.af3.exploration.service.IDSEBackendService;
import org.fortiss.af3.exploration.smt.backend.Z3Backend;
import org.fortiss.af3.exploration.ui.AF3ExplorationUIActivator;
......@@ -73,7 +74,7 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
AF3ProjectUI.start();
IAllocationService.getInstance().startService();
ITimingSpecificationService.getInstance().startService();
IDSEBackendService.getInstance().startService();
Exploration.start();
}
/** {@inheritDoc} */
......@@ -85,9 +86,8 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
ToolingKernelUI.initialize();
AF3Project.initialize();
IAllocationService.getInstance().initializeService();
IDSEBackendService dbs = IDSEBackendService.getInstance();
dbs.initializeService();
dbs.registerDSEBackend(new Z3Backend());
Exploration.initialize();
IDSEBackendService.getInstance().registerDSEBackend(new Z3Backend());
}
/** {@inheritDoc} */
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment