eclipse / gemoc-studio-modeldebugging

gemoc-studio-modeldebugging
Eclipse Public License 1.0
6 stars 15 forks source link

Centralize property tester and earlystartup in modeldebugging #238

Closed dvojtise closed 9 months ago

dvojtise commented 10 months ago

Description

PropertyTester is the same in all *gemoc.*.engine.ui , it is now moved into org.eclipse.gemoc.executionframework.engine.ui

Similarly, the earlystartup was added to ensure that the propertytester works correctly. it has been removed from all engine.ui except org.eclipse.gemoc.executionframework.engine.ui

This PR also adds a shortcut launch for ALE Engine (see PR in ALE repo)

Contribution to issues

Fixes https://github.com/eclipse/gemoc-studio-modeldebugging/issues/237

Companion Pull Requests