Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
af3-rcp
Commits
463bd1a7
Commit
463bd1a7
authored
Sep 11, 2020
by
Simon Barner
Browse files
Merge branch '3541' into 'master'
3541 See merge request
!34
parents
f02b3748
0f753549
Changes
3
Expand all
Hide whitespace changes
Inline
Side-by-side
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/.ratings
View file @
463bd1a7
ApplicationActionBarAdvisor.java 881198ff05ab14110efef1673f0914725348442b GREEN
ApplicationWorkbenchAdvisor.java 1
30a7b352ee182ad5d3703fac3478942cc0e8608
GREEN
ApplicationWorkbenchAdvisor.java 1
9af4bc3262680a283eccccf92c4e2ae4463fa71
GREEN
ApplicationWorkbenchWindowAdvisor.java da5cb38300b384579532c678fbc9faa961c2ca6b GREEN
org.fortiss.af3.rcp.application/src/org/fortiss/af3/rcp/application/advisors/ApplicationWorkbenchAdvisor.java
View file @
463bd1a7
...
...
@@ -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.I
ExternalDSE
ExtensionService
;
import
org.fortiss.af3.exploration.ui.perspective.service.I
DSEUIPattern
ExtensionService
;
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
();
I
ExternalDSE
ExtensionService
.
getInstance
().
startService
();
I
DSEUIPattern
ExtensionService
.
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
());
I
ExternalDSE
ExtensionService
.
getInstance
().
initializeService
();
I
DSEUIPattern
ExtensionService
.
getInstance
().
initializeService
();
}
/** {@inheritDoc} */
...
...
org.fortiss.af3.rcp.application/test-data/ACC.af3_23
View file @
463bd1a7
This diff is collapsed.
Click to expand it.
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment