Commit 01320751 authored by Simon Barner's avatar Simon Barner
Browse files

Remove refinement, testing, verification, and msc from launch configs

* TODO: Synchronize MacOS launch config
* Affected plugins
  * org.fortiss.af3.ocra
  * org.fortiss.af3.refinement
  * org.fortiss.af3.refinement.ui
  * org.fortiss.af3.specification
  * org.fortiss.af3.specification.ui
  * org.fortiss.af3.testing
  * org.fortiss.af3.testing.ui
  * org.fortiss.af3.tools
  * org.fortiss.pragmatictransformation

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852

Signed-off-by: Simon Barner's avatarSimon Barner <barner@fortiss.org>
parent 08b2a883
...@@ -27,7 +27,7 @@ ...@@ -27,7 +27,7 @@
<stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/> <stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/>
<stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/> <stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/>
<stringAttribute key="selected_target_plugins" value="com.google.guava@default:default,com.ibm.icu@default:default,javax.activation@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml.bind@default:default,javax.xml.stream@default:default,javax.xml@default:default,org.apache.batik.constants@default:default,org.apache.batik.css*1.11.0.v20190515-0436@default:default,org.apache.batik.i18n@default:default,org.apache.batik.util*1.11.0.v20190515-0436@default:default,org.apache.commons.io@default:default,org.apache.commons.jxpath@default:default,org.apache.commons.lang@default:default,org.apache.commons.logging@default:default,org.apache.felix.gogo.runtime@default:default,org.apache.felix.scr@1:true,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analyzers-common@default:default,org.apache.lucene.analyzers-smartcn@default:default,org.apache.lucene.core@default:default,org.apache.xmlgraphics@default:default,org.eclipse.ant.core@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.linux.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.linux.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources@default:default,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.annotations@default:default,org.eclipse.e4.core.di.extensions.supplier@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.emf.xpath@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.swt.gtk@default:false,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.emf.common@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.ds@1:true,org.eclipse.equinox.event@1:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.region@default:false,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security.linux.x86_64@default:false,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.supplement@default:default,org.eclipse.equinox.transforms.hook@default:false,org.eclipse.equinox.weaving.hook@default:false,org.eclipse.fx.core.databinding@default:default,org.eclipse.fx.core@default:default,org.eclipse.fx.osgi.util@default:default,org.eclipse.fx.osgi@default:false,org.eclipse.fx.ui.workbench3@default:default,org.eclipse.gef@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.annotation*2.2.300.v20190328-1431@default:default,org.eclipse.jdt.compiler.apt@default:false,org.eclipse.jdt.compiler.tool@default:false,org.eclipse.jdt.core@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.ltk.core.refactoring@default:default,org.eclipse.ltk.ui.refactoring@default:default,org.eclipse.osgi.compatibility.state@default:false,org.eclipse.osgi.services@default:default,org.eclipse.osgi.util@default:default,org.eclipse.osgi@-1:true,org.eclipse.pde.ds.lib@default:default,org.eclipse.swt.gtk.linux.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.swtbot.eclipse.core@default:default,org.eclipse.swtbot.eclipse.finder@default:default,org.eclipse.swtbot.forms.finder@default:default,org.eclipse.swtbot.go@default:default,org.eclipse.swtbot.junit4_x@default:default,org.eclipse.swtbot.swt.finder@default:default,org.eclipse.team.core@default:default,org.eclipse.team.ui@default:default,org.eclipse.text@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.quicklinks@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.navigator.resources@default:default,org.eclipse.ui.navigator@default:default,org.eclipse.ui.trace@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.urischeme@default:default,org.eclipse.xtext.logging@default:false,org.hamcrest.core@default:default,org.hamcrest.library@default:default,org.junit@default:default,org.openjfx.base@default:default,org.openjfx.controls@default:default,org.openjfx.fxml@default:default,org.openjfx.graphics.linux@default:default,org.openjfx.swt@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.tukaani.xz@default:default,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil@default:default,org.w3c.dom.svg@default:default"/> <stringAttribute key="selected_target_plugins" value="com.google.guava@default:default,com.ibm.icu@default:default,javax.activation@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml.bind@default:default,javax.xml.stream@default:default,javax.xml@default:default,org.apache.batik.constants@default:default,org.apache.batik.css*1.11.0.v20190515-0436@default:default,org.apache.batik.i18n@default:default,org.apache.batik.util*1.11.0.v20190515-0436@default:default,org.apache.commons.io@default:default,org.apache.commons.jxpath@default:default,org.apache.commons.lang@default:default,org.apache.commons.logging@default:default,org.apache.felix.gogo.runtime@default:default,org.apache.felix.scr@1:true,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analyzers-common@default:default,org.apache.lucene.analyzers-smartcn@default:default,org.apache.lucene.core@default:default,org.apache.xmlgraphics@default:default,org.eclipse.ant.core@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.linux.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.linux.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources@default:default,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.annotations@default:default,org.eclipse.e4.core.di.extensions.supplier@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.emf.xpath@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.swt.gtk@default:false,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.emf.common@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.ds@1:true,org.eclipse.equinox.event@1:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.region@default:false,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security.linux.x86_64@default:false,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.supplement@default:default,org.eclipse.equinox.transforms.hook@default:false,org.eclipse.equinox.weaving.hook@default:false,org.eclipse.fx.core.databinding@default:default,org.eclipse.fx.core@default:default,org.eclipse.fx.osgi.util@default:default,org.eclipse.fx.osgi@default:false,org.eclipse.fx.ui.workbench3@default:default,org.eclipse.gef@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.annotation*2.2.300.v20190328-1431@default:default,org.eclipse.jdt.compiler.apt@default:false,org.eclipse.jdt.compiler.tool@default:false,org.eclipse.jdt.core@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.ltk.core.refactoring@default:default,org.eclipse.ltk.ui.refactoring@default:default,org.eclipse.osgi.compatibility.state@default:false,org.eclipse.osgi.services@default:default,org.eclipse.osgi.util@default:default,org.eclipse.osgi@-1:true,org.eclipse.pde.ds.lib@default:default,org.eclipse.swt.gtk.linux.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.swtbot.eclipse.core@default:default,org.eclipse.swtbot.eclipse.finder@default:default,org.eclipse.swtbot.forms.finder@default:default,org.eclipse.swtbot.go@default:default,org.eclipse.swtbot.junit4_x@default:default,org.eclipse.swtbot.swt.finder@default:default,org.eclipse.team.core@default:default,org.eclipse.team.ui@default:default,org.eclipse.text@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.quicklinks@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.navigator.resources@default:default,org.eclipse.ui.navigator@default:default,org.eclipse.ui.trace@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.urischeme@default:default,org.eclipse.xtext.logging@default:false,org.hamcrest.core@default:default,org.hamcrest.library@default:default,org.junit@default:default,org.openjfx.base@default:default,org.openjfx.controls@default:default,org.openjfx.fxml@default:default,org.openjfx.graphics.linux@default:default,org.openjfx.swt@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.tukaani.xz@default:default,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil@default:default,org.w3c.dom.svg@default:default"/>
<stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,eu.fbk.af3.tools.diagram.ui@default:default,eu.fbk.af3.tools.diagram@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.exploration.smt@default:default,org.fortiss.af3.exploration.ui@default:default,org.fortiss.af3.exploration@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.msc.ui@default:default,org.fortiss.af3.msc@default:default,org.fortiss.af3.ocra@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.partition.ui@default:default,org.fortiss.af3.partition@default:default,org.fortiss.af3.platform.beagle.ui@default:default,org.fortiss.af3.platform.beagle@default:default,org.fortiss.af3.platform.hierarchic.ui@default:default,org.fortiss.af3.platform.hierarchic@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.rcp.help@default:default,org.fortiss.af3.refinement.ui@default:default,org.fortiss.af3.refinement@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.safetycases.ui@default:default,org.fortiss.af3.safetycases@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.specification.ui@default:default,org.fortiss.af3.specification@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.state@default:default,org.fortiss.af3.task.ui@default:default,org.fortiss.af3.task@default:default,org.fortiss.af3.testing.ui@default:default,org.fortiss.af3.testing@default:default,org.fortiss.af3.timing.ui@default:default,org.fortiss.af3.timing@default:default,org.fortiss.af3.tools@default:default,org.fortiss.pragmatictransformation@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default,org.fortiss.tooling.spiderchart.ui@default:default"/> <stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,eu.fbk.af3.tools.diagram.ui@default:default,eu.fbk.af3.tools.diagram@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.exploration.smt@default:default,org.fortiss.af3.exploration.ui@default:default,org.fortiss.af3.exploration@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.partition.ui@default:default,org.fortiss.af3.partition@default:default,org.fortiss.af3.platform.beagle.ui@default:default,org.fortiss.af3.platform.beagle@default:default,org.fortiss.af3.platform.hierarchic.ui@default:default,org.fortiss.af3.platform.hierarchic@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.rcp.help@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.safetycases.ui@default:default,org.fortiss.af3.safetycases@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.state@default:default,org.fortiss.af3.task.ui@default:default,org.fortiss.af3.task@default:default,org.fortiss.af3.testing.ui@default:default,org.fortiss.af3.testing@default:default,org.fortiss.af3.timing.ui@default:default,org.fortiss.af3.timing@default:default,org.fortiss.af3.tools@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default,org.fortiss.tooling.spiderchart.ui@default:default"/>
<booleanAttribute key="show_selected_only" value="false"/> <booleanAttribute key="show_selected_only" value="false"/>
<booleanAttribute key="tracing" value="false"/> <booleanAttribute key="tracing" value="false"/>
<booleanAttribute key="useCustomFeatures" value="false"/> <booleanAttribute key="useCustomFeatures" value="false"/>
......
...@@ -23,7 +23,7 @@ ...@@ -23,7 +23,7 @@
<stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/> <stringAttribute key="product" value="org.fortiss.af3.rcp.application.product"/>
<stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/> <stringAttribute key="productFile" value="/org.fortiss.af3.phoenix.product.top/af3_phoenix.product"/>
<stringAttribute key="selected_target_plugins" value="com.google.guava@default:default,com.ibm.icu@default:default,javax.activation@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml.bind@default:default,javax.xml.stream@default:default,javax.xml@default:default,org.apache.batik.constants@default:default,org.apache.batik.css*1.11.0.v20190515-0436@default:default,org.apache.batik.i18n@default:default,org.apache.batik.util*1.11.0.v20190515-0436@default:default,org.apache.commons.io@default:default,org.apache.commons.jxpath@default:default,org.apache.commons.logging@default:default,org.apache.felix.gogo.runtime@default:default,org.apache.felix.scr@1:true,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analyzers-common@default:default,org.apache.lucene.analyzers-smartcn@default:default,org.apache.lucene.core@default:default,org.apache.xmlgraphics@default:default,org.eclipse.ant.core@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.win32.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.win32.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources.win32.x86_64@default:false,org.eclipse.core.resources@default:default,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.annotations@default:default,org.eclipse.e4.core.di.extensions.supplier@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.emf.xpath@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.emf.common@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.event@default:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.region@default:false,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security.win32.x86_64@default:false,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.supplement@default:default,org.eclipse.equinox.transforms.hook@default:false,org.eclipse.equinox.weaving.hook@default:false,org.eclipse.fx.osgi@default:false,org.eclipse.fx.ui.workbench3@default:default,org.eclipse.gef@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.annotation*2.2.300.v20190328-1431@default:default,org.eclipse.jdt.compiler.apt@default:false,org.eclipse.jdt.compiler.tool@default:false,org.eclipse.jdt.core@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.ltk.core.refactoring@default:default,org.eclipse.ltk.ui.refactoring@default:default,org.eclipse.osgi.compatibility.state@default:false,org.eclipse.osgi.services@default:default,org.eclipse.osgi.util@default:default,org.eclipse.osgi@-1:true,org.eclipse.pde.ds.lib@default:default,org.eclipse.swt.win32.win32.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.swtbot.eclipse.core@default:default,org.eclipse.swtbot.eclipse.finder@default:default,org.eclipse.swtbot.forms.finder@default:default,org.eclipse.swtbot.go@default:default,org.eclipse.swtbot.junit4_x@default:default,org.eclipse.swtbot.swt.finder@default:default,org.eclipse.team.core@default:default,org.eclipse.team.ui@default:default,org.eclipse.text@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.quicklinks@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.navigator.resources@default:default,org.eclipse.ui.navigator@default:default,org.eclipse.ui.trace@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.win32@default:false,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.urischeme@default:default,org.eclipse.xtext.logging@default:false,org.hamcrest.core@default:default,org.hamcrest.library@default:default,org.junit@default:default,org.openjfx.base@default:default,org.openjfx.controls@default:default,org.openjfx.fxml@default:default,org.openjfx.graphics.win@default:default,org.openjfx.swt@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.tukaani.xz@default:default,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil@default:default,org.w3c.dom.svg@default:default"/> <stringAttribute key="selected_target_plugins" value="com.google.guava@default:default,com.ibm.icu@default:default,javax.activation@default:default,javax.annotation@default:default,javax.el@default:default,javax.inject@default:default,javax.servlet.jsp@default:default,javax.servlet@default:default,javax.xml.bind@default:default,javax.xml.stream@default:default,javax.xml@default:default,org.apache.batik.constants@default:default,org.apache.batik.css*1.11.0.v20190515-0436@default:default,org.apache.batik.i18n@default:default,org.apache.batik.util*1.11.0.v20190515-0436@default:default,org.apache.commons.io@default:default,org.apache.commons.jxpath@default:default,org.apache.commons.logging@default:default,org.apache.felix.gogo.runtime@default:default,org.apache.felix.scr@1:true,org.apache.jasper.glassfish@default:default,org.apache.log4j@default:default,org.apache.lucene.analyzers-common@default:default,org.apache.lucene.analyzers-smartcn@default:default,org.apache.lucene.core@default:default,org.apache.xmlgraphics@default:default,org.eclipse.ant.core@default:default,org.eclipse.compare.core@default:default,org.eclipse.compare@default:default,org.eclipse.core.commands@default:default,org.eclipse.core.contenttype@default:default,org.eclipse.core.databinding.beans@default:default,org.eclipse.core.databinding.observable@default:default,org.eclipse.core.databinding.property@default:default,org.eclipse.core.databinding@default:default,org.eclipse.core.expressions@default:default,org.eclipse.core.filebuffers@default:default,org.eclipse.core.filesystem.win32.x86_64@default:false,org.eclipse.core.filesystem@default:default,org.eclipse.core.jobs@default:default,org.eclipse.core.net.win32.x86_64@default:false,org.eclipse.core.net@default:default,org.eclipse.core.resources.win32.x86_64@default:false,org.eclipse.core.resources@default:default,org.eclipse.core.runtime@default:true,org.eclipse.core.variables@default:default,org.eclipse.draw2d@default:default,org.eclipse.e4.core.commands@default:default,org.eclipse.e4.core.contexts@default:default,org.eclipse.e4.core.di.annotations@default:default,org.eclipse.e4.core.di.extensions.supplier@default:default,org.eclipse.e4.core.di.extensions@default:default,org.eclipse.e4.core.di@default:default,org.eclipse.e4.core.services@default:default,org.eclipse.e4.emf.xpath@default:default,org.eclipse.e4.ui.bindings@default:default,org.eclipse.e4.ui.css.core@default:default,org.eclipse.e4.ui.css.swt.theme@default:default,org.eclipse.e4.ui.css.swt@default:default,org.eclipse.e4.ui.di@default:default,org.eclipse.e4.ui.model.workbench@default:default,org.eclipse.e4.ui.services@default:default,org.eclipse.e4.ui.widgets@default:default,org.eclipse.e4.ui.workbench.addons.swt@default:default,org.eclipse.e4.ui.workbench.renderers.swt@default:default,org.eclipse.e4.ui.workbench.swt@default:default,org.eclipse.e4.ui.workbench3@default:default,org.eclipse.e4.ui.workbench@default:default,org.eclipse.emf.common@default:default,org.eclipse.emf.databinding@default:default,org.eclipse.emf.ecore.change@default:default,org.eclipse.emf.ecore.xmi@default:default,org.eclipse.emf.ecore@default:default,org.eclipse.emf.edit@default:default,org.eclipse.emf.transaction@default:default,org.eclipse.emf.validation@default:default,org.eclipse.equinox.app@default:default,org.eclipse.equinox.bidi@default:default,org.eclipse.equinox.common@2:true,org.eclipse.equinox.event@default:default,org.eclipse.equinox.http.jetty@default:default,org.eclipse.equinox.http.registry@default:default,org.eclipse.equinox.http.servlet@default:default,org.eclipse.equinox.jsp.jasper.registry@default:default,org.eclipse.equinox.jsp.jasper@default:default,org.eclipse.equinox.p2.core@default:default,org.eclipse.equinox.p2.director@default:default,org.eclipse.equinox.p2.engine@default:default,org.eclipse.equinox.p2.metadata.repository@default:default,org.eclipse.equinox.p2.metadata@default:default,org.eclipse.equinox.p2.repository@default:default,org.eclipse.equinox.preferences@default:default,org.eclipse.equinox.region@default:false,org.eclipse.equinox.registry@default:default,org.eclipse.equinox.security.win32.x86_64@default:false,org.eclipse.equinox.security@default:default,org.eclipse.equinox.simpleconfigurator@1:true,org.eclipse.equinox.supplement@default:default,org.eclipse.equinox.transforms.hook@default:false,org.eclipse.equinox.weaving.hook@default:false,org.eclipse.fx.osgi@default:false,org.eclipse.fx.ui.workbench3@default:default,org.eclipse.gef@default:default,org.eclipse.help.base@default:default,org.eclipse.help.ui@default:default,org.eclipse.help.webapp@default:default,org.eclipse.help@default:default,org.eclipse.jdt.annotation*2.2.300.v20190328-1431@default:default,org.eclipse.jdt.compiler.apt@default:false,org.eclipse.jdt.compiler.tool@default:false,org.eclipse.jdt.core@default:default,org.eclipse.jdt.junit.runtime@default:default,org.eclipse.jetty.http@default:default,org.eclipse.jetty.io@default:default,org.eclipse.jetty.security@default:default,org.eclipse.jetty.server@default:default,org.eclipse.jetty.servlet@default:default,org.eclipse.jetty.util@default:default,org.eclipse.jface.databinding@default:default,org.eclipse.jface.text@default:default,org.eclipse.jface@default:default,org.eclipse.ltk.core.refactoring@default:default,org.eclipse.ltk.ui.refactoring@default:default,org.eclipse.osgi.compatibility.state@default:false,org.eclipse.osgi.services@default:default,org.eclipse.osgi.util@default:default,org.eclipse.osgi@-1:true,org.eclipse.pde.ds.lib@default:default,org.eclipse.swt.win32.win32.x86_64@default:false,org.eclipse.swt@default:default,org.eclipse.swtbot.eclipse.core@default:default,org.eclipse.swtbot.eclipse.finder@default:default,org.eclipse.swtbot.forms.finder@default:default,org.eclipse.swtbot.go@default:default,org.eclipse.swtbot.junit4_x@default:default,org.eclipse.swtbot.swt.finder@default:default,org.eclipse.team.core@default:default,org.eclipse.team.ui@default:default,org.eclipse.text@default:default,org.eclipse.ui.editors@default:default,org.eclipse.ui.forms@default:default,org.eclipse.ui.ide.application@default:default,org.eclipse.ui.ide@default:default,org.eclipse.ui.intro.quicklinks@default:default,org.eclipse.ui.intro.universal@default:default,org.eclipse.ui.intro@default:default,org.eclipse.ui.navigator.resources@default:default,org.eclipse.ui.navigator@default:default,org.eclipse.ui.trace@default:default,org.eclipse.ui.views.properties.tabbed@default:default,org.eclipse.ui.views@default:default,org.eclipse.ui.win32@default:false,org.eclipse.ui.workbench.texteditor@default:default,org.eclipse.ui.workbench@default:default,org.eclipse.ui@default:default,org.eclipse.urischeme@default:default,org.eclipse.xtext.logging@default:false,org.hamcrest.core@default:default,org.hamcrest.library@default:default,org.junit@default:default,org.openjfx.base@default:default,org.openjfx.controls@default:default,org.openjfx.fxml@default:default,org.openjfx.graphics.win@default:default,org.openjfx.swt@default:default,org.sat4j.core@default:default,org.sat4j.pb@default:default,org.tukaani.xz@default:default,org.w3c.css.sac@default:default,org.w3c.dom.events@default:default,org.w3c.dom.smil@default:default,org.w3c.dom.svg@default:default"/>
<stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,eu.fbk.af3.tools.diagram.ui@default:default,eu.fbk.af3.tools.diagram@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.exploration.smt@default:default,org.fortiss.af3.exploration.ui@default:default,org.fortiss.af3.exploration@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.msc.ui@default:default,org.fortiss.af3.msc@default:default,org.fortiss.af3.ocra@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.partition.ui@default:default,org.fortiss.af3.partition@default:default,org.fortiss.af3.platform.beagle.ui@default:default,org.fortiss.af3.platform.beagle@default:default,org.fortiss.af3.platform.hierarchic.ui@default:default,org.fortiss.af3.platform.hierarchic@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.rcp.help@default:default,org.fortiss.af3.refinement.ui@default:default,org.fortiss.af3.refinement@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.safetycases.ui@default:default,org.fortiss.af3.safetycases@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.specification.ui@default:default,org.fortiss.af3.specification@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.state@default:default,org.fortiss.af3.task.ui@default:default,org.fortiss.af3.task@default:default,org.fortiss.af3.testing.ui@default:default,org.fortiss.af3.testing@default:default,org.fortiss.af3.timing.ui@default:default,org.fortiss.af3.timing@default:default,org.fortiss.af3.tools@default:default,org.fortiss.pragmatictransformation@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default,org.fortiss.tooling.spiderchart.ui@default:default"/> <stringAttribute key="selected_workspace_plugins" value="com.microsoft.z3@default:default,eu.fbk.af3.tools.diagram.ui@default:default,eu.fbk.af3.tools.diagram@default:default,org.fortiss.af3.allocation.ui@default:default,org.fortiss.af3.allocation@default:default,org.fortiss.af3.component.ui@default:default,org.fortiss.af3.component@default:default,org.fortiss.af3.cosimulation.ui@default:default,org.fortiss.af3.cosimulation@default:default,org.fortiss.af3.exploration.smt@default:default,org.fortiss.af3.exploration.ui@default:default,org.fortiss.af3.exploration@default:default,org.fortiss.af3.expression.ui@default:default,org.fortiss.af3.expression@default:default,org.fortiss.af3.generator.common@default:default,org.fortiss.af3.mira.ui@default:default,org.fortiss.af3.mira@default:default,org.fortiss.af3.mode.ui@default:default,org.fortiss.af3.mode@default:default,org.fortiss.af3.operatorpanel.ui@default:default,org.fortiss.af3.operatorpanel@default:default,org.fortiss.af3.partition.ui@default:default,org.fortiss.af3.partition@default:default,org.fortiss.af3.platform.beagle.ui@default:default,org.fortiss.af3.platform.beagle@default:default,org.fortiss.af3.platform.hierarchic.ui@default:default,org.fortiss.af3.platform.hierarchic@default:default,org.fortiss.af3.platform.ui@default:default,org.fortiss.af3.platform@default:default,org.fortiss.af3.project.ui@default:default,org.fortiss.af3.project@default:default,org.fortiss.af3.rcp.application@default:default,org.fortiss.af3.rcp.help@default:default,org.fortiss.af3.safety.ui@default:default,org.fortiss.af3.safety@default:default,org.fortiss.af3.safetycases.ui@default:default,org.fortiss.af3.safetycases@default:default,org.fortiss.af3.schedule.ui@default:default,org.fortiss.af3.schedule@default:default,org.fortiss.af3.state*2.16.0.qualifier@default:default,org.fortiss.af3.state.ui@default:default,org.fortiss.af3.task.ui@default:default,org.fortiss.af3.task@default:default,org.fortiss.af3.timing.ui@default:default,org.fortiss.af3.timing@default:default,org.fortiss.tooling.base.ui@default:default,org.fortiss.tooling.base@default:default,org.fortiss.tooling.common.ui@default:default,org.fortiss.tooling.common@default:default,org.fortiss.tooling.graphicsGL.ui@default:default,org.fortiss.tooling.graphicsGL@default:default,org.fortiss.tooling.kernel.ui@default:default,org.fortiss.tooling.kernel@default:default,org.fortiss.tooling.spiderchart.ui@default:default"/>
<booleanAttribute key="show_selected_only" value="false"/> <booleanAttribute key="show_selected_only" value="false"/>
<booleanAttribute key="tracing" value="false"/> <booleanAttribute key="tracing" value="false"/>
<booleanAttribute key="useCustomFeatures" value="false"/> <booleanAttribute key="useCustomFeatures" value="false"/>
......
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