From e3bbd573e4e7070f9d8e4c0fa8851d7c7d3671b6 Mon Sep 17 00:00:00 2001 From: Alberto Debiasi <adebiasi@fbk.eu> Date: Wed, 6 May 2020 15:36:45 +0200 Subject: [PATCH] Replace ADIA feature with CHESS features in CHESS.product, update CHESS feature. Change-Id: I058ab16f63ce5a94a4370be388a7f2f3720b67c0 --- .../org.polarsys.chess.product/CHESS.product | 314 +++++----- .../org.polarsys.chess.feature/feature.xml | 550 +++++++++++------- 2 files changed, 512 insertions(+), 352 deletions(-) diff --git a/org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product b/org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product index ce761269f..52017dc42 100644 --- a/org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product +++ b/org.polarsys.chess.parent/releng/org.polarsys.chess.product/CHESS.product @@ -1,157 +1,157 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?pde version="3.5"?> - -<product name="CHESS Product" uid="org.polarsys.chess.product" id="org.eclipse.platform.ide" application="org.eclipse.ui.ide.workbench" version="1.0.0.qualifier" useFeatures="true" includeLaunchers="true"> - - <configIni use="default"> - </configIni> - - <launcherArgs> - <programArgs>-clearPersistedState - </programArgs> - <vmArgsMac>-XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts - </vmArgsMac> - </launcherArgs> - - <windowImages/> - - <launcher name="CHESS"> - <solaris/> - <win useIco="false"> - <bmp/> - </win> - </launcher> - - <vm> - </vm> - - <plugins> - </plugins> - - <features> - <feature id="org.eclipse.platform"/> - <feature id="org.eclipse.equinox.p2.user.ui"/> - <feature id="org.eclipse.ecf.filetransfer.httpclient4.feature"/> - <feature id="org.eclipse.help"/> - <feature id="org.eclipse.ecf.filetransfer.httpclient4.ssl.feature"/> - <feature id="org.eclipse.equinox.p2.extras.feature"/> - <feature id="org.eclipse.rcp"/> - <feature id="org.eclipse.equinox.p2.core.feature"/> - <feature id="org.eclipse.ecf.core.feature"/> - <feature id="org.eclipse.equinox.p2.rcp.feature"/> - <feature id="org.eclipse.ecf.filetransfer.feature"/> - <feature id="org.eclipse.ecf.core.ssl.feature"/> - <feature id="org.eclipse.ecf.filetransfer.ssl.feature"/> - <feature id="org.eclipse.emf.ecore"/> - <feature id="org.eclipse.emf.common"/> - <feature id="org.eclipse.e4.rcp"/> - <feature id="eu.fbk.tools.aida.standardtools.feature" installMode="root"/> - <feature id="eu.fbk.tools.aida.chess.feature" installMode="root"/> - <feature id="eu.fbk.tools.aida.sde.feature" installMode="root"/> - <feature id="org.eclipse.papyrus.sysml.diagram.feature"/> - <feature id="org.eclipse.papyrus.sysml.feature"/> - <feature id="org.eclipse.papyrus.sysml.modelexplorer.feature"/> - <feature id="org.eclipse.papyrus.sysml.nattable.feature"/> - <feature id="org.eclipse.papyrus.sysml.properties.feature"/> - <feature id="org.eclipse.papyrus.sdk.feature"/> - <feature id="org.eclipse.papyrus.extra.marte.feature"/> - <feature id="org.eclipse.papyrus.extra.marte.properties.feature"/> - <feature id="org.eclipse.papyrus.extra.marte.textedit.feature"/> - <feature id="org.eclipse.papyrus.uml.ui.feature"/> - <feature id="org.eclipse.papyrus.infra.gmfdiag.css.feature"/> - <feature id="org.eclipse.papyrus.uml.tools.feature"/> - <feature id="org.eclipse.papyrus.uml.search.feature"/> - <feature id="org.eclipse.papyrus.views.references.feature"/> - <feature id="org.eclipse.papyrus.infra.services.feature"/> - <feature id="org.eclipse.papyrus.uml.modelexplorer.feature"/> - <feature id="org.eclipse.papyrus.uml.feature"/> - <feature id="org.eclipse.papyrus.emf.facet.feature"/> - <feature id="org.eclipse.papyrus.infra.viewpoints.feature"/> - <feature id="org.eclipse.papyrus.infra.emf.feature"/> - <feature id="org.eclipse.papyrus.infra.feature"/> - <feature id="org.eclipse.papyrus.uml.properties.feature"/> - <feature id="org.eclipse.papyrus.views.modelexplorer.feature"/> - <feature id="org.eclipse.papyrus.doc.feature"/> - <feature id="org.eclipse.papyrus.uml.assistants.feature"/> - <feature id="org.eclipse.papyrus.infra.ui.feature"/> - <feature id="org.eclipse.papyrus.infra.nattable.feature"/> - <feature id="org.eclipse.papyrus.views.search.feature"/> - <feature id="org.eclipse.papyrus.uml.diagram.css.feature"/> - <feature id="org.eclipse.papyrus.uml.diagram.feature"/> - <feature id="org.eclipse.papyrus.uml.alf.feature"/> - <feature id="org.eclipse.papyrus.uml.textedit.feature"/> - <feature id="org.eclipse.papyrus.uml.nattable.feature"/> - <feature id="org.eclipse.papyrus.editor.feature"/> - <feature id="org.eclipse.papyrus.views.validation.feature"/> - <feature id="org.eclipse.papyrus.infra.discovery.feature"/> - <feature id="org.eclipse.papyrus.customization.feature"/> - <feature id="org.eclipse.papyrus.uml.decoratormodel.feature"/> - <feature id="org.eclipse.papyrus.views.properties.feature"/> - <feature id="org.eclipse.papyrus.uml.xtext.integration.feature"/> - <feature id="org.eclipse.papyrus.infra.widget.feature"/> - <feature id="org.eclipse.papyrus.infra.core.feature"/> - <feature id="org.eclipse.papyrus.infra.gmfdiag.feature"/> - <feature id="org.eclipse.xtext.redist"/> - <feature id="org.eclipse.nebula.widgets.grid.feature"/> - <feature id="org.eclipse.jdt"/> - <feature id="org.eclipse.pde"/> - <feature id="org.eclipse.draw2d"/> - <feature id="org.eclipse.emf.sdk"/> - <feature id="org.eclipse.gef.sdk"/> - <feature id="org.eclipse.gmf.sdk"/> - <feature id="org.eclipse.xtext.sdk"/> - <feature id="org.eclipse.elk.gmf.feature"/> - <feature id="org.eclipse.elk.algorithms.feature"/> - <feature id="org.eclipse.elk.feature"/> - <feature id="org.eclipse.elk.sdk.feature"/> - <feature id="org.eclipse.elk.ui.feature"/> - <feature id="org.eclipse.emf.mwe2.language.sdk"/> - <feature id="org.eclipse.emf.mwe.sdk"/> - <feature id="org.eclipse.epsilon.emf.feature"/> - <feature id="org.eclipse.epsilon.core.feature"/> - <feature id="org.eclipse.uml2.sdk"/> - <feature id="org.eclipse.ocl.all.sdk"/> - <feature id="org.eclipse.m2m.atl"/> - <feature id="org.eclipse.m2m.qvt.oml.sdk"/> - <feature id="org.eclipse.sirius.runtime.aql"/> - <feature id="org.eclipse.sirius.properties.feature"/> - <feature id="org.eclipse.sirius.doc.feature"/> - <feature id="org.eclipse.sirius.runtime.ide.ui.acceleo"/> - <feature id="org.eclipse.sirius.tests.support"/> - <feature id="org.eclipse.sirius.runtime.ocl"/> - <feature id="org.eclipse.sirius.runtime"/> - <feature id="org.eclipse.sirius.specifier.properties.feature"/> - <feature id="org.eclipse.sirius.interpreter.feature"/> - <feature id="org.eclipse.sirius.specifier.ide.ui.acceleo"/> - <feature id="org.eclipse.sirius.aql"/> - <feature id="org.eclipse.sirius.runtime.ide.xtext"/> - <feature id="org.eclipse.sirius.runtime.acceleo"/> - <feature id="org.eclipse.sirius.runtime.ide.eef"/> - <feature id="org.eclipse.sirius.runtime.ide.ui"/> - <feature id="org.eclipse.sirius.samples"/> - <feature id="org.eclipse.sirius.specifier.ide.ui.aql"/> - <feature id="org.eclipse.sirius.specifier.ide.ui"/> - </features> - - <configurations> - <plugin id="org.eclipse.core.runtime" autoStart="true" startLevel="0" /> - <plugin id="org.eclipse.equinox.common" autoStart="true" startLevel="2" /> - <plugin id="org.eclipse.equinox.ds" autoStart="true" startLevel="1" /> - <plugin id="org.eclipse.equinox.event" autoStart="true" startLevel="2" /> - <plugin id="org.eclipse.equinox.simpleconfigurator" autoStart="true" startLevel="1" /> - </configurations> - - <repositories> - <repository location="http://es-static.fbk.eu/tools/aida_chess" enabled="true" /> - <repository location="http://es-static.fbk.eu/tools/aida_est" enabled="true" /> - <repository location="http://es-static.fbk.eu/tools/aida_sde" enabled="true" /> - </repositories> - - <preferencesInfo> - <targetfile overwrite="false"/> - </preferencesInfo> - - <cssInfo> - </cssInfo> - -</product> +<?xml version="1.0" encoding="UTF-8"?> +<?pde version="3.5"?> + +<product name="CHESS Product" uid="org.polarsys.chess.product" id="org.eclipse.platform.ide" application="org.eclipse.ui.ide.workbench" version="1.0.0.qualifier" useFeatures="true" includeLaunchers="true"> + + <configIni use="default"> + </configIni> + + <launcherArgs> + <programArgs>-clearPersistedState + </programArgs> + <vmArgsMac>-XstartOnFirstThread -Dorg.eclipse.swt.internal.carbon.smallFonts + </vmArgsMac> + </launcherArgs> + + <windowImages/> + + <launcher name="CHESS"> + <solaris/> + <win useIco="false"> + <bmp/> + </win> + </launcher> + + <vm> + </vm> + + <plugins> + </plugins> + + <features> + <feature id="org.eclipse.platform"/> + <feature id="org.eclipse.equinox.p2.user.ui"/> + <feature id="org.eclipse.ecf.filetransfer.httpclient4.feature"/> + <feature id="org.eclipse.help"/> + <feature id="org.eclipse.ecf.filetransfer.httpclient4.ssl.feature"/> + <feature id="org.eclipse.equinox.p2.extras.feature"/> + <feature id="org.eclipse.rcp"/> + <feature id="org.eclipse.equinox.p2.core.feature"/> + <feature id="org.eclipse.ecf.core.feature"/> + <feature id="org.eclipse.equinox.p2.rcp.feature"/> + <feature id="org.eclipse.ecf.filetransfer.feature"/> + <feature id="org.eclipse.ecf.core.ssl.feature"/> + <feature id="org.eclipse.ecf.filetransfer.ssl.feature"/> + <feature id="org.eclipse.emf.ecore"/> + <feature id="org.eclipse.emf.common"/> + <feature id="org.eclipse.e4.rcp"/> + <feature id="org.eclipse.papyrus.sysml.diagram.feature"/> + <feature id="org.eclipse.papyrus.sysml.feature"/> + <feature id="org.eclipse.papyrus.sysml.modelexplorer.feature"/> + <feature id="org.eclipse.papyrus.sysml.nattable.feature"/> + <feature id="org.eclipse.papyrus.sysml.properties.feature"/> + <feature id="org.eclipse.papyrus.sdk.feature"/> + <feature id="org.eclipse.papyrus.extra.marte.feature"/> + <feature id="org.eclipse.papyrus.extra.marte.properties.feature"/> + <feature id="org.eclipse.papyrus.extra.marte.textedit.feature"/> + <feature id="org.eclipse.papyrus.uml.ui.feature"/> + <feature id="org.eclipse.papyrus.infra.gmfdiag.css.feature"/> + <feature id="org.eclipse.papyrus.uml.tools.feature"/> + <feature id="org.eclipse.papyrus.uml.search.feature"/> + <feature id="org.eclipse.papyrus.views.references.feature"/> + <feature id="org.eclipse.papyrus.infra.services.feature"/> + <feature id="org.eclipse.papyrus.uml.modelexplorer.feature"/> + <feature id="org.eclipse.papyrus.uml.feature"/> + <feature id="org.eclipse.papyrus.emf.facet.feature"/> + <feature id="org.eclipse.papyrus.infra.viewpoints.feature"/> + <feature id="org.eclipse.papyrus.infra.emf.feature"/> + <feature id="org.eclipse.papyrus.infra.feature"/> + <feature id="org.eclipse.papyrus.uml.properties.feature"/> + <feature id="org.eclipse.papyrus.views.modelexplorer.feature"/> + <feature id="org.eclipse.papyrus.doc.feature"/> + <feature id="org.eclipse.papyrus.uml.assistants.feature"/> + <feature id="org.eclipse.papyrus.infra.ui.feature"/> + <feature id="org.eclipse.papyrus.infra.nattable.feature"/> + <feature id="org.eclipse.papyrus.views.search.feature"/> + <feature id="org.eclipse.papyrus.uml.diagram.css.feature"/> + <feature id="org.eclipse.papyrus.uml.diagram.feature"/> + <feature id="org.eclipse.papyrus.uml.alf.feature"/> + <feature id="org.eclipse.papyrus.uml.textedit.feature"/> + <feature id="org.eclipse.papyrus.uml.nattable.feature"/> + <feature id="org.eclipse.papyrus.editor.feature"/> + <feature id="org.eclipse.papyrus.views.validation.feature"/> + <feature id="org.eclipse.papyrus.infra.discovery.feature"/> + <feature id="org.eclipse.papyrus.customization.feature"/> + <feature id="org.eclipse.papyrus.uml.decoratormodel.feature"/> + <feature id="org.eclipse.papyrus.views.properties.feature"/> + <feature id="org.eclipse.papyrus.uml.xtext.integration.feature"/> + <feature id="org.eclipse.papyrus.infra.widget.feature"/> + <feature id="org.eclipse.papyrus.infra.core.feature"/> + <feature id="org.eclipse.papyrus.infra.gmfdiag.feature"/> + <feature id="org.eclipse.xtext.redist"/> + <feature id="org.eclipse.nebula.widgets.grid.feature"/> + <feature id="org.eclipse.jdt"/> + <feature id="org.eclipse.pde"/> + <feature id="org.eclipse.draw2d"/> + <feature id="org.eclipse.emf.sdk"/> + <feature id="org.eclipse.gef.sdk"/> + <feature id="org.eclipse.gmf.sdk"/> + <feature id="org.eclipse.xtext.sdk"/> + <feature id="org.eclipse.elk.gmf.feature"/> + <feature id="org.eclipse.elk.algorithms.feature"/> + <feature id="org.eclipse.elk.feature"/> + <feature id="org.eclipse.elk.sdk.feature"/> + <feature id="org.eclipse.elk.ui.feature"/> + <feature id="org.eclipse.emf.mwe2.language.sdk"/> + <feature id="org.eclipse.emf.mwe.sdk"/> + <feature id="org.eclipse.epsilon.emf.feature"/> + <feature id="org.eclipse.epsilon.core.feature"/> + <feature id="org.eclipse.uml2.sdk"/> + <feature id="org.eclipse.ocl.all.sdk"/> + <feature id="org.eclipse.m2m.atl"/> + <feature id="org.eclipse.m2m.qvt.oml.sdk"/> + <feature id="org.eclipse.sirius.runtime.aql"/> + <feature id="org.eclipse.sirius.properties.feature"/> + <feature id="org.eclipse.sirius.doc.feature"/> + <feature id="org.eclipse.sirius.runtime.ide.ui.acceleo"/> + <feature id="org.eclipse.sirius.tests.support"/> + <feature id="org.eclipse.sirius.runtime.ocl"/> + <feature id="org.eclipse.sirius.runtime"/> + <feature id="org.eclipse.sirius.specifier.properties.feature"/> + <feature id="org.eclipse.sirius.interpreter.feature"/> + <feature id="org.eclipse.sirius.specifier.ide.ui.acceleo"/> + <feature id="org.eclipse.sirius.aql"/> + <feature id="org.eclipse.sirius.runtime.ide.xtext"/> + <feature id="org.eclipse.sirius.runtime.acceleo"/> + <feature id="org.eclipse.sirius.runtime.ide.eef"/> + <feature id="org.eclipse.sirius.runtime.ide.ui"/> + <feature id="org.eclipse.sirius.samples"/> + <feature id="org.eclipse.sirius.specifier.ide.ui.aql"/> + <feature id="org.eclipse.sirius.specifier.ide.ui"/> + <feature id="eu.fbk.eclipse.standardtools.feature"/> + <feature id="org.polarsys.chess.feature"/> + <feature id="eu.fbk.tools.sde.feature"/> + </features> + + <configurations> + <plugin id="org.eclipse.core.runtime" autoStart="true" startLevel="0" /> + <plugin id="org.eclipse.equinox.common" autoStart="true" startLevel="2" /> + <plugin id="org.eclipse.equinox.ds" autoStart="true" startLevel="1" /> + <plugin id="org.eclipse.equinox.event" autoStart="true" startLevel="2" /> + <plugin id="org.eclipse.equinox.simpleconfigurator" autoStart="true" startLevel="1" /> + </configurations> + + <repositories> + <repository location="http://es-static.fbk.eu/tools/eclipse_est_devel" enabled="true" /> + <repository location="http://es-static.fbk.eu/tools/eclipse_sde_devel" enabled="true" /> + <repository location="http://es-static.fbk.eu/tools/eclipse_chess" enabled="true" /> + </repositories> + + <preferencesInfo> + <targetfile overwrite="false"/> + </preferencesInfo> + + <cssInfo> + </cssInfo> + +</product> diff --git a/plugins/org.polarsys.chess.feature/feature.xml b/plugins/org.polarsys.chess.feature/feature.xml index 02908d924..7615e0508 100644 --- a/plugins/org.polarsys.chess.feature/feature.xml +++ b/plugins/org.polarsys.chess.feature/feature.xml @@ -1,204 +1,364 @@ -<?xml version="1.0" encoding="UTF-8"?> -<feature - id="org.polarsys.chess.feature" - label="CHESS Polarsys" - version="0.10.0.qualifier" - provider-name="Polarsys CHESS Project"> - - <description url="http://www.example.com/description"> +<?xml version="1.0" encoding="UTF-8"?> +<feature + id="org.polarsys.chess.feature" + label="CHESS Polarsys" + version="0.10.0.qualifier" + provider-name="Polarsys CHESS Project"> + + <description url="http://www.example.com/description"> The CHESS feature provides the CHESS editor and the model transformations supporting the CHESS methodology for the development of high-integrity -systems. - </description> - - <copyright url="http://www.eclipse.org/legal/epl-v10.html"> +systems. + </description> + + <copyright url="http://www.eclipse.org/legal/epl-v10.html"> Copyright (c) 2011-2015 UPD-Intecs All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at -http://www.eclipse.org/legal/epl-v10.html - </copyright> - - <license url="http://www.eclipse.org/legal/epl-v10.html"> +http://www.eclipse.org/legal/epl-v10.html + </copyright> + + <license url="http://www.eclipse.org/legal/epl-v10.html"> This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at -http://www.eclipse.org/legal/epl-v10.html - </license> - - <plugin - id="org.polarsys.chess.chessmlprofile" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.commands" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.core" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.discovery" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.m2m" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.validator" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.wizards" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.service" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.codegen.ada" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.monitoring" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.multicore" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.tabbedproperties" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.diagram.ui" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.properties.propertyEditor" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.constraints.constraintEditor" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.OSSImporter" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.diagramsCreator" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.smvExporter" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.functionBehaviors.functionBehaviorEditor" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.paramArchConfigurator" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.patterns" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.patterns.library" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.patterns.profile" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.tradeoffAnalysis" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - - <plugin - id="org.polarsys.chess.checkers" - download-size="0" - install-size="0" - version="0.0.0" - unpack="false"/> - -</feature> +http://www.eclipse.org/legal/epl-v10.html + </license> + + <plugin + id="org.polarsys.chess.chessmlprofile" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.commands" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.core" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.discovery" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.m2m" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.validator" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.wizards" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.service" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.codegen.ada" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.monitoring" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.multicore" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.tabbedproperties" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.diagram.ui" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.properties.propertyEditor" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.constraints.constraintEditor" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.OSSImporter" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.diagramsCreator" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.smvExporter" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.functionBehaviors.functionBehaviorEditor" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.paramArchConfigurator" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.patterns" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.patterns.library" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.patterns.profile" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.tradeoffAnalysis" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.checkers" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.cleanCExporter" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.chessextension" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.contractEditor" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.contractPropertyManager" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.hierarchicalContractView" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.integration" + download-size="0" + install-size="0" + version="0.0.0"/> + + <plugin + id="org.polarsys.chess.contracts.profile" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.refinementView" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.safetyAnalysis" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.transformations" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.validation" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.verificationService" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.contracts.verificationService.test.runtime" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.fla" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.fla.flamm" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.fla.flaxml" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.monitoring.tests" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.statebased" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.test.runtime" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.xtext.fladsl" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.xtext.fladsl.ide" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.xtext.fladsl.ui" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + + <plugin + id="org.polarsys.chess.xtext.global" + download-size="0" + install-size="0" + version="0.0.0" + unpack="false"/> + +</feature> -- GitLab