Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • eclipse/chess/chess
  • malowe/chess
  • aperri21897/chess
  • fihirweh8e/chess
  • wbeaton/chess
5 results
Show changes
Commits on Source (559)
459 additional commits have been omitted to prevent performance issues.
Hide whitespace changes
Inline Side-by-side
Showing
with 680 additions and 737 deletions
.classpath
View file @ bb85c2f6
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="org.polarsys.chess.smvExport/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.chessextension/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractEditor/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.integration/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.profile/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.refinementView/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.transformations/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.validation/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.verificationService/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flamm/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flaxml/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.transformations/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.chessmlprofile/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.codegen.ada/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.commands/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.constraints.constraintEditor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.core/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.diagram.ui/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.discovery/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.instance.view/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.instance.view/src-gen"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.m2m/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.edit/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.editor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.tests/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.multicore/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.properties.propertyEditor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.service/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.tabbedproperties/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.test.runtime/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.validator/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.wizards/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.xtext.global/src"/>
<classpathentry kind="src" path="plugins/sba/org.polarsys.chess.statebased/src"/>
<classpathentry kind="lib" path="plugins/fla/org.polarsys.chess.xtext.fladsl/.antlr-generator-3.2.0-patch.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/artifacts.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/content.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.contracts.feature_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.feature_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.fla.feature_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.statebased.feature_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.xtext.feature_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.chessmlprofile_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.chessmlprofile_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.codegen.ada_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.codegen.ada_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.commands_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.commands_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.chessextension_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.integration_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.profile_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.transformations_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.validation_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.core_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.core_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.discovery_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.discovery_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla_1.0.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.flamm_0.1.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.flaxml_0.1.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.FPTC2FLABehavior_1.0.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.transformations_0.1.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.instance.view_0.0.1.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.m2m_0.8.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.m2m_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.monitoring_0.1.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.multicore_0.9.2.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.service_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.service_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.statebased_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.tabbedproperties_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.validator_0.10.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.validator_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.wizards_0.9.0.201507281729.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.wizards_0.9.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.fladsl_1.0.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.fladsl.ui_1.0.0.201610211519.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.global_1.0.0.201610211519.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="output" path="bin"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="org.polarsys.chess.smvExport/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.chessextension/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractEditor/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.integration/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.profile/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.refinementView/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.transformations/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.validation/src"/>
<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.verificationService/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flamm/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flaxml/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.transformations/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen"/>
<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.chessmlprofile/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.codegen.ada/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.commands/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.constraints.constraintEditor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.core/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.diagram.ui/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.discovery/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.m2m/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.edit/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.editor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.tests/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.multicore/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.properties.propertyEditor/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.service/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.tabbedproperties/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.test.runtime/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.validator/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.wizards/src"/>
<classpathentry kind="src" path="plugins/org.polarsys.chess.xtext.global/src"/>
<classpathentry kind="src" path="plugins/sba/org.polarsys.chess.statebased/src"/>
<classpathentry kind="lib" path="plugins/fla/org.polarsys.chess.xtext.fladsl/.antlr-generator-3.2.0-patch.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/artifacts.jar"/>
<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/content.jar"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
<classpathentry kind="output" path="bin"/>
</classpath>
.gitignore
View file @ bb85c2f6
/bin/
**/bin/
plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/generator/.FlaDslGenerator.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/scoping/.FlaDslScopeProvider.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/validation/.FlaDslValidator.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/contentassist/.FlaDslProposalProvider.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslDescriptionLabelProvider.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslLabelProvider.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/outline/.FlaDslOutlineTreeProvider.xtendbin
plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/quickfix/.FlaDslQuickfixProvider.xtendbin
/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen
/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen
CONTRIBUTING.md 0 → 100644
View file @ bb85c2f6
# Contributing to Eclipse CHESS
This guide provides all necessary information to enable [contributors and committers](https://www.eclipse.org/projects/dev_process/#2_3_1_Contributors_and_Committers) to contribute to Eclipse CHESS.
## Eclipse Contributor Agreement
Before your contribution can be accepted by the project team, contributors must
electronically sign the Eclipse Contributor Agreement (ECA).
* http://www.eclipse.org/legal/ECA.php
Commits that are provided by non-committers must have a Signed-off-by field in
the footer indicating that the author is aware of the terms by which the
contribution has been provided to the project. The non-committer must
additionally have an Eclipse Foundation account and must have a signed Eclipse
Contributor Agreement (ECA) on file.
For more information, please see the Eclipse Committer Handbook:
https://www.eclipse.org/projects/handbook/#resources-commit
## How to contribute
The CHESS source code can be found [here](gitlab.eclipse.org:eclipse/chess/chess.git).
To build the project, go to repo\org.polarsys.chess.parent\ and execute mvn -P "Eclipse-Neon-Java8" install.
The branch 'devel' contains the contributions that will be included in the next release.
### Committer contribution process
1. (you) If needed, create the Issue on GitLab and assign it to yourself.
2. (you) In GitLab, create a merge request. The related branch will be created from the branch 'devel'.
3. (you) Work on it.
4. (you) Run regression tests.
5. (you) Assign the issue to another committer.
5. (other committer) Review the code.
6. (other committer) To merge new branch into 'devel' you can close the merge request via GitLab. Otherwise, if you want to automatically run regression tests before the merge, configure and run the Jenkins process '[CHESS-gitlab-merge-branch-x-to-devel](https://ci.eclipse.org/chess/job/CHESS-gitlab-merge-branch-x-to-devel/)').
Documentation/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.docx 0 → 100644
View file @ bb85c2f6
File added
Documentation/CHESS_functionalities.pptx 0 → 100644
View file @ bb85c2f6
File added
LICENSE.md 0 → 100644
View file @ bb85c2f6
Eclipse Public License - v 2.0
==============================
THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC LICENSE (“AGREEMENT”). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT.
### 1. Definitions
“Contribution” means:
* **a)** in the case of the initial Contributor, the initial content Distributed under this Agreement, and
* **b)** in the case of each subsequent Contributor:
* **i)** changes to the Program, and
* **ii)** additions to the Program;
where such changes and/or additions to the Program originate from and are Distributed by that particular Contributor. A Contribution “originates” from a Contributor if it was added to the Program by such Contributor itself or anyone acting on such Contributor's behalf. Contributions do not include changes or additions to the Program that are not Modified Works.
“Contributor” means any person or entity that Distributes the Program.
“Licensed Patents” mean patent claims licensable by a Contributor which are necessarily infringed by the use or sale of its Contribution alone or when combined with the Program.
“Program” means the Contributions Distributed in accordance with this Agreement.
“Recipient” means anyone who receives the Program under this Agreement or any Secondary License (as applicable), including Contributors.
“Derivative Works” shall mean any work, whether in Source Code or other form, that is based on (or derived from) the Program and for which the editorial revisions, annotations, elaborations, or other modifications represent, as a whole, an original work of authorship.
“Modified Works” shall mean any work in Source Code or other form that results from an addition to, deletion from, or modification of the contents of the Program, including, for purposes of clarity any new file in Source Code form that contains any contents of the Program. Modified Works shall not include works that contain only declarations, interfaces, types, classes, structures, or files of the Program solely in each case in order to link to, bind by name, or subclass the Program or Modified Works thereof.
“Distribute” means the acts of **a)** distributing or **b)** making available in any manner that enables the transfer of a copy.
“Source Code” means the form of a Program preferred for making modifications, including but not limited to software source code, documentation source, and configuration files.
“Secondary License” means either the GNU General Public License, Version 2.0, or any later versions of that license, including any exceptions or additional permissions as identified by the initial Contributor.
### 2. Grant of Rights
**a)** Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free copyright license to reproduce, prepare Derivative Works of, publicly display, publicly perform, Distribute and sublicense the Contribution of such Contributor, if any, and such Derivative Works.
**b)** Subject to the terms of this Agreement, each Contributor hereby grants Recipient a non-exclusive, worldwide, royalty-free patent license under Licensed Patents to make, use, sell, offer to sell, import and otherwise transfer the Contribution of such Contributor, if any, in Source Code or other form. This patent license shall apply to the combination of the Contribution and the Program if, at the time the Contribution is added by the Contributor, such addition of the Contribution causes such combination to be covered by the Licensed Patents. The patent license shall not apply to any other combinations which include the Contribution. No hardware per se is licensed hereunder.
**c)** Recipient understands that although each Contributor grants the licenses to its Contributions set forth herein, no assurances are provided by any Contributor that the Program does not infringe the patent or other intellectual property rights of any other entity. Each Contributor disclaims any liability to Recipient for claims brought by any other entity based on infringement of intellectual property rights or otherwise. As a condition to exercising the rights and licenses granted hereunder, each Recipient hereby assumes sole responsibility to secure any other intellectual property rights needed, if any. For example, if a third party patent license is required to allow Recipient to Distribute the Program, it is Recipient's responsibility to acquire that license before distributing the Program.
**d)** Each Contributor represents that to its knowledge it has sufficient copyright rights in its Contribution, if any, to grant the copyright license set forth in this Agreement.
**e)** Notwithstanding the terms of any Secondary License, no Contributor makes additional grants to any Recipient (other than those set forth in this Agreement) as a result of such Recipient's receipt of the Program under the terms of a Secondary License (if permitted under the terms of Section 3).
### 3. Requirements
**3.1** If a Contributor Distributes the Program in any form, then:
* **a)** the Program must also be made available as Source Code, in accordance with section 3.2, and the Contributor must accompany the Program with a statement that the Source Code for the Program is available under this Agreement, and informs Recipients how to obtain it in a reasonable manner on or through a medium customarily used for software exchange; and
* **b)** the Contributor may Distribute the Program under a license different than this Agreement, provided that such license:
* **i)** effectively disclaims on behalf of all other Contributors all warranties and conditions, express and implied, including warranties or conditions of title and non-infringement, and implied warranties or conditions of merchantability and fitness for a particular purpose;
* **ii)** effectively excludes on behalf of all other Contributors all liability for damages, including direct, indirect, special, incidental and consequential damages, such as lost profits;
* **iii)** does not attempt to limit or alter the recipients' rights in the Source Code under section 3.2; and
* **iv)** requires any subsequent distribution of the Program by any party to be under a license that satisfies the requirements of this section 3.
**3.2** When the Program is Distributed as Source Code:
* **a)** it must be made available under this Agreement, or if the Program **(i)** is combined with other material in a separate file or files made available under a Secondary License, and **(ii)** the initial Contributor attached to the Source Code the notice described in Exhibit A of this Agreement, then the Program may be made available under the terms of such Secondary Licenses, and
* **b)** a copy of this Agreement must be included with each copy of the Program.
**3.3** Contributors may not remove or alter any copyright, patent, trademark, attribution notices, disclaimers of warranty, or limitations of liability (“notices”) contained within the Program from any copy of the Program which they Distribute, provided that Contributors may add their own appropriate notices.
### 4. Commercial Distribution
Commercial distributors of software may accept certain responsibilities with respect to end users, business partners and the like. While this license is intended to facilitate the commercial use of the Program, the Contributor who includes the Program in a commercial product offering should do so in a manner which does not create potential liability for other Contributors. Therefore, if a Contributor includes the Program in a commercial product offering, such Contributor (“Commercial Contributor”) hereby agrees to defend and indemnify every other Contributor (“Indemnified Contributor”) against any losses, damages and costs (collectively “Losses”) arising from claims, lawsuits and other legal actions brought by a third party against the Indemnified Contributor to the extent caused by the acts or omissions of such Commercial Contributor in connection with its distribution of the Program in a commercial product offering. The obligations in this section do not apply to any claims or Losses relating to any actual or alleged intellectual property infringement. In order to qualify, an Indemnified Contributor must: **a)** promptly notify the Commercial Contributor in writing of such claim, and **b)** allow the Commercial Contributor to control, and cooperate with the Commercial Contributor in, the defense and any related settlement negotiations. The Indemnified Contributor may participate in any such claim at its own expense.
For example, a Contributor might include the Program in a commercial product offering, Product X. That Contributor is then a Commercial Contributor. If that Commercial Contributor then makes performance claims, or offers warranties related to Product X, those performance claims and warranties are such Commercial Contributor's responsibility alone. Under this section, the Commercial Contributor would have to defend claims against the other Contributors related to those performance claims and warranties, and if a court requires any other Contributor to pay any damages as a result, the Commercial Contributor must pay those damages.
### 5. No Warranty
EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, THE PROGRAM IS PROVIDED ON AN “AS IS” BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the appropriateness of using and distributing the Program and assumes all risks associated with its exercise of rights under this Agreement, including but not limited to the risks and costs of program errors, compliance with applicable laws, damage to or loss of data, programs or equipment, and unavailability or interruption of operations.
### 6. Disclaimer of Liability
EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, AND TO THE EXTENT PERMITTED BY APPLICABLE LAW, NEITHER RECIPIENT NOR ANY CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION LOST PROFITS), HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
### 7. General
If any provision of this Agreement is invalid or unenforceable under applicable law, it shall not affect the validity or enforceability of the remainder of the terms of this Agreement, and without further action by the parties hereto, such provision shall be reformed to the minimum extent necessary to make such provision valid and enforceable.
If Recipient institutes patent litigation against any entity (including a cross-claim or counterclaim in a lawsuit) alleging that the Program itself (excluding combinations of the Program with other software or hardware) infringes such Recipient's patent(s), then such Recipient's rights granted under Section 2(b) shall terminate as of the date such litigation is filed.
All Recipient's rights under this Agreement shall terminate if it fails to comply with any of the material terms or conditions of this Agreement and does not cure such failure in a reasonable period of time after becoming aware of such noncompliance. If all Recipient's rights under this Agreement terminate, Recipient agrees to cease use and distribution of the Program as soon as reasonably practicable. However, Recipient's obligations under this Agreement and any licenses granted by Recipient relating to the Program shall continue and survive.
Everyone is permitted to copy and distribute copies of this Agreement, but in order to avoid inconsistency the Agreement is copyrighted and may only be modified in the following manner. The Agreement Steward reserves the right to publish new versions (including revisions) of this Agreement from time to time. No one other than the Agreement Steward has the right to modify this Agreement. The Eclipse Foundation is the initial Agreement Steward. The Eclipse Foundation may assign the responsibility to serve as the Agreement Steward to a suitable separate entity. Each new version of the Agreement will be given a distinguishing version number. The Program (including Contributions) may always be Distributed subject to the version of the Agreement under which it was received. In addition, after a new version of the Agreement is published, Contributor may elect to Distribute the Program (including its Contributions) under the new version.
Except as expressly stated in Sections 2(a) and 2(b) above, Recipient receives no rights or licenses to the intellectual property of any Contributor under this Agreement, whether expressly, by implication, estoppel or otherwise. All rights in the Program not expressly granted under this Agreement are reserved. Nothing in this Agreement is intended to be enforceable by any entity that is not a Contributor or Recipient. No third-party beneficiary rights are created under this Agreement.
#### Exhibit A - Form of Secondary Licenses Notice
> “This Source Code may also be made available under the following Secondary Licenses when the conditions for such availability set forth in the Eclipse Public License, v. 2.0 are satisfied: {name license(s), version(s), and exceptions or additional permissions here}.”
Simply including a copy of this Agreement, including this Exhibit A is not sufficient to license the Source Code under Secondary Licenses.
If it is not possible or desirable to put the notice in a particular file, then You may include the notice in a location (such as a LICENSE file in a relevant directory) where a recipient would be likely to look for such a notice.
You may add additional accurate notices of copyright ownership.
NOTICE.md 0 → 100644
View file @ bb85c2f6
# Notices for Eclipse CHESS
This content is produced and maintained by the Eclipse CHESS project.
* Project home: https://projects.eclipse.org/projects/polarsys.chess
## Trademarks
Eclipse and CHESS are trademarks of the Eclipse Foundation.
## Copyright
All content is the property of the respective authors or their employers. For
more information regarding authorship of content, please consult the listed
source code repository logs.
## Declared Project Licenses
This program and the accompanying materials are made available under the
terms of the Eclipse Public License 2.0 which is available at
http://www.eclipse.org/legal/epl-2.0
SPDX-License-Identifier: EPL-2.0
## Source Code
The project maintains the following source code repositories:
* https://git.eclipse.org/r/chess/chess.git
## Third-party Content
This project leverages the following third party content.
SDE (Syntax-derived editor)
* License: EPL-2.0 AND EPL-1.0 AND Apache-2.0
EST (Eclipse Standard Tools)
* License: EPL-1.0 AND Apache-2.0 AND MIT-CMU AND CC-BY-4.0
## Cryptography
Content may contain encryption software. The country in which you are currently
may have restrictions on the import, possession, and use, and/or re-export to
another country, of encryption software. BEFORE using any encryption software,
please check the country's laws, regulations and policies concerning the import,
possession, or use, and re-export of encryption software, to see if this is
permitted.
README.md 0 → 100644
View file @ bb85c2f6
# Eclipse CHESS
CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile, by producing extensions to Papyrus that provide component-based engineering methodology and tool support for the development of high-integrity embedded systems in different domains like satellite on board systems.
## Developer resources
* [CHESS Website](https://websites.eclipseprojects.io/chess/)
* [CHESS devel Website](https://projects.eclipse.org/projects/polarsys.chess)
* [Forum](https://www.eclipse.org/forums/index.php/f/529/)
* Mailing list: Join our [developer list](https://accounts.eclipse.org/mailing-list/chess-dev)
* Bugs? [GitLab] (https://gitlab.eclipse.org/eclipse/chess/chess/-/issues)(previous bug traking system was [BugZilla](https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Chess)) is where to report them
## Contact
Contact the project developers via the project's "dev" list.
* chess-dev@eclipse.org
## How to contribute
The contributor guide can be found [here](https://gitlab.eclipse.org/eclipse/chess/chess/-/blob/devel/CONTRIBUTING.md).
org.polarsys.chess.parent/bundles/pom.xml
View file @ bb85c2f6
......@@ -33,7 +33,7 @@
<module>../../plugins/fla/org.polarsys.chess.xtext.fladsl.ide</module>
<module>../../plugins/fla/org.polarsys.chess.xtext.fladsl.ui</module>
<module>../../plugins/org.polarsys.chess.cdo</module>
<!-- module>../../plugins/org.polarsys.chess.cdo</module-->
<module>../../plugins/org.polarsys.chess.checkers</module>
<module>../../plugins/org.polarsys.chess.chessmlprofile</module>
<module>../../plugins/org.polarsys.chess.cleanCExporter</module>
......@@ -43,7 +43,7 @@
<module>../../plugins/org.polarsys.chess.core</module>
<module>../../plugins/org.polarsys.chess.diagram.ui</module>
<module>../../plugins/org.polarsys.chess.diagramsCreator</module>
<module>../../plugins/org.polarsys.chess.discovery</module>
<!-- module>../../plugins/org.polarsys.chess.discovery</module-->
<module>../../plugins/org.polarsys.chess.functionBehaviors.functionBehaviorEditor</module>
<!-- module>../../plugins/org.polarsys.chess.instance.view</module-->
<module>../../plugins/org.polarsys.chess.m2m</module>
......@@ -66,8 +66,17 @@
<module>../../plugins/org.polarsys.chess.validator</module>
<module>../../plugins/org.polarsys.chess.wizards</module>
<module>../../plugins/org.polarsys.chess.xtext.global</module>
<module>../../plugins/org.polarsys.chess.customEditors</module>
<module>../../plugins/sba/org.polarsys.chess.statebased</module>
<module>../../plugins/sba/org.polarsys.chess.statebased</module>
<module>../../plugins/fla/org.polarsys.chess.fla.FPTC2FLABehavior</module>
<module>../../plugins/org.polarsys.chess.mainmenu</module>
<module>../../plugins/mobius/org.polarsys.chess.mobius</module>
<module>../../plugins/mobius/org.polarsys.chess.mobius.model</module>
<module>../../plugins/mobius/org.polarsys.chess.mobius.model.edit</module>
<module>../../plugins/mobius/org.polarsys.chess.mobius.model.editor</module>
<module>../../plugins/mobius/org.polarsys.chess.mobius.preferences</module>
</modules>
</project>
org.polarsys.chess.parent/features/org.polarsys.chess.feature/feature.xml
View file @ bb85c2f6
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="org.polarsys.chess.feature"
label="CHESS"
version="1.0.0.qualifier"
provider-name="Fondazione Bruno Kessler">
<description url="http://www.example.com/description">
[Enter Feature Description here.]
</description>
<copyright url="http://www.example.com/copyright">
[Enter Copyright Description here.]
</copyright>
<license url="http://www.example.com/license">
[Enter License Description here.]
</license>
<plugin
id="org.polarsys.chess.chessmlprofile"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.contracts.profile"
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.diagram.ui"
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.functionBehaviors.functionBehaviorEditor"
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.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.checkers"
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.cleanCExporter"
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.commands"
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.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.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.discovery"
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.m2m"
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.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.properties.propertyEditor"
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.statebased"
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.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>
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="org.polarsys.chess.feature"
label="CHESS"
version="1.0.0.qualifier"
provider-name="Fondazione Bruno Kessler">
<description url="http://www.example.com/description">
[Enter Feature Description here.]
</description>
<copyright url="http://www.example.com/copyright">
[Enter Copyright Description here.]
</copyright>
<license url="http://www.example.com/license">
[Enter License Description here.]
</license>
<plugin
id="org.polarsys.chess.chessmlprofile"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.contracts.profile"
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.diagram.ui"
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.functionBehaviors.functionBehaviorEditor"
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.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.checkers"
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.cleanCExporter"
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.commands"
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.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.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.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.m2m"
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.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.properties.propertyEditor"
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.statebased"
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.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"/>
<plugin
id="org.polarsys.chess.fla.FPTC2FLABehavior"
download-size="0"
install-size="0"
version="0.0.0"/>
<plugin
id="org.polarsys.chess.fla.faultTreeGenerator"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.fla.transformations"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mainmenu"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mobius"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mobius.model"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mobius.model.edit"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mobius.model.editor"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
<plugin
id="org.polarsys.chess.mobius.preferences"
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.customEditors"
download-size="0"
install-size="0"
version="0.0.0"
unpack="false"/>
</feature>
org.polarsys.chess.parent/features/pom.xml
View file @ bb85c2f6
......@@ -10,10 +10,7 @@
<version>1.0.0-SNAPSHOT</version>
</parent>
<modules>
<module>
eu.fbk.tools.aida.chess.feature
</module>
<modules>
<module>
org.polarsys.chess.feature
</module>
......
org.polarsys.chess.parent/pom.xml
View file @ bb85c2f6
......@@ -11,6 +11,7 @@
<relativePath>./releng/org.polarsys.chess.configuration</relativePath>
</parent>
<modules>
<module>bundles</module>
<module>features</module>
......
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.repository/.settings/org.eclipse.core.resources.prefs deleted 100755 → 0
View file @ b1ff679b
eclipse.preferences.version=1
encoding/<project>=UTF-8
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.repository/.settings/org.eclipse.m2e.core.prefs deleted 100755 → 0
View file @ b1ff679b
activeProfiles=AIDADevelopmentUpdateSite
eclipse.preferences.version=1
resolveWorkspaceProjects=true
version=1
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.repository/.settings/org.eclipse.xtend.core.Xtend.prefs deleted 100755 → 0
View file @ b1ff679b
//outlet.DEFAULT_OUTPUT.sourceFolder.src/main/java.directory=xtend-gen
//outlet.DEFAULT_OUTPUT.sourceFolder.src/test/java.directory=xtend-gen
BuilderConfiguration.is_project_specific=true
eclipse.preferences.version=1
outlet.DEFAULT_OUTPUT.hideLocalSyntheticVariables=true
outlet.DEFAULT_OUTPUT.installDslAsPrimarySource=false
outlet.DEFAULT_OUTPUT.userOutputPerSourceFolder=true
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.repository/category.xml deleted 100755 → 0
View file @ b1ff679b
<?xml version="1.0" encoding="UTF-8"?>
<site>
<feature url="features/eu.fbk.tools.aida.chess.feature_1.0.0.qualifier.jar" id="eu.fbk.tools.aida.chess.feature" version="1.0.0.qualifier">
<category name="eu.fbk.tools.aida.chess"/>
</feature>
<category-def name="eu.fbk.tools.aida.chess" label="AIDA CHESS"/>
</site>
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.repository/pom.xml deleted 100755 → 0
View file @ b1ff679b
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>org.polarsys.chess</groupId>
<artifactId>org.polarsys.chess.releng</artifactId>
<version>1.0.0-SNAPSHOT</version>
</parent>
<artifactId>eu.fbk.tools.aida.chess.repository</artifactId>
<packaging>eclipse-repository</packaging>
<properties>
<updateSite.mount.dir.root>/tmp</updateSite.mount.dir.root>
<updateSite.mount.dir>www_ci</updateSite.mount.dir>
<updateSite.root>${updateSite.mount.dir.root}/${updateSite.mount.dir}/html/tools</updateSite.root>
<updateSite.url.root>es@es-static.fbk.eu:/</updateSite.url.root>
<updateSite.skip>true</updateSite.skip>
</properties>
<profiles>
<profile>
<id>DevelopmentUpdateSite</id>
<properties>
<updateSite.dir>${updateSite.root}/aida_chess_devel</updateSite.dir>
<updateSite.skip>false</updateSite.skip>
</properties>
</profile>
<profile>
<id>ProductionUpdateSite</id>
<properties>
<updateSite.dir>${updateSite.root}/aida_chess</updateSite.dir>
<updateSite.skip>false</updateSite.skip>
</properties>
</profile>
</profiles>
<build>
<pluginManagement>
<plugins>
<plugin>
<groupId>org.eclipse.m2e</groupId>
<artifactId>lifecycle-mapping</artifactId>
<version>1.0.0</version>
<configuration>
<lifecycleMappingMetadata>
<pluginExecutions>
<pluginExecution>
<pluginExecutionFilter>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-clean-plugin</artifactId>
<versionRange>[2.5,)</versionRange>
<goals>
<goal>clean</goal>
</goals>
</pluginExecutionFilter>
<action>
<ignore></ignore>
</action>
</pluginExecution>
</pluginExecutions>
</lifecycleMappingMetadata>
</configuration>
</plugin>
</plugins>
</pluginManagement>
<plugins>
<plugin>
<groupId>org.codehaus.mojo</groupId>
<artifactId>exec-maven-plugin</artifactId>
<version>1.6.0</version>
<executions>
<execution>
<id>create_mount_dir</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<skip>${updateSite.skip}</skip>
<executable>mkdir</executable>
<workingDirectory>${updateSite.mount.dir.root}</workingDirectory>
<longModulepath>false</longModulepath>
<arguments>
<argument>-p</argument>
<argument>${updateSite.mount.dir}</argument>
</arguments>
</configuration>
</execution>
<execution>
<id>change_dir_permissions</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<skip>${updateSite.skip}</skip>
<executable>chmod</executable>
<workingDirectory>${updateSite.mount.dir.root}</workingDirectory>
<arguments>
<argument>0777</argument>
<argument>${updateSite.mount.dir}</argument>
</arguments>
</configuration>
</execution>
<execution>
<id>mount_sshfs</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<skip>${updateSite.skip}</skip>
<executable>sshfs</executable>
<workingDirectory>${updateSite.mount.dir.root}</workingDirectory>
<arguments>
<argument>-o</argument>
<argument>nonempty</argument>
<argument>-o</argument>
<argument>umask=0777</argument>
<argument>${updateSite.url.root}</argument>
<argument>${updateSite.mount.dir}</argument>
</arguments>
</configuration>
</execution>
<execution>
<id>update_development_site</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<skip>${updateSite.skip}</skip>
<executable>cp</executable>
<workingDirectory>${basedir}/target/repository</workingDirectory>
<arguments>
<argument>-r</argument>
<argument>.</argument>
<argument>${updateSite.dir}</argument>
</arguments>
</configuration>
</execution>
<execution>
<id>change_site_permissions</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<executable>chmod</executable>
<workingDirectory>${updateSite.dir}</workingDirectory>
<arguments>
<argument>-R</argument>
<argument>0777</argument>
<argument>.</argument>
</arguments>
</configuration>
</execution>
<execution>
<id>umount_sshfs</id>
<goals>
<goal>exec</goal>
</goals>
<phase>install</phase>
<configuration>
<skip>${updateSite.skip}</skip>
<executable>fusermount</executable>
<workingDirectory>${updateSite.mount.dir.root}</workingDirectory>
<arguments>
<argument>-u</argument>
<argument>${updateSite.mount.dir}</argument>
</arguments>
</configuration>
</execution>
</executions>
</plugin>
</plugins>
</build>
</project>
org.polarsys.chess.parent/releng/eu.fbk.tools.aida.chess.target.neon/eu.fbk.tools.aida.chess.target.neon.target deleted 100644 → 0
View file @ b1ff679b
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?pde version="3.8"?><target name="eu.fbk.tools.aida.chess.target.neon.target" sequenceNumber="59">
<locations>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.nebula.widgets.grid.feature.feature.group" version="0.0.0"/>
<repository location="https://download.eclipse.org/nebula/releases/2.2.0/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.xtext.sdk.feature.group" version="2.12.0.v20170519-1412"/>
<repository location="http://download.eclipse.org/modeling/tmf/xtext/updates/releases/2.12.0/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.emf.mwe2.language.sdk.feature.group" version="2.9.0.v201605261103"/>
<unit id="org.eclipse.emf.mwe.sdk.feature.group" version="1.3.20.v201605261103"/>
<repository location="http://download.eclipse.org/modeling/emft/mwe/updates/releases/2.9.0/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.elk.gmf.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.sdk.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.algorithms.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.graphiti.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.ui.feature.feature.group" version="0.4.0"/>
<unit id="org.eclipse.elk.graphviz.feature.feature.group" version="0.4.0"/>
<repository location="http://build.eclipse.org/modeling/elk/updates/0.4.0/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.papyrus.sysml.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.sysml.modelexplorer.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.sysml.nattable.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.sysml.properties.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.sysml.diagram.feature.feature.group" version="2.0.0.201703081153"/>
<unit id="org.eclipse.papyrus.sdk.feature.feature.group" version="2.0.3.201703080851"/>
<unit id="org.eclipse.papyrus.extra.cdo.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.extra.marte.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.extra.marte.properties.feature.feature.group" version="1.2.0.201703081153"/>
<unit id="org.eclipse.papyrus.extra.marte.textedit.feature.feature.group" version="1.2.0.201703081153"/>
<repository location="https://download.eclipse.org/modeling/mdt/papyrus/updates/releases/neon/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.uml2.sdk.feature.group" version="5.2.3.v20170227-0935"/>
<unit id="org.eclipse.ocl.all.sdk.feature.group" version="5.2.0.v20160523-1914"/>
<unit id="org.eclipse.equinox.sdk.feature.group" version="3.12.0.v20170209-1843"/>
<unit id="org.eclipse.platform.feature.group" version="0.0.0"/>
<unit id="org.eclipse.emf.sdk.feature.group" version="0.0.0"/>
<unit id="org.eclipse.gef.sdk.feature.group" version="0.0.0"/>
<unit id="org.eclipse.gmf.sdk.feature.group" version="0.0.0"/>
<repository location="http://download.eclipse.org/releases/neon/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.sirius.specifier.ide.ui.aql.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.ide.ui.acceleo.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.aql.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.eef.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.ide.ui.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.properties.feature.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.doc.feature.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.properties.feature.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.ui.acceleo.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.ui.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.acceleo.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.tests.support.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ocl.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.interpreter.feature.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.properties.feature.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.interpreter.feature.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.ide.ui.acceleo.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.aql.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.xtext.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.ui.acceleo.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.properties.feature.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.acceleo.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ocl.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.eef.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.samples.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.ui.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.tests.support.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.doc.feature.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.aql.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.samples.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.runtime.ide.xtext.source.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.ide.ui.aql.feature.group" version="4.1.9.201802221507"/>
<unit id="org.eclipse.sirius.specifier.ide.ui.feature.group" version="4.1.9.201802221507"/>
<repository location="http://download.eclipse.org/sirius/updates/releases/4.1.9/neon/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.m2m.atl.feature.group" version="4.1.0.v201909021645"/>
<repository location="https://download.eclipse.org/mmt/atl/updates/releases/4.1/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.m2m.qvt.oml.sdk.feature.group" version="3.8.0.v20180612-0940"/>
<repository location="https://download.eclipse.org/mmt/qvto/updates/releases/3.8.0/"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.viatra.query.sdk.feature.source.feature.group" version="1.7.2.201803211255"/>
<unit id="org.eclipse.viatra.addon.viewers.runtime.feature.source.feature.group" version="0.17.2.201803211255"/>
<repository location="https://download.eclipse.org/viatra/updates/release/1.7.2"/>
</location>
<location includeAllPlatforms="false" includeConfigurePhase="false" includeMode="planner" includeSource="true" type="InstallableUnit">
<unit id="org.eclipse.epsilon.core.feature.feature.group" version="0.0.0"/>
<unit id="org.eclipse.epsilon.emf.feature.feature.group" version="0.0.0"/>
<repository location="http://download.eclipse.org/epsilon/updates/1.4"/>
</location>
</locations>
</target>

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent