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 ca1e97b9dd5f4c8f49d64f3ff10572cc2ec90cc5..224b98f86e39ac7e6e0de7b8c464f19f2f2625f1 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 130a7b352ee182ad5d3703fac3478942cc0e8608..19af4bc3262680a283eccccf92c4e2ae4463fa71 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} */