From 5064429c775862e22896584b6cfc5256f534482b Mon Sep 17 00:00:00 2001
From: Alexander Diewald <diewald@fortiss.org>
Date: Sun, 16 Aug 2020 14:27:33 +0200
Subject: [PATCH] DSE.UI JFX: Rename the pattern UI extension service
Signed-off-by: Alexander Diewald <diewald@fortiss.org>
---
.../src/org/fortiss/af3/rcp/application/advisors/.ratings | 2 +-
.../application/advisors/ApplicationWorkbenchAdvisor.java | 6 +++---
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
index ca1e97b..224b98f 100644
--- a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
+++ b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
@@ -1,3 +1,3 @@
ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
-ApplicationWorkbenchAdvisor.java 130a7b352ee182ad5d3703fac3478942cc0e8608 GREEN
+ApplicationWorkbenchAdvisor.java 19af4bc3262680a283eccccf92c4e2ae4463fa71 YELLOW
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
diff --git a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java
index 130a7b3..19af4bc 100644
--- a/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java
+++ b/org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java
@@ -29,7 +29,7 @@ import org.fortiss.af3.allocation.IAllocationService;
import org.fortiss.af3.exploration.service.IDSEBackendService;
import org.fortiss.af3.exploration.smt.backend.Z3Backend;
import org.fortiss.af3.exploration.ui.AF3ExplorationUIActivator;
-import org.fortiss.af3.exploration.ui.perspective.service.IExternalDSEExtensionService;
+import org.fortiss.af3.exploration.ui.perspective.service.IDSEUIPatternExtensionService;
import org.fortiss.af3.project.AF3Project;
import org.fortiss.af3.timing.ITimingSpecificationService;
import org.fortiss.tooling.base.ToolingBase;
@@ -73,7 +73,7 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
IAllocationService.getInstance().startService();
ITimingSpecificationService.getInstance().startService();
IDSEBackendService.getInstance().startService();
- IExternalDSEExtensionService.getInstance().startService();
+ IDSEUIPatternExtensionService.getInstance().startService();
// The CLI handlers must be executed last such that all services are available.
ICommandLineInterfaceService.getInstance().executeHandlers();
@@ -91,7 +91,7 @@ public class ApplicationWorkbenchAdvisor extends WorkbenchAdvisor {
IDSEBackendService dbs = IDSEBackendService.getInstance();
dbs.initializeService();
dbs.registerDSEBackend(new Z3Backend());
- IExternalDSEExtensionService.getInstance().initializeService();
+ IDSEUIPatternExtensionService.getInstance().initializeService();
}
/** {@inheritDoc} */
--
GitLab