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
  • mbdev87/chess
6 results
Show changes
Hide whitespace changes
Inline Side-by-side
Showing
with 998 additions and 460 deletions
plugins/contracts/org.polarsys.chess.contracts.integration/about.html
View file @ c515f59b
......@@ -2,27 +2,35 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<title>About</title>
</head>
<body lang="EN-US">
<h2>About This Content</h2>
<p>November 14, 2008</p>
<h3>License</h3>
<h2>About This Content</h2>
<p>The Eclipse Foundation makes available all content in this plug-in (&quot;Content&quot;). Unless otherwise
indicated below, the Content is provided to you under the terms and conditions of the
Eclipse Public License Version 1.0 (&quot;EPL&quot;). A copy of the EPL is available
at <a href="http://www.eclipse.org/legal/epl-v10.html">http://www.eclipse.org/legal/epl-v10.html</a>.
For purposes of the EPL, &quot;Program&quot; will mean the Content.</p>
<p>November 30, 2017</p>
<h3>License</h3>
<p>If you did not receive this Content directly from the Eclipse Foundation, the Content is
being redistributed by another party (&quot;Redistributor&quot;) and different terms and conditions may
apply to your use of any object code in the Content. Check the Redistributor's license that was
provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise
indicated below, the terms and conditions of the EPL still apply to any source code in the Content
and such source code may be obtained at <a href="http://www.eclipse.org">http://www.eclipse.org</a>.</p>
<p>
The Eclipse Foundation makes available all content in this plug-in
(&quot;Content&quot;). Unless otherwise indicated below, the Content
is provided to you under the terms and conditions of the Eclipse
Public License Version 2.0 (&quot;EPL&quot;). A copy of the EPL is
available at <a href="http://www.eclipse.org/legal/epl-2.0">http://www.eclipse.org/legal/epl-2.0</a>.
For purposes of the EPL, &quot;Program&quot; will mean the Content.
</p>
<p>
If you did not receive this Content directly from the Eclipse
Foundation, the Content is being redistributed by another party
(&quot;Redistributor&quot;) and different terms and conditions may
apply to your use of any object code in the Content. Check the
Redistributor's license that was provided with the Content. If no such
license exists, contact the Redistributor. Unless otherwise indicated
below, the terms and conditions of the EPL still apply to any source
code in the Content and such source code may be obtained at <a
href="http://www.eclipse.org/">http://www.eclipse.org</a>.
</p>
</body>
</html>
\ No newline at end of file
plugins/contracts/org.polarsys.chess.contracts.integration/build.properties
View file @ c515f59b
......@@ -2,9 +2,9 @@
#
# Copyright (c) 2013, 2015 Intecs SpA
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# are made available under the terms of the Eclipse Public License v2.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
# http://www.eclipse.org/legal/epl-v20.html
#
# Contributors:
# Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/plugin.xml
View file @ c515f59b
......@@ -4,9 +4,9 @@
Copyright (c) 2013, 2015 Intecs SpA
All rights reserved. This program and the accompanying materials
are made available under the terms of the Eclipse Public License v1.0
are made available under the terms of the Eclipse Public License v2.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/epl-v10.html
http://www.eclipse.org/legal/epl-v20.html
Contributors:
Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/Activator.java
View file @ c515f59b
......@@ -2,9 +2,9 @@
*
* Copyright (c) 2013, 2015 Intecs SpA
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
* http://www.eclipse.org/legal/epl-v20.html
*
* Contributors:
* Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/InputStreamer.java
View file @ c515f59b
......@@ -2,9 +2,9 @@
*
* Copyright (c) 2013, 2015 Intecs SpA
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
* http://www.eclipse.org/legal/epl-v20.html
*
* Contributors:
* Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/ToolIntegration.java
View file @ c515f59b
......@@ -2,9 +2,9 @@
*
* Copyright (c) 2013, 2015 Intecs SpA
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
* http://www.eclipse.org/legal/epl-v20.html
*
* Contributors:
* Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/OcraAnalysisPreferencePage.java
View file @ c515f59b
......@@ -2,9 +2,9 @@
*
* Copyright (c) 2013, 2015 Intecs SpA
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
* http://www.eclipse.org/legal/epl-v20.html
*
* Contributors:
* Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.integration/src/org/polarsys/chess/contracts/integration/preferences/XsapAnalysisPreferencePage.java
View file @ c515f59b
package org.polarsys.chess.contracts.integration.preferences;
import org.eclipse.jface.preference.DirectoryFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.polarsys.chess.contracts.integration.Activator;
public class XsapAnalysisPreferencePage extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage{
public static final String XSAP_PATH = "XSAP_PATH";
public XsapAnalysisPreferencePage() {
super(GRID);
}
@Override
protected void createFieldEditors() {
DirectoryFieldEditor xsapPathDirEditor = new DirectoryFieldEditor(XSAP_PATH, "xSAP scripts directory:",
getFieldEditorParent());
addField(xsapPathDirEditor);
}
@Override
public void init(IWorkbench workbench) {
setPreferenceStore(Activator.getDefault().getPreferenceStore());
setDescription("Preferences page for xSAP Analysis Tool");
}
}
/*******************************************************************************
* Copyright (C) 2020 Fondazione Bruno Kessler.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v20.html
******************************************************************************/
package org.polarsys.chess.contracts.integration.preferences;
import org.eclipse.jface.preference.DirectoryFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import org.polarsys.chess.contracts.integration.Activator;
public class XsapAnalysisPreferencePage extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage{
public static final String XSAP_PATH = "XSAP_PATH";
public XsapAnalysisPreferencePage() {
super(GRID);
}
@Override
protected void createFieldEditors() {
DirectoryFieldEditor xsapPathDirEditor = new DirectoryFieldEditor(XSAP_PATH, "xSAP scripts directory:",
getFieldEditorParent());
addField(xsapPathDirEditor);
}
@Override
public void init(IWorkbench workbench) {
setPreferenceStore(Activator.getDefault().getPreferenceStore());
setDescription("Preferences page for xSAP Analysis Tool");
}
}
plugins/contracts/org.polarsys.chess.contracts.profile/.classpath
View file @ c515f59b
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
<attributes>
<attribute name="module" value="true"/>
</attributes>
</classpathentry>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="bin"/>
</classpath>
plugins/contracts/org.polarsys.chess.contracts.profile/.settings/org.eclipse.jdt.core.prefs
View file @ c515f59b
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
org.eclipse.jdt.core.compiler.compliance=1.8
org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
org.eclipse.jdt.core.compiler.compliance=11
org.eclipse.jdt.core.compiler.debug.lineNumber=generate
org.eclipse.jdt.core.compiler.debug.localVariable=generate
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.source=1.8
org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
org.eclipse.jdt.core.compiler.release=disabled
org.eclipse.jdt.core.compiler.source=11
plugins/contracts/org.polarsys.chess.contracts.profile/META-INF/MANIFEST.MF
View file @ c515f59b
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: CHESS Contracts Profile (Incubation)
Bundle-Name: %pluginName
Bundle-SymbolicName: org.polarsys.chess.contracts.profile;singleton:=true
Automatic-Module-Name: org.polarsys.chess.contracts.profile
Bundle-Version: 1.0.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: Intecs
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-RequiredExecutionEnvironment: JavaSE-11
Export-Package: org.polarsys.chess.contracts.profile.chesscontract,
org.polarsys.chess.contracts.profile.chesscontract.DataTypes,
org.polarsys.chess.contracts.profile.chesscontract.DataTypes.impl,
org.polarsys.chess.contracts.profile.chesscontract.DataTypes.util,
org.polarsys.chess.contracts.profile.chesscontract.impl,
org.polarsys.chess.contracts.profile.chesscontract.util
Require-Bundle: org.eclipse.core.runtime,
......@@ -18,20 +18,36 @@ Require-Bundle: org.eclipse.core.runtime,
org.eclipse.papyrus.marte.static.profile;visibility:=reexport,
org.eclipse.emf.ecore.xmi;visibility:=reexport,
org.eclipse.uml2.uml.profile.standard;visibility:=reexport,
org.eclipse.papyrus.sysml;visibility:=reexport,
org.eclipse.uml2.types;visibility:=reexport,
org.eclipse.uml2.uml;visibility:=reexport,
org.eclipse.ui;bundle-version="3.7.0",
org.eclipse.papyrus.uml.diagram.common;bundle-version="1.0.0",
org.eclipse.papyrus.views.properties;bundle-version="2.0.0",
org.eclipse.papyrus.customization.properties;bundle-version="2.0.0",
org.eclipse.papyrus.uml.tools,
org.eclipse.papyrus.views.modelexplorer,
eu.fbk.eclipse.standardtools.utils,
org.polarsys.chess.chessmlprofile
org.polarsys.chess.chessmlprofile,
org.eclipse.core.resources,
org.eclipse.ui.ide,
org.eclipse.papyrus.uml.tools.utils,
org.eclipse.papyrus.sysml16;bundle-version="2.0.0";visibility:=reexport,
org.eclipse.papyrus.infra.widgets,
org.eclipse.emf.edit,
org.eclipse.papyrus.infra.core.sasheditor,
org.eclipse.ui.navigator,
org.eclipse.papyrus.infra.core,
org.eclipse.ui.views.properties.tabbed,
org.eclipse.papyrus.infra.types.core;bundle-version="5.1.0",
org.eclipse.papyrus.infra.types;bundle-version="5.0.0",
org.eclipse.papyrus.uml.types.core;bundle-version="5.0.0",
org.eclipse.papyrus.infra.architecture;bundle-version="3.0.0",
org.eclipse.papyrus.sysml16.architecture;bundle-version="2.0.0",
org.eclipse.papyrus.uml.diagram.clazz;bundle-version="4.1.0",
org.eclipse.papyrus.uml.service.types;bundle-version="5.1.0",
org.eclipse.papyrus.sysml16.diagram.common;bundle-version="2.0.0",
org.eclipse.papyrus.uml.diagram.composite;bundle-version="4.1.0"
Bundle-ActivationPolicy: lazy
Import-Package: org.apache.log4j;version="1.2.15",
org.eclipse.papyrus.sysml.service.types.element,
org.eclipse.papyrus.uml.service.types.utils,
org.eclipse.papyrus.views.modelexplorer,
org.polarsys.chess.core.util.uml
plugins/contracts/org.polarsys.chess.contracts.profile/about.html
View file @ c515f59b
......@@ -2,27 +2,35 @@
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"/>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<title>About</title>
</head>
<body lang="EN-US">
<h2>About This Content</h2>
<p>November 14, 2008</p>
<h3>License</h3>
<h2>About This Content</h2>
<p>The Eclipse Foundation makes available all content in this plug-in (&quot;Content&quot;). Unless otherwise
indicated below, the Content is provided to you under the terms and conditions of the
Eclipse Public License Version 1.0 (&quot;EPL&quot;). A copy of the EPL is available
at <a href="http://www.eclipse.org/legal/epl-v10.html">http://www.eclipse.org/legal/epl-v10.html</a>.
For purposes of the EPL, &quot;Program&quot; will mean the Content.</p>
<p>November 30, 2017</p>
<h3>License</h3>
<p>If you did not receive this Content directly from the Eclipse Foundation, the Content is
being redistributed by another party (&quot;Redistributor&quot;) and different terms and conditions may
apply to your use of any object code in the Content. Check the Redistributor's license that was
provided with the Content. If no such license exists, contact the Redistributor. Unless otherwise
indicated below, the terms and conditions of the EPL still apply to any source code in the Content
and such source code may be obtained at <a href="http://www.eclipse.org">http://www.eclipse.org</a>.</p>
<p>
The Eclipse Foundation makes available all content in this plug-in
(&quot;Content&quot;). Unless otherwise indicated below, the Content
is provided to you under the terms and conditions of the Eclipse
Public License Version 2.0 (&quot;EPL&quot;). A copy of the EPL is
available at <a href="http://www.eclipse.org/legal/epl-2.0">http://www.eclipse.org/legal/epl-2.0</a>.
For purposes of the EPL, &quot;Program&quot; will mean the Content.
</p>
<p>
If you did not receive this Content directly from the Eclipse
Foundation, the Content is being redistributed by another party
(&quot;Redistributor&quot;) and different terms and conditions may
apply to your use of any object code in the Content. Check the
Redistributor's license that was provided with the Content. If no such
license exists, contact the Redistributor. Unless otherwise indicated
below, the terms and conditions of the EPL still apply to any source
code in the Content and such source code may be obtained at <a
href="http://www.eclipse.org/">http://www.eclipse.org</a>.
</p>
</body>
</html>
\ No newline at end of file
plugins/contracts/org.polarsys.chess.contracts.profile/build.properties
View file @ c515f59b
......@@ -2,9 +2,9 @@
#
# Copyright (c) 2013, 2015 Intecs SpA
# All rights reserved. This program and the accompanying materials
# are made available under the terms of the Eclipse Public License v1.0
# are made available under the terms of the Eclipse Public License v2.0
# which accompanies this distribution, and is available at
# http://www.eclipse.org/legal/epl-v10.html
# http://www.eclipse.org/legal/epl-v20.html
#
# Contributors:
# Nicholas Pacini nicholas.pacini@intecs.it
......
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.di
View file @ c515f59b
<?xml version="1.0" encoding="UTF-8"?>
<di:SashWindowsMngr xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi">
<pageList>
<availablePage>
<emfPageIdentifier href="CHESSContract.profile.notation#_HnCOkNDVEeG5E52m3d5H1g"/>
</availablePage>
<availablePage/>
<availablePage>
<emfPageIdentifier href="CHESSContract.profile.notation#_Z93CoNDaEeG5E52m3d5H1g"/>
</availablePage>
</pageList>
<sashModel currentSelection="//@sashModel/@windows.0/@children.0">
<windows>
<children xsi:type="di:TabFolder">
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_HnCOkNDVEeG5E52m3d5H1g"/>
</children>
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_Z93CoNDaEeG5E52m3d5H1g"/>
</children>
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_38J34G4SEeeSVLWy6DYUDQ"/>
</children>
</children>
</windows>
</sashModel>
</di:SashWindowsMngr>
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:architecture="http://www.eclipse.org/papyrus/infra/core/architecture" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi">
<di:SashWindowsMngr>
<pageList>
<availablePage>
<emfPageIdentifier href="CHESSContract.profile.notation#_HnCOkNDVEeG5E52m3d5H1g"/>
</availablePage>
<availablePage/>
<availablePage>
<emfPageIdentifier href="CHESSContract.profile.notation#_Z93CoNDaEeG5E52m3d5H1g"/>
</availablePage>
</pageList>
<sashModel currentSelection="/0/@sashModel/@windows.0/@children.0">
<windows>
<children xsi:type="di:TabFolder">
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_HnCOkNDVEeG5E52m3d5H1g"/>
</children>
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_Z93CoNDaEeG5E52m3d5H1g"/>
</children>
<children>
<emfPageIdentifier href="CHESSContract.profile.notation#_38J34G4SEeeSVLWy6DYUDQ"/>
</children>
</children>
</windows>
</sashModel>
</di:SashWindowsMngr>
<architecture:ArchitectureDescription contextId="org.eclipse.papyrus.uml.architecture.Profile"/>
</xmi:XMI>
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.genmodel
View file @ c515f59b
......@@ -3,32 +3,32 @@
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/uml2/2.2.0/GenModel"
modelDirectory="/org.polarsys.chess.contracts.profile/src" modelPluginID="org.polarsys.chess.contracts.profile"
modelName="CHESSContract" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
importerID="org.eclipse.uml2.uml.ecore.importer" complianceLevel="6.0" copyrightFields="false"
usedGenPackages="../../org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore ../../org.eclipse.papyrus.marte.static.profile/resources/MARTE.genmodel#//MARTE ../../org.eclipse.papyrus.marte.static.profile/resources/MARTE.genmodel#//MARTE_Library ../../org.eclipse.uml2.uml.profile.standard/model/Standard.genmodel#//standard ../../org.eclipse.papyrus.sysml/model/SysML.profile.genmodel#//sysml platform:/plugin/org.eclipse.uml2.types/model/Types.genmodel#//types platform:/plugin/org.eclipse.uml2.uml/model/UML.genmodel#//uml"
importerID="org.eclipse.uml2.uml.ecore.importer" complianceLevel="8.0" copyrightFields="false"
usedGenPackages="../../org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore ../../org.eclipse.papyrus.marte.static.profile/resources/MARTE.genmodel#//MARTE ../../org.eclipse.papyrus.marte.static.profile/resources/MARTE.genmodel#//MARTE_Library ../../org.eclipse.uml2.uml.profile.standard/model/Standard.genmodel#//standard ../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.genmodel#//sysml platform:/plugin/org.eclipse.uml2.types/model/Types.genmodel#//types platform:/plugin/org.eclipse.uml2.uml/model/UML.genmodel#//uml"
operationReflection="true" importOrganizing="true">
<genAnnotations source="http://www.eclipse.org/emf/2002/GenModel/importer/org.eclipse.uml2.uml.ecore.importer">
<details key="ECORE_TAGGED_VALUES" value="PROCESS"/>
<details key="UNION_PROPERTIES" value="REPORT"/>
<details key="UNTYPED_PROPERTIES" value="REPORT"/>
<details key="DUPLICATE_FEATURES" value="DISCARD"/>
<details key="SUBSETTING_PROPERTIES" value="REPORT"/>
<details key="VALIDATION_DELEGATES" value="IGNORE"/>
<details key="OPPOSITE_ROLE_NAMES" value="IGNORE"/>
<details key="COMMENTS" value="PROCESS"/>
<details key="DUPLICATE_FEATURE_INHERITANCE" value="DISCARD"/>
<details key="DUPLICATE_OPERATIONS" value="DISCARD"/>
<details key="PROPERTY_DEFAULT_EXPRESSIONS" value="IGNORE"/>
<details key="INVARIANT_CONSTRAINTS" value="PROCESS"/>
<details key="REDEFINING_PROPERTIES" value="REPORT"/>
<details key="DUPLICATE_FEATURES" value="DISCARD"/>
<details key="ANNOTATION_DETAILS" value="PROCESS"/>
<details key="NON_API_INVARIANTS" value="IGNORE"/>
<details key="PROPERTY_DEFAULT_EXPRESSIONS" value="IGNORE"/>
<details key="DUPLICATE_FEATURE_INHERITANCE" value="DISCARD"/>
<details key="COMMENTS" value="PROCESS"/>
<details key="DERIVED_FEATURES" value="PROCESS"/>
<details key="SUPER_CLASS_ORDER" value="PROCESS"/>
<details key="DUPLICATE_OPERATION_INHERITANCE" value="DISCARD"/>
<details key="REDEFINING_OPERATIONS" value="REPORT"/>
<details key="INVOCATION_DELEGATES" value="IGNORE"/>
<details key="DERIVED_FEATURES" value="PROCESS"/>
<details key="OPERATION_BODIES" value="IGNORE"/>
<details key="INVARIANT_CONSTRAINTS" value="PROCESS"/>
<details key="UNION_PROPERTIES" value="REPORT"/>
<details key="DUPLICATE_OPERATIONS" value="DISCARD"/>
<details key="NON_API_INVARIANTS" value="IGNORE"/>
<details key="CAMEL_CASE_NAMES" value="IGNORE"/>
<details key="SUPER_CLASS_ORDER" value="PROCESS"/>
<details key="SUBSETTING_PROPERTIES" value="REPORT"/>
<details key="OPERATION_BODIES" value="IGNORE"/>
<details key="ECORE_TAGGED_VALUES" value="PROCESS"/>
<details key="UNTYPED_PROPERTIES" value="REPORT"/>
<details key="REDEFINING_PROPERTIES" value="REPORT"/>
<details key="INVOCATION_DELEGATES" value="IGNORE"/>
<details key="VALIDATION_DELEGATES" value="IGNORE"/>
</genAnnotations>
<foreignModel>CHESSContract.profile.uml</foreignModel>
<genPackages xsi:type="genmodel:GenPackage" prefix="CHESSContract" basePackage="org.polarsys.chess.contracts.profile"
......@@ -45,9 +45,9 @@
<genFeatures xsi:type="genmodel:GenFeature" notify="false" createChild="false"
propertySortChoices="true" ecoreFeature="ecore:EReference chesscontract.ecore#//ContractProperty/RefinedBy"/>
<genFeatures xsi:type="genmodel:GenFeature" createChild="false" ecoreFeature="ecore:EAttribute chesscontract.ecore#//ContractProperty/ContractType"/>
<genFeatures xsi:type="genmodel:GenFeature" notify="false" createChild="false"
propertySortChoices="true" ecoreFeature="ecore:EReference chesscontract.ecore#//ContractProperty/base_Slot"/>
<genFeatures xsi:type="genmodel:GenFeature" createChild="false" ecoreFeature="ecore:EAttribute chesscontract.ecore#//ContractProperty/status"/>
<genFeatures xsi:type="genmodel:GenFeature" notify="false" createChild="false"
propertySortChoices="true" ecoreFeature="ecore:EReference chesscontract.ecore#//ContractProperty/base_Property"/>
</genClasses>
<genClasses xsi:type="genmodel:GenClass" ecoreClass="chesscontract.ecore#//ContractRefinement">
<genFeatures xsi:type="genmodel:GenFeature" notify="false" createChild="false"
......@@ -164,10 +164,8 @@
<genEnumLiterals xsi:type="genmodel:GenEnumLiteral" ecoreEnumLiteral="chesscontract.ecore#//DataTypes/ContractTypes/Strong"/>
<genEnumLiterals xsi:type="genmodel:GenEnumLiteral" ecoreEnumLiteral="chesscontract.ecore#//DataTypes/ContractTypes/Weak"/>
</genEnums>
<genClasses xsi:type="genmodel:GenClass" ecoreClass="chesscontract.ecore#//DataTypes/OthelloConstraint">
<genFeatures xsi:type="genmodel:GenFeature" createChild="false" ecoreFeature="ecore:EAttribute chesscontract.ecore#//DataTypes/OthelloConstraint/Expression"/>
</genClasses>
<genClasses xsi:type="genmodel:GenClass" ecoreClass="chesscontract.ecore#//DataTypes/Continuous"/>
<genDataTypes xsi:type="genmodel:GenDataType" ecoreDataType="chesscontract.ecore#//DataTypes/OthelloConstraint"/>
<genDataTypes xsi:type="genmodel:GenDataType" ecoreDataType="chesscontract.ecore#//DataTypes/Continuous"/>
</nestedGenPackages>
</genPackages>
</genmodel:GenModel>
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.notation
View file @ c515f59b
<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/papyrus/infra/viewpoints/policy/style" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML">
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.3/notation" xmlns:style="http://www.eclipse.org/papyrus/infra/gmfdiag/style" xmlns:style_1="http://www.eclipse.org/papyrus/infra/viewpoints/policy/style" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML">
<notation:Diagram xmi:id="_HnCOkNDVEeG5E52m3d5H1g" type="PapyrusUMLProfileDiagram" name="ContractProfile" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="_TlEJANDkEeG5E52m3d5H1g" type="Stereotype_Shape" fontName="Segoe UI" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_TlEJAtDkEeG5E52m3d5H1g" source="ShadowFigure">
......@@ -65,32 +65,6 @@
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_BEqvMOFnEeGHGvj-SeegrA" x="491" y="176"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_fKEHIOIEEeGAI6rR7jLcjw" type="Stereotype_Shape" fontName="Segoe UI" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_fKFVQOIEEeGAI6rR7jLcjw" source="ShadowFigure">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_fKFVQeIEEeGAI6rR7jLcjw" key="ShadowFigure_Value" value="false"/>
</eAnnotations>
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_fKFVQuIEEeGAI6rR7jLcjw" source="displayNameLabelIcon">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_fKFVQ-IEEeGAI6rR7jLcjw" key="displayNameLabelIcon_value" value="false"/>
</eAnnotations>
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_fKFVROIEEeGAI6rR7jLcjw" source="QualifiedName">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_fKF8UOIEEeGAI6rR7jLcjw" key="QualifiedNameDepth" value="1000"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_fKF8UeIEEeGAI6rR7jLcjw" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_fKF8UuIEEeGAI6rR7jLcjw" type="Stereotype_AttributeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_fKF8U-IEEeGAI6rR7jLcjw"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_fKF8VOIEEeGAI6rR7jLcjw"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_fKF8VeIEEeGAI6rR7jLcjw"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_fKF8VuIEEeGAI6rR7jLcjw"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="_fKF8V-IEEeGAI6rR7jLcjw" visible="false" type="Stereotype_OperationCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_fKF8WOIEEeGAI6rR7jLcjw"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_fKF8WeIEEeGAI6rR7jLcjw"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_fKF8WuIEEeGAI6rR7jLcjw"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_fKF8W-IEEeGAI6rR7jLcjw"/>
</children>
<element xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_YDK7cLVFEdu2ieF4ON8UjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_fKEHIeIEEeGAI6rR7jLcjw" x="79" y="-11" width="151" height="79"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_SsFFAOIbEeGAI6rR7jLcjw" type="Stereotype_Shape" fontName="Segoe UI" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_SsFFAuIbEeGAI6rR7jLcjw" source="ShadowFigure">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_SsFsEOIbEeGAI6rR7jLcjw" key="ShadowFigure_Value" value="false"/>
......@@ -125,32 +99,6 @@
<element xmi:type="uml:Stereotype" href="CHESSContract.profile.uml#_Srt4oOIbEeGAI6rR7jLcjw"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_SsFFAeIbEeGAI6rR7jLcjw" x="396" y="267" width="207" height="87"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_wGAvICzoEeKQef6wX-6K3g" type="Stereotype_Shape" fontName="Segoe UI" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wGB9QCzoEeKQef6wX-6K3g" source="ShadowFigure">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_wGB9QSzoEeKQef6wX-6K3g" key="ShadowFigure_Value" value="false"/>
</eAnnotations>
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wGB9QizoEeKQef6wX-6K3g" source="displayNameLabelIcon">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_wGB9QyzoEeKQef6wX-6K3g" key="displayNameLabelIcon_value" value="false"/>
</eAnnotations>
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wGCkUCzoEeKQef6wX-6K3g" source="QualifiedName">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_wGCkUSzoEeKQef6wX-6K3g" key="QualifiedNameDepth" value="1000"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_wGCkUizoEeKQef6wX-6K3g" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_wGCkUyzoEeKQef6wX-6K3g" type="Stereotype_AttributeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_wGCkVCzoEeKQef6wX-6K3g"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_wGCkVSzoEeKQef6wX-6K3g"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_wGCkVizoEeKQef6wX-6K3g"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_wGCkVyzoEeKQef6wX-6K3g"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="_wGCkWCzoEeKQef6wX-6K3g" visible="false" type="Stereotype_OperationCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_wGCkWSzoEeKQef6wX-6K3g"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_wGCkWizoEeKQef6wX-6K3g"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_wGCkWyzoEeKQef6wX-6K3g"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_wGCkXCzoEeKQef6wX-6K3g"/>
</children>
<element xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_Y9X54LVFEdu2ieF4ON8UjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_wGAvISzoEeKQef6wX-6K3g" x="38" y="388" width="136"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_yF0qwCzoEeKQef6wX-6K3g" type="Stereotype_Shape" fontName="Segoe UI" lineColor="0">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yF0qwizoEeKQef6wX-6K3g" source="ShadowFigure">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_yF1R0CzoEeKQef6wX-6K3g" key="ShadowFigure_Value" value="false"/>
......@@ -306,38 +254,6 @@
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_iDfoYacmEeaNpeTYMa4W5g" x="391" y="-33"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_QPMOkNghEeaBLJkdu7umhg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_QPMOkdghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QPM1oNghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QPMOktghEeaBLJkdu7umhg" x="200" y="100"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_QPOq19ghEeaBLJkdu7umhg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_QPOq2NghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QPPR4NghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QPOq2dghEeaBLJkdu7umhg" x="200" y="100"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_QiHxoNghEeaBLJkdu7umhg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_QiHxodghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QiHxo9ghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QiHxotghEeaBLJkdu7umhg" x="691" y="176"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_QjUEcNghEeaBLJkdu7umhg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_QjUEcdghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QjUEc9ghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#DataType"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjUEctghEeaBLJkdu7umhg" x="885" y="410"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_B-Y4AG32EeeSVLWy6DYUDQ" type="Stereotype_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_B-mTYG32EeeSVLWy6DYUDQ" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_B-mTYW32EeeSVLWy6DYUDQ" type="Stereotype_AttributeCompartment">
......@@ -386,26 +302,6 @@
<element xmi:type="uml:Comment" href="CHESSContract.profile.uml#_gZZKcG4NEeeSVLWy6DYUDQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_gZbmsW4NEeeSVLWy6DYUDQ" x="16" y="703" width="203" height="101"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_txBoAG4PEeeSVLWy6DYUDQ" type="Class_MetaclassShape">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_txBoBG4PEeeSVLWy6DYUDQ" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_txBoBW4PEeeSVLWy6DYUDQ" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_txBoBm4PEeeSVLWy6DYUDQ" key="StereotypeList" value="StandardProfile::Metaclass"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_txBoB24PEeeSVLWy6DYUDQ" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_txBoCG4PEeeSVLWy6DYUDQ" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_txBoCW4PEeeSVLWy6DYUDQ" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_txBoAm4PEeeSVLWy6DYUDQ" type="Class_MetaclassNameLabel"/>
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_txBoA24PEeeSVLWy6DYUDQ" x="226" y="392" width="119" height="70"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_tyV2o24PEeeSVLWy6DYUDQ" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_tyV2pG4PEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_tyV2pm4PEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_tyV2pW4PEeeSVLWy6DYUDQ" x="457" y="478"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_1-whoW4TEeeSVLWy6DYUDQ" type="Comment_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_1-who24TEeeSVLWy6DYUDQ" type="Comment_BodyLabel"/>
<element xmi:type="uml:Comment" href="CHESSContract.profile.uml#_1-whoG4TEeeSVLWy6DYUDQ"/>
......@@ -417,44 +313,118 @@
<layoutConstraint xmi:type="notation:Bounds" xmi:id="__k25MW4TEeeSVLWy6DYUDQ" x="396" y="383" width="154"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_7-dvYG4VEeeSVLWy6DYUDQ" type="Class_MetaclassShape">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_7-dvZG4VEeeSVLWy6DYUDQ" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7-dvZW4VEeeSVLWy6DYUDQ" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7-dvZm4VEeeSVLWy6DYUDQ" key="StereotypeList" value="StandardProfile::Metaclass"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7-dvZ24VEeeSVLWy6DYUDQ" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7-dvaG4VEeeSVLWy6DYUDQ" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7-dvaW4VEeeSVLWy6DYUDQ" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_7-dvYm4VEeeSVLWy6DYUDQ" type="Class_MetaclassNameLabel"/>
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_7-dvY24VEeeSVLWy6DYUDQ" x="430" y="515"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_7-ngam4VEeeSVLWy6DYUDQ" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_7-nga24VEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_7-ngbW4VEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_7-ngbG4VEeeSVLWy6DYUDQ" x="639" y="585"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_Nk8kQG4eEeeSVLWy6DYUDQ" type="Comment_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_Nk8kQm4eEeeSVLWy6DYUDQ" type="Comment_BodyLabel"/>
<element xmi:type="uml:Comment" href="CHESSContract.profile.uml#_NkyzQG4eEeeSVLWy6DYUDQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nk8kQW4eEeeSVLWy6DYUDQ" x="645" y="732" width="246"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_BXZ5gKnoEeyLSfdLzsFShA" type="Stereotype_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_BXZ5gqnoEeyLSfdLzsFShA" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_BXagkKnoEeyLSfdLzsFShA" type="Stereotype_AttributeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_BXagkanoEeyLSfdLzsFShA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_BXagkqnoEeyLSfdLzsFShA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_BXagk6noEeyLSfdLzsFShA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_BXaglKnoEeyLSfdLzsFShA"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="_BXaglanoEeyLSfdLzsFShA" type="Stereotype_OperationCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_BXaglqnoEeyLSfdLzsFShA"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_BXagl6noEeyLSfdLzsFShA"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_BXagmKnoEeyLSfdLzsFShA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_BXagmanoEeyLSfdLzsFShA"/>
</children>
<element xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ConstraintBlocks.stereotype_packagedElement_ConstraintBlock"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_BXZ5ganoEeyLSfdLzsFShA" x="160"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_NLo1MKnrEeyLSfdLzsFShA" type="Class_MetaclassShape">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_NLpcQqnrEeyLSfdLzsFShA" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_NLpcQ6nrEeyLSfdLzsFShA" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_NLpcRKnrEeyLSfdLzsFShA" key="StereotypeList" value="StandardProfile::Metaclass"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_NLpcRanrEeyLSfdLzsFShA" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_NLpcRqnrEeyLSfdLzsFShA" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_NLpcR6nrEeyLSfdLzsFShA" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_NLpcQKnrEeyLSfdLzsFShA" type="Class_MetaclassNameLabel"/>
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_NLpcQanrEeyLSfdLzsFShA" x="40" y="380"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_aypoULS-Eeylk4jmLKUg5A" type="Class_MetaclassShape">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ayq2cLS-Eeylk4jmLKUg5A" source="Stereotype_Annotation">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ayq2cbS-Eeylk4jmLKUg5A" key="StereotypeWithQualifiedNameList" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ayq2crS-Eeylk4jmLKUg5A" key="StereotypeList" value="StandardProfile::Metaclass"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ayq2c7S-Eeylk4jmLKUg5A" key="Stereotype_Presentation_Kind" value="HorizontalStereo"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ayq2dLS-Eeylk4jmLKUg5A" key="PropStereoDisplay" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ayq2dbS-Eeylk4jmLKUg5A" key="StereotypePropertyLocation" value="Compartment"/>
</eAnnotations>
<children xmi:type="notation:DecorationNode" xmi:id="_ayqPYLS-Eeylk4jmLKUg5A" type="Class_MetaclassNameLabel"/>
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_ayqPYbS-Eeylk4jmLKUg5A" x="253" y="485"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T7kssLTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T7kssbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T7kss7THEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T7kssrTHEeyacIRR9Njbsg" x="691" y="176"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T8OM8LTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T8OM8bTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T8O0ALTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#DataType"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T8OM8rTHEeyacIRR9Njbsg" x="1051" y="135"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T8qR0LTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T8qR0bTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T8q44LTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T8qR0rTHEeyacIRR9Njbsg" x="576" y="43"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T9A3ILTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T9A3IbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T9A3I7THEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T9A3IrTHEeyacIRR9Njbsg" x="591" y="-33"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T9eKILTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T9eKIbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T9eKI7THEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T9eKIrTHEeyacIRR9Njbsg" x="630" y="515"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T9zhULTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T9zhUbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T90IYLTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T9zhUrTHEeyacIRR9Njbsg" x="240" y="380"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_T-BjwLTHEeyacIRR9Njbsg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_T-BjwbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T-Bjw7THEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_T-BjwrTHEeyacIRR9Njbsg" x="453" y="485"/>
</children>
<styles xmi:type="notation:DiagramStyle" xmi:id="_HnCOkdDVEeG5E52m3d5H1g"/>
<styles xmi:type="notation:StringValueStyle" xmi:id="_QPXNsNghEeaBLJkdu7umhg" name="diagram_compatibility_version" stringValue="1.2.0"/>
<styles xmi:type="notation:StringValueStyle" xmi:id="_QPXNsNghEeaBLJkdu7umhg" name="diagram_compatibility_version" stringValue="1.4.0"/>
<styles xmi:type="style:PapyrusDiagramStyle" xmi:id="_afqM0KnnEeyLSfdLzsFShA" diagramKindId="org.eclipse.papyrus.uml.diagram.profile">
<owner xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
</styles>
<element xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
<edges xmi:type="notation:Connector" xmi:id="_hAFNkOIEEeGAI6rR7jLcjw" type="Generalization_Edge" source="_TlEJANDkEeG5E52m3d5H1g" target="_fKEHIOIEEeGAI6rR7jLcjw" lineColor="0">
<children xmi:type="notation:DecorationNode" xmi:id="_hAGbsOIEEeGAI6rR7jLcjw" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_wp4y4G4MEeeSVLWy6DYUDQ" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_hAGbseIEEeGAI6rR7jLcjw" x="-1" y="58"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_hAFNkeIEEeGAI6rR7jLcjw" fontName="Segoe UI"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_g_taIOIEEeGAI6rR7jLcjw"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_hAFNkuIEEeGAI6rR7jLcjw" points="[-132, -7, 201, 10]$[-257, -14, 76, 3]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_wqvugG4MEeeSVLWy6DYUDQ" id="(0.5132075471698113,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CbRpEPBKEeGs-bwMV1MRNg" id="(0.6158940397350994,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_UzyYYOIbEeGAI6rR7jLcjw" type="Extension_Edge" source="_SsFFAOIbEeGAI6rR7jLcjw" target="_BEphEOFnEeGHGvj-SeegrA" lineColor="0">
<styles xmi:type="notation:FontStyle" xmi:id="_UzyYYeIbEeGAI6rR7jLcjw" fontName="Segoe UI"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_UzePUeIbEeGAI6rR7jLcjw"/>
......@@ -462,17 +432,6 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_U0EsQOIbEeGAI6rR7jLcjw" id="(0.45410628019323673,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ASMsEI5EeSWCts2w9ZXDw" id="(0.27,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_6LzTYCzoEeKQef6wX-6K3g" type="Generalization_Edge" source="_yF0qwCzoEeKQef6wX-6K3g" target="_wGAvICzoEeKQef6wX-6K3g" lineColor="0">
<children xmi:type="notation:DecorationNode" xmi:id="_6Lz6cCzoEeKQef6wX-6K3g" visible="false" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_lo_b0G4NEeeSVLWy6DYUDQ" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_6Lz6cSzoEeKQef6wX-6K3g" x="-1" y="58"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_6LzTYSzoEeKQef6wX-6K3g" fontName="Segoe UI"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_6KPNICzoEeKQef6wX-6K3g"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_6LzTYizoEeKQef6wX-6K3g" points="[-3, 0, 76, -10]$[-53, 28, 26, 18]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6M3qYCzoEeKQef6wX-6K3g" id="(0.4612546125461255,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6M3qYSzoEeKQef6wX-6K3g" id="(0.5955882352941176,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_DS9EwC8QEeKMDoUhp0Nj3g" type="Extension_Edge" source="_7BlEcC8PEeKMDoUhp0Nj3g" target="_BEphEOFnEeGHGvj-SeegrA" lineColor="0">
<styles xmi:type="notation:FontStyle" xmi:id="_DS9EwS8QEeKMDoUhp0Nj3g" fontName="Segoe UI"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_DS4zUC8QEeKMDoUhp0Nj3g"/>
......@@ -500,46 +459,6 @@
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_jdRewqcmEeaNpeTYMa4W5g" points="[-45, -23, 97, 34]$[-86, -63, 56, -6]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_jdW-UKcmEeaNpeTYMa4W5g" id="(0.17624521072796934,0.22330097087378642)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_QPM1odghEeaBLJkdu7umhg" type="StereotypeCommentLink" source="_4X_doEI5EeSWCts2w9ZXDw" target="_QPMOkNghEeaBLJkdu7umhg">
<styles xmi:type="notation:FontStyle" xmi:id="_QPM1otghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QPNcstghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QPM1o9ghEeaBLJkdu7umhg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QPNcsNghEeaBLJkdu7umhg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QPNcsdghEeaBLJkdu7umhg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_QPPR4dghEeaBLJkdu7umhg" type="StereotypeCommentLink" source="_iDeaQKcmEeaNpeTYMa4W5g" target="_QPOq19ghEeaBLJkdu7umhg">
<styles xmi:type="notation:FontStyle" xmi:id="_QPPR4tghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QPPR5tghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QPPR49ghEeaBLJkdu7umhg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QPPR5NghEeaBLJkdu7umhg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QPPR5dghEeaBLJkdu7umhg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_QiHxpNghEeaBLJkdu7umhg" type="StereotypeCommentLink" source="_BEphEOFnEeGHGvj-SeegrA" target="_QiHxoNghEeaBLJkdu7umhg">
<styles xmi:type="notation:FontStyle" xmi:id="_QiHxpdghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QiHxqdghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QiHxptghEeaBLJkdu7umhg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QiHxp9ghEeaBLJkdu7umhg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QiHxqNghEeaBLJkdu7umhg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_QjUEdNghEeaBLJkdu7umhg" type="StereotypeCommentLink" source="_DSfQAKA1EeKdpNE52fDl9w" target="_QjUEcNghEeaBLJkdu7umhg">
<styles xmi:type="notation:FontStyle" xmi:id="_QjUEddghEeaBLJkdu7umhg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_QjUrgNghEeaBLJkdu7umhg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#DataType"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjUEdtghEeaBLJkdu7umhg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjUEd9ghEeaBLJkdu7umhg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjUEeNghEeaBLJkdu7umhg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_z4ggcG4LEeeSVLWy6DYUDQ" type="Comment_AnnotatedElementEdge" source="_RvmhcG4LEeeSVLWy6DYUDQ" target="_8chDAEI5EeSWCts2w9ZXDw">
<styles xmi:type="notation:FontStyle" xmi:id="_z4ggcW4LEeeSVLWy6DYUDQ"/>
<element xsi:nil="true"/>
......@@ -554,23 +473,6 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_j-1nIG4NEeeSVLWy6DYUDQ" id="(0.12698412698412698,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_j-1nIW4NEeeSVLWy6DYUDQ" id="(0.055350553505535055,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_tyV2p24PEeeSVLWy6DYUDQ" type="StereotypeCommentLink" source="_txBoAG4PEeeSVLWy6DYUDQ" target="_tyV2o24PEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_tyV2qG4PEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_tyV2rG4PEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_tyV2qW4PEeeSVLWy6DYUDQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tyV2qm4PEeeSVLWy6DYUDQ"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tyV2q24PEeeSVLWy6DYUDQ"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_vSXe8G4PEeeSVLWy6DYUDQ" type="Extension_Edge" source="_yF0qwCzoEeKQef6wX-6K3g" target="_txBoAG4PEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_vSXe8W4PEeeSVLWy6DYUDQ"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_vRtXoG4PEeeSVLWy6DYUDQ"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_vSXe8m4PEeeSVLWy6DYUDQ" points="[236, 545, -643984, -643984]$[277, 466, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_vTVIQG4PEeeSVLWy6DYUDQ" id="(0.7601476014760148,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_vTVIQW4PEeeSVLWy6DYUDQ" id="(0.226890756302521,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_8TOwYG4TEeeSVLWy6DYUDQ" type="Comment_AnnotatedElementEdge" source="_1-whoW4TEeeSVLWy6DYUDQ" target="_EX8cMKA1EeKdpNE52fDl9w">
<styles xmi:type="notation:FontStyle" xmi:id="_8TOwYW4TEeeSVLWy6DYUDQ"/>
<element xsi:nil="true"/>
......@@ -585,16 +487,6 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EkwhsG4UEeeSVLWy6DYUDQ" id="(0.2012987012987013,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EkwhsW4UEeeSVLWy6DYUDQ" id="(0.21739130434782608,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_7-ngbm4VEeeSVLWy6DYUDQ" type="StereotypeCommentLink" source="_7-dvYG4VEeeSVLWy6DYUDQ" target="_7-ngam4VEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_7-ngb24VEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_7-ngc24VEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_7-ngcG4VEeeSVLWy6DYUDQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_7-ngcW4VEeeSVLWy6DYUDQ"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_7-ngcm4VEeeSVLWy6DYUDQ"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_ivJRIG4eEeeSVLWy6DYUDQ" type="Comment_AnnotatedElementEdge" source="_Nk8kQG4eEeeSVLWy6DYUDQ" target="_B-Y4AG32EeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_ivJRIW4eEeeSVLWy6DYUDQ"/>
<element xsi:nil="true"/>
......@@ -612,6 +504,174 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l83hQHBWEeenPt7H06ARrA" id="(0.6607142857142857,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_l83hQXBWEeenPt7H06ARrA" id="(0.6732673267326733,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_CQEm4KnoEeyLSfdLzsFShA" type="Generalization_Edge" source="_TlEJANDkEeG5E52m3d5H1g" target="_BXZ5gKnoEeyLSfdLzsFShA">
<children xmi:type="notation:DecorationNode" xmi:id="_CQFN8KnoEeyLSfdLzsFShA" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_DBjuMKnoEeyLSfdLzsFShA" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_CQFN8anoEeyLSfdLzsFShA" x="1" y="58"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_CQEm4anoEeyLSfdLzsFShA"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_CPRVoKnoEeyLSfdLzsFShA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_CQEm4qnoEeyLSfdLzsFShA" points="[220, 159, -643984, -643984]$[313, 60, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CSK4oKnoEeyLSfdLzsFShA" id="(0.7018867924528301,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CSK4oanoEeyLSfdLzsFShA" id="(0.0,0.2)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-37sULG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_BEphEOFnEeGHGvj-SeegrA">
<styles xmi:type="notation:FontStyle" xmi:id="_-37sUbG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-38TYrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-37sUrG8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-38TYLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-38TYbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-4iJQbG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_DSfQAKA1EeKdpNE52fDl9w">
<styles xmi:type="notation:FontStyle" xmi:id="_-4iJQrG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-4iJRrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#DataType"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-4iJQ7G8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-4iJRLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-4iJRbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-5BRcbG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_4X_doEI5EeSWCts2w9ZXDw">
<styles xmi:type="notation:FontStyle" xmi:id="_-5BRcrG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-5BRdrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-5BRc7G8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-5BRdLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-5BRdbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-5a6EbG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_iDeaQKcmEeaNpeTYMa4W5g">
<styles xmi:type="notation:FontStyle" xmi:id="_-5a6ErG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-5a6FrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-5a6E7G8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-5a6FLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-5a6FbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-6JS1LG8Eeyt37QbaazOjg" type="StereotypeCommentLink">
<styles xmi:type="notation:FontStyle" xmi:id="_-6JS1bG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-6J54rG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-6JS1rG8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6J54LG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6J54bG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-6f4JLG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_7-dvYG4VEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_-6f4JbG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-6f4KbG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-6f4JrG8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6f4J7G8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6f4KLG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-69yNLG8Eeyt37QbaazOjg" type="StereotypeCommentLink">
<styles xmi:type="notation:FontStyle" xmi:id="_-69yNbG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-6-ZQrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-69yNrG8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6-ZQLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-6-ZQbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_-7R7QbG8Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_NLo1MKnrEeyLSfdLzsFShA">
<styles xmi:type="notation:FontStyle" xmi:id="_-7R7QrG8Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_-7R7RrG8Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-7R7Q7G8Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-7R7RLG8Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-7R7RbG8Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_UrHCULS-Eeylk4jmLKUg5A" type="Extension_Edge" source="_yF0qwCzoEeKQef6wX-6K3g" target="_NLo1MKnrEeyLSfdLzsFShA">
<styles xmi:type="notation:FontStyle" xmi:id="_UrHCUbS-Eeylk4jmLKUg5A"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_UqDSYLS-Eeylk4jmLKUg5A"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_UrHCUrS-Eeylk4jmLKUg5A" points="[140, 545, -643984, -643984]$[120, 430, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UsgwgLS-Eeylk4jmLKUg5A" id="(0.4059040590405904,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_UshXkLS-Eeylk4jmLKUg5A" id="(0.8,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T7lTwLTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_BEphEOFnEeGHGvj-SeegrA" target="_T7kssLTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T7lTwbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T7l60rTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T7lTwrTHEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T7l60LTHEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T7l60bTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T8O0AbTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_DSfQAKA1EeKdpNE52fDl9w" target="_T8OM8LTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T8O0ArTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T8O0BrTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#DataType"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T8O0A7THEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T8O0BLTHEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T8O0BbTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T8q44bTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_4X_doEI5EeSWCts2w9ZXDw" target="_T8qR0LTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T8q44rTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T8q45rTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T8q447THEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T8q45LTHEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T8q45bTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T9A3JLTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_iDeaQKcmEeaNpeTYMa4W5g" target="_T9A3ILTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T9A3JbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T9BeMLTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#InstanceSpecification"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T9A3JrTHEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T9A3J7THEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T9A3KLTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T9eKJLTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_7-dvYG4VEeeSVLWy6DYUDQ" target="_T9eKILTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T9eKJbTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T9exMLTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T9eKJrTHEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T9eKJ7THEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T9eKKLTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T90IYbTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_NLo1MKnrEeyLSfdLzsFShA" target="_T9zhULTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T90IYrTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T90IZrTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T90IY7THEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T90IZLTHEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T90IZbTHEeyacIRR9Njbsg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_T-CK0LTHEeyacIRR9Njbsg" type="StereotypeCommentLink" source="_aypoULS-Eeylk4jmLKUg5A" target="_T-BjwLTHEeyacIRR9Njbsg">
<styles xmi:type="notation:FontStyle" xmi:id="_T-CK0bTHEeyacIRR9Njbsg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_T-CK1bTHEeyacIRR9Njbsg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_T-CK0rTHEeyacIRR9Njbsg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T-CK07THEeyacIRR9Njbsg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_T-CK1LTHEeyacIRR9Njbsg"/>
</edges>
</notation:Diagram>
<notation:Diagram xmi:id="_Z93CoNDaEeG5E52m3d5H1g" type="PapyrusUMLClassDiagram" name="ContractDataTypes" measurementUnit="Pixel">
<children xmi:type="notation:Shape" xmi:id="_bgRQkNDaEeG5E52m3d5H1g" type="DataType_Shape" fontName="Segoe UI" lineColor="0">
......@@ -978,7 +1038,10 @@
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_I_A_IW4XEeeSVLWy6DYUDQ" x="626" y="456" width="128" height="107"/>
</children>
<styles xmi:type="notation:DiagramStyle" xmi:id="_Z93CodDaEeG5E52m3d5H1g"/>
<styles xmi:type="notation:StringValueStyle" xmi:id="_Ql7TkNghEeaBLJkdu7umhg" name="diagram_compatibility_version" stringValue="1.2.0"/>
<styles xmi:type="notation:StringValueStyle" xmi:id="_Ql7TkNghEeaBLJkdu7umhg" name="diagram_compatibility_version" stringValue="1.4.0"/>
<styles xmi:type="style:PapyrusDiagramStyle" xmi:id="_amOu4KnnEeyLSfdLzsFShA" diagramKindId="org.eclipse.papyrus.uml.diagram.class">
<owner xmi:type="uml:Package" href="CHESSContract.profile.uml#_XCy_sNDaEeG5E52m3d5H1g"/>
</styles>
<element xmi:type="uml:Package" href="CHESSContract.profile.uml#_XCy_sNDaEeG5E52m3d5H1g"/>
</notation:Diagram>
<notation:Diagram xmi:id="_vFs0kG4SEeeSVLWy6DYUDQ" type="PapyrusUMLClassDiagram" name="additionalElement" measurementUnit="Pixel">
......@@ -1036,7 +1099,7 @@
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="_vFs0kW4SEeeSVLWy6DYUDQ" name="diagram_compatibility_version" stringValue="1.2.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="_vFs0km4SEeeSVLWy6DYUDQ"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="_vFs0k24SEeeSVLWy6DYUDQ">
<styles xmi:type="style_1:PapyrusViewStyle" xmi:id="_vFs0k24SEeeSVLWy6DYUDQ">
<owner xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
</styles>
<element xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
......@@ -1115,44 +1178,11 @@
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Abstraction"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_COEzoW4TEeeSVLWy6DYUDQ" x="310" y="408"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_COXuk24TEeeSVLWy6DYUDQ" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_COXulG4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_COXulm4TEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Abstraction"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_COXulW4TEeeSVLWy6DYUDQ" x="200"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_D2XnIG4TEeeSVLWy6DYUDQ" type="Class_MetaclassShape">
<children xmi:type="notation:DecorationNode" xmi:id="_D2XnIm4TEeeSVLWy6DYUDQ" type="Class_MetaclassNameLabel"/>
<element xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_D2XnIW4TEeeSVLWy6DYUDQ" x="477" y="417"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_D2gxF24TEeeSVLWy6DYUDQ" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_D2gxGG4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_D2gxGm4TEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_D2gxGW4TEeeSVLWy6DYUDQ" x="200"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_FaK8MG4TEeeSVLWy6DYUDQ" type="Stereotype_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_FaK8Mm4TEeeSVLWy6DYUDQ" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_FaK8M24TEeeSVLWy6DYUDQ" type="Stereotype_AttributeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_FaK8NG4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_FaK8NW4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_FaK8Nm4TEeeSVLWy6DYUDQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_FaK8N24TEeeSVLWy6DYUDQ"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="_FaK8OG4TEeeSVLWy6DYUDQ" type="Stereotype_OperationCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_FaK8OW4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_FaK8Om4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_FaK8O24TEeeSVLWy6DYUDQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_FaK8PG4TEeeSVLWy6DYUDQ"/>
</children>
<element xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_8J2A8LVAEdu2ieF4ON8UjA"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_FaK8MW4TEeeSVLWy6DYUDQ" x="85" y="105"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_L8JbcG4TEeeSVLWy6DYUDQ" type="Stereotype_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_L8Jbcm4TEeeSVLWy6DYUDQ" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_L8Jbc24TEeeSVLWy6DYUDQ" type="Stereotype_AttributeCompartment">
......@@ -1192,22 +1222,45 @@
<element xmi:type="uml:Comment" href="CHESSContract.profile.uml#_N3wMgG4TEeeSVLWy6DYUDQ"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_N3wMgm4TEeeSVLWy6DYUDQ" x="247" y="28" height="94"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="_38J34W4SEeeSVLWy6DYUDQ" name="diagram_compatibility_version" stringValue="1.2.0"/>
<children xmi:type="notation:Shape" xmi:id="_C5So8LG9Eeyt37QbaazOjg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_C5So8bG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_C5So87G9Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Abstraction"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_C5So8rG9Eeyt37QbaazOjg" x="510" y="408"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_C5jHoLG9Eeyt37QbaazOjg" type="StereotypeComment">
<styles xmi:type="notation:TitleStyle" xmi:id="_C5jHobG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_C5jusLG9Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_C5jHorG9Eeyt37QbaazOjg" x="677" y="417"/>
</children>
<children xmi:type="notation:Shape" xmi:id="_ZJJWULG9Eeyt37QbaazOjg" type="Stereotype_Shape">
<children xmi:type="notation:DecorationNode" xmi:id="_ZJNnwLG9Eeyt37QbaazOjg" type="Stereotype_NameLabel"/>
<children xmi:type="notation:BasicCompartment" xmi:id="_ZJNnwbG9Eeyt37QbaazOjg" type="Stereotype_AttributeCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_ZJNnwrG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_ZJNnw7G9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_ZJNnxLG9Eeyt37QbaazOjg"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_ZJNnxbG9Eeyt37QbaazOjg"/>
</children>
<children xmi:type="notation:BasicCompartment" xmi:id="_ZJNnxrG9Eeyt37QbaazOjg" type="Stereotype_OperationCompartment">
<styles xmi:type="notation:TitleStyle" xmi:id="_ZJNnx7G9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:SortingStyle" xmi:id="_ZJNnyLG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:FilteringStyle" xmi:id="_ZJNnybG9Eeyt37QbaazOjg"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_ZJNnyrG9Eeyt37QbaazOjg"/>
</children>
<element xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks.stereotype_packagedElement_Block"/>
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_ZJJWUbG9Eeyt37QbaazOjg" x="160" y="140"/>
</children>
<styles xmi:type="notation:StringValueStyle" xmi:id="_38J34W4SEeeSVLWy6DYUDQ" name="diagram_compatibility_version" stringValue="1.4.0"/>
<styles xmi:type="notation:DiagramStyle" xmi:id="_38J34m4SEeeSVLWy6DYUDQ"/>
<styles xmi:type="style:PapyrusViewStyle" xmi:id="_38J3424SEeeSVLWy6DYUDQ">
<styles xmi:type="style:PapyrusDiagramStyle" xmi:id="_ancP0KnnEeyLSfdLzsFShA" diagramKindId="org.eclipse.papyrus.uml.diagram.profile">
<owner xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
</styles>
<element xmi:type="uml:Profile" href="CHESSContract.profile.uml#_Hmdm0NDVEeG5E52m3d5H1g"/>
<edges xmi:type="notation:Connector" xmi:id="_COXul24TEeeSVLWy6DYUDQ" type="StereotypeCommentLink" source="_COEzoG4TEeeSVLWy6DYUDQ" target="_COXuk24TEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_COXumG4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_COXunG4TEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Abstraction"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_COXumW4TEeeSVLWy6DYUDQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_COXumm4TEeeSVLWy6DYUDQ"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_COXum24TEeeSVLWy6DYUDQ"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_COhfkG4TEeeSVLWy6DYUDQ" type="Extension_Edge" source="_Bwzo0G4TEeeSVLWy6DYUDQ" target="_COEzoG4TEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_COhfkW4TEeeSVLWy6DYUDQ"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_cSKKEdDmEeG5E52m3d5H1g"/>
......@@ -1215,16 +1268,6 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Cj-yMG4TEeeSVLWy6DYUDQ" id="(0.48,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Cj-yMW4TEeeSVLWy6DYUDQ" id="(0.5,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_D2gxG24TEeeSVLWy6DYUDQ" type="StereotypeCommentLink" source="_D2XnIG4TEeeSVLWy6DYUDQ" target="_D2gxF24TEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_D2gxHG4TEeeSVLWy6DYUDQ"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_D2gxIG4TEeeSVLWy6DYUDQ" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_D2gxHW4TEeeSVLWy6DYUDQ" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_D2gxHm4TEeeSVLWy6DYUDQ"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_D2gxH24TEeeSVLWy6DYUDQ"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_D2qiEG4TEeeSVLWy6DYUDQ" type="Extension_Edge" source="_7QTJMG4SEeeSVLWy6DYUDQ" target="_D2XnIG4TEeeSVLWy6DYUDQ">
<styles xmi:type="notation:FontStyle" xmi:id="_D2qiEW4TEeeSVLWy6DYUDQ"/>
<element xmi:type="uml:Extension" href="CHESSContract.profile.uml#_zKbG0EYMEeKlXqCWXpGSyw"/>
......@@ -1232,28 +1275,6 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H07HYG4TEeeSVLWy6DYUDQ" id="(0.55,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H07HYW4TEeeSVLWy6DYUDQ" id="(0.5,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_Fa-0gG4TEeeSVLWy6DYUDQ" type="Generalization_Edge" source="_8nygkG4SEeeSVLWy6DYUDQ" target="_FaK8MG4TEeeSVLWy6DYUDQ">
<children xmi:type="notation:DecorationNode" xmi:id="_Fa-0g24TEeeSVLWy6DYUDQ" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_FrOP8G4TEeeSVLWy6DYUDQ" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_Fa-0hG4TEeeSVLWy6DYUDQ" x="-2" y="37"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_Fa-0gW4TEeeSVLWy6DYUDQ"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_3udW4NDVEeG5E52m3d5H1g"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Fa-0gm4TEeeSVLWy6DYUDQ" points="[119, 276, -643984, -643984]$[0, 0, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_FrYA8G4TEeeSVLWy6DYUDQ" id="(0.44,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_FrYA8W4TEeeSVLWy6DYUDQ" id="(0.5,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_HU0D8G4TEeeSVLWy6DYUDQ" type="Generalization_Edge" source="_8HfP4G4SEeeSVLWy6DYUDQ" target="_FaK8MG4TEeeSVLWy6DYUDQ">
<children xmi:type="notation:DecorationNode" xmi:id="_HU0D824TEeeSVLWy6DYUDQ" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_WMOkIG4TEeeSVLWy6DYUDQ" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_HU0D9G4TEeeSVLWy6DYUDQ" x="-1" y="38"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_HU0D8W4TEeeSVLWy6DYUDQ"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_zeUScOFfEeGHGvj-SeegrA"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_HU0D8m4TEeeSVLWy6DYUDQ" points="[475, 300, -643984, -643984]$[185, 176, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WMXuEG4TEeeSVLWy6DYUDQ" id="(0.07,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WMXuEW4TEeeSVLWy6DYUDQ" id="(0.92,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_MxSTsG4TEeeSVLWy6DYUDQ" type="Generalization_Edge" source="_L8JbcG4TEeeSVLWy6DYUDQ" target="_MwwvQG4TEeeSVLWy6DYUDQ">
<children xmi:type="notation:DecorationNode" xmi:id="_MxSTs24TEeeSVLWy6DYUDQ" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_NDZXYG4TEeeSVLWy6DYUDQ" name="IS_UPDATED_POSITION" booleanValue="true"/>
......@@ -1265,5 +1286,47 @@
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NDnZ0G4TEeeSVLWy6DYUDQ" id="(0.44339622641509435,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NDwjwG4TEeeSVLWy6DYUDQ" id="(0.55,1.0)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_C5So9LG9Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_COEzoG4TEeeSVLWy6DYUDQ" target="_C5So8LG9Eeyt37QbaazOjg">
<styles xmi:type="notation:FontStyle" xmi:id="_C5So9bG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_C5TQArG9Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Abstraction"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_C5So9rG9Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_C5TQALG9Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_C5TQAbG9Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_C5jusbG9Eeyt37QbaazOjg" type="StereotypeCommentLink" source="_D2XnIG4TEeeSVLWy6DYUDQ" target="_C5jHoLG9Eeyt37QbaazOjg">
<styles xmi:type="notation:FontStyle" xmi:id="_C5jusrG9Eeyt37QbaazOjg"/>
<styles xmi:type="notation:EObjectValueStyle" xmi:id="_C5jutrG9Eeyt37QbaazOjg" name="BASE_ELEMENT">
<eObjectValue xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Class"/>
</styles>
<element xsi:nil="true"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_C5jus7G9Eeyt37QbaazOjg" points="[0, 0, 0, 0]$[0, 0, 0, 0]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_C5jutLG9Eeyt37QbaazOjg"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_C5jutbG9Eeyt37QbaazOjg"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_dzio4LG9Eeyt37QbaazOjg" type="Generalization_Edge" source="_8nygkG4SEeeSVLWy6DYUDQ" target="_ZJJWULG9Eeyt37QbaazOjg">
<children xmi:type="notation:DecorationNode" xmi:id="_dzjP8LG9Eeyt37QbaazOjg" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_fWNVgLG9Eeyt37QbaazOjg" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_dzjP8bG9Eeyt37QbaazOjg" y="59"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_dzio4bG9Eeyt37QbaazOjg"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_dyzpELG9Eeyt37QbaazOjg"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_dzio4rG9Eeyt37QbaazOjg" points="[160, 276, -643984, -643984]$[319, 180, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_d0g5QLG9Eeyt37QbaazOjg" id="(0.69,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_d0hgULG9Eeyt37QbaazOjg" id="(0.0,0.2)"/>
</edges>
<edges xmi:type="notation:Connector" xmi:id="_eYfwELG9Eeyt37QbaazOjg" type="Generalization_Edge" source="_8HfP4G4SEeeSVLWy6DYUDQ" target="_ZJJWULG9Eeyt37QbaazOjg">
<children xmi:type="notation:DecorationNode" xmi:id="_eYgXILG9Eeyt37QbaazOjg" type="Generalization_StereotypeLabel">
<styles xmi:type="notation:BooleanValueStyle" xmi:id="_fWjTwLG9Eeyt37QbaazOjg" name="IS_UPDATED_POSITION" booleanValue="true"/>
<layoutConstraint xmi:type="notation:Location" xmi:id="_eYgXIbG9Eeyt37QbaazOjg" y="58"/>
</children>
<styles xmi:type="notation:FontStyle" xmi:id="_eYfwEbG9Eeyt37QbaazOjg"/>
<element xmi:type="uml:Generalization" href="CHESSContract.profile.uml#_eYCdELG9Eeyt37QbaazOjg"/>
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_eYfwErG9Eeyt37QbaazOjg" points="[300, 273, -643984, -643984]$[319, 240, -643984, -643984]"/>
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eZi48LG9Eeyt37QbaazOjg" id="(0.71,0.0)"/>
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eZi48bG9Eeyt37QbaazOjg" id="(0.8,1.0)"/>
</edges>
</notation:Diagram>
</xmi:XMI>
plugins/contracts/org.polarsys.chess.contracts.profile/model/CHESSContract.profile.uml
View file @ c515f59b
......@@ -2,6 +2,13 @@
<xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:Ecore="http://www.eclipse.org/uml2/schemas/Ecore/5" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xsi:schemaLocation="http://www.eclipse.org/uml2/schemas/Ecore/5 pathmap://UML_PROFILES/Ecore.profile.uml#_z1OFcHjqEdy8S4Cr8Rc_NA">
<uml:Profile xmi:id="_Hmdm0NDVEeG5E52m3d5H1g" name="CHESSContract" URI="http:///ForeverProfile.ecore" metaclassReference="_bc7LMNDmEeG5E52m3d5H1g _BEnE0OFnEeGHGvj-SeegrA _tqlaAEYMEeKlXqCWXpGSyw _DR1vwKA1EeKdpNE52fDl9w _4X5-EEI5EeSWCts2w9ZXDw _iDEKkKcmEeaNpeTYMa4W5g _tw4eEG4PEeeSVLWy6DYUDQ">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_iDrnYCzpEeKQef6wX-6K3g" source="http://www.eclipse.org/uml2/2.0.0/UML">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3YFsKnnEeyLSfdLzsFShA" source="PapyrusVersion">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_i3YFsannEeyLSfdLzsFShA" key="Version" value="0.0.0"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_i3YFsqnnEeyLSfdLzsFShA" key="Comment" value="&lt;undefined>"/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_i3YFs6nnEeyLSfdLzsFShA" key="Copyright" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_i3YFtKnnEeyLSfdLzsFShA" key="Date" value=""/>
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_i3YFtannEeyLSfdLzsFShA" key="Author" value="&lt;undefined>"/>
</eAnnotations>
<contents xmi:type="ecore:EPackage" xmi:id="_AspHUE4JEeOylNwoj7CyKg" name="foreverprofile" nsURI="http:///ForeverProfile.ecore" nsPrefix="ForeverProfile">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_AtCI4E4JEeOylNwoj7CyKg" source="PapyrusVersion">
<details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_AtCI4U4JEeOylNwoj7CyKg" key="Version" value="0.0.7"/>
......@@ -962,6 +969,9 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<generalization xmi:type="uml:Generalization" xmi:id="_3udW4NDVEeG5E52m3d5H1g">
<general xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_8J2A8LVAEdu2ieF4ON8UjA"/>
</generalization>
<generalization xmi:type="uml:Generalization" xmi:id="_dyzpELG9Eeyt37QbaazOjg">
<general xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks.stereotype_packagedElement_Block"/>
</generalization>
</packagedElement>
<packagedElement xmi:type="uml:Package" xmi:id="_XCy_sNDaEeG5E52m3d5H1g" name="DataTypes">
<packagedElement xmi:type="uml:DataType" xmi:id="_bgFDUNDaEeG5E52m3d5H1g" name="OthelloConstraint">
......@@ -1034,10 +1044,13 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<generalization xmi:type="uml:Generalization" xmi:id="_g_taIOIEEeGAI6rR7jLcjw">
<general xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_YDK7cLVFEdu2ieF4ON8UjA"/>
</generalization>
<generalization xmi:type="uml:Generalization" xmi:id="_CPRVoKnoEeyLSfdLzsFShA">
<general xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ConstraintBlocks.stereotype_packagedElement_ConstraintBlock"/>
</generalization>
<ownedAttribute xmi:type="uml:Property" xmi:id="_fyCcMNDkEeG5E52m3d5H1g" name="Assume" type="_Srt4oOIbEeGAI6rR7jLcjw"/>
<ownedAttribute xmi:type="uml:Property" xmi:id="_g426UNDkEeG5E52m3d5H1g" name="Guarantee" type="_Srt4oOIbEeGAI6rR7jLcjw"/>
<ownedAttribute xmi:type="uml:Property" xmi:id="_CITfMPBJEeGs-bwMV1MRNg" name="Formalize">
<type xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_xajygLXqEduHWpAaWjM62w"/>
<type xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Requirements.stereotype_packagedElement_Requirement"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_FGYjYKcnEeaNpeTYMa4W5g"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_FGvvwKcnEeaNpeTYMa4W5g" value="*"/>
</ownedAttribute>
......@@ -1065,6 +1078,9 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<generalization xmi:type="uml:Generalization" xmi:id="_zeUScOFfEeGHGvj-SeegrA">
<general xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_8J2A8LVAEdu2ieF4ON8UjA"/>
</generalization>
<generalization xmi:type="uml:Generalization" xmi:id="_eYCdELG9Eeyt37QbaazOjg">
<general xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks.stereotype_packagedElement_Block"/>
</generalization>
</packagedElement>
<packagedElement xmi:type="uml:Stereotype" xmi:id="_7eEhkOH_EeGAI6rR7jLcjw" name="CHESSRequirement">
<generalization xmi:type="uml:Generalization" xmi:id="_EH0loOIAEeGAI6rR7jLcjw">
......@@ -1093,7 +1109,7 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Constraint"/>
</ownedAttribute>
<ownedAttribute xmi:type="uml:Property" xmi:id="_BtriMKcnEeaNpeTYMa4W5g" name="Formalize">
<type xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_xajygLXqEduHWpAaWjM62w"/>
<type xmi:type="uml:Stereotype" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Requirements.stereotype_packagedElement_Requirement"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_F5CvYKcnEeaNpeTYMa4W5g"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_F5DWcKcnEeaNpeTYMa4W5g" value="*"/>
</ownedAttribute>
......@@ -1103,18 +1119,16 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_UzePUuIbEeGAI6rR7jLcjw" name="extension_FormalProperty" type="_Srt4oOIbEeGAI6rR7jLcjw" aggregation="composite" association="_UzePUeIbEeGAI6rR7jLcjw"/>
</packagedElement>
<packagedElement xmi:type="uml:Stereotype" xmi:id="_yFZM8CzoEeKQef6wX-6K3g" name="ContractProperty">
<generalization xmi:type="uml:Generalization" xmi:id="_6KPNICzoEeKQef6wX-6K3g">
<general xmi:type="uml:Stereotype" href="pathmap://SysML_PROFILES/SysML.profile.uml#_Y9X54LVFEdu2ieF4ON8UjA"/>
</generalization>
<ownedAttribute xmi:type="uml:Property" xmi:id="_OXZC8CzpEeKQef6wX-6K3g" name="RefinedBy" type="_EXS78KA1EeKdpNE52fDl9w">
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_ctPuMCzpEeKQef6wX-6K3g"/>
<upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_ctQVQCzpEeKQef6wX-6K3g" value="*"/>
</ownedAttribute>
<ownedAttribute xmi:type="uml:Property" xmi:id="_ZnOjUEIyEeSWCts2w9ZXDw" name="ContractType" type="_oCqSIEIyEeSWCts2w9ZXDw"/>
<ownedAttribute xmi:type="uml:Property" xmi:id="_vR3IoW4PEeeSVLWy6DYUDQ" name="base_Slot" association="_vRtXoG4PEeeSVLWy6DYUDQ">
<type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Slot"/>
</ownedAttribute>
<ownedAttribute xmi:type="uml:Property" xmi:id="_W0cFkG4REeeSVLWy6DYUDQ" name="status" type="_YIbnkG4SEeeSVLWy6DYUDQ"/>
<ownedAttribute xmi:type="uml:Property" xmi:id="_UqG8wLS-Eeylk4jmLKUg5A" name="base_Property" association="_UqDSYLS-Eeylk4jmLKUg5A">
<type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
<lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UqG8wbS-Eeylk4jmLKUg5A"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Stereotype" xmi:id="_7BgzAC8PEeKMDoUhp0Nj3g" name="DelegationConstraint">
<ownedAttribute xmi:type="uml:Property" xmi:id="_DS4MQC8QEeKMDoUhp0Nj3g" name="base_Constraint" association="_DS4zUC8QEeKMDoUhp0Nj3g">
......@@ -1184,8 +1198,8 @@ Instance and instanceSpec attribute are mutually exclusive</body>
<defaultValue xmi:type="uml:LiteralBoolean" xmi:id="_PjB8MG4LEeeSVLWy6DYUDQ"/>
</ownedAttribute>
</packagedElement>
<packagedElement xmi:type="uml:Extension" xmi:id="_vRtXoG4PEeeSVLWy6DYUDQ" name="E_ContractProperty_Slot1" memberEnd="_vR3IoG4PEeeSVLWy6DYUDQ _vR3IoW4PEeeSVLWy6DYUDQ">
<ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_vR3IoG4PEeeSVLWy6DYUDQ" name="extension_ContractProperty" type="_yFZM8CzoEeKQef6wX-6K3g" aggregation="composite" association="_vRtXoG4PEeeSVLWy6DYUDQ"/>
<packagedElement xmi:type="uml:Extension" xmi:id="_UqDSYLS-Eeylk4jmLKUg5A" name="E_ContractProperty_Property51" memberEnd="_UqGVsLS-Eeylk4jmLKUg5A _UqG8wLS-Eeylk4jmLKUg5A">
<ownedEnd xmi:type="uml:ExtensionEnd" xmi:id="_UqGVsLS-Eeylk4jmLKUg5A" name="extension_ContractProperty" type="_yFZM8CzoEeKQef6wX-6K3g" aggregation="composite" association="_UqDSYLS-Eeylk4jmLKUg5A"/>
</packagedElement>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_MTvtcAfMEeKtpaTOTuIwBw">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_MTvtcQfMEeKtpaTOTuIwBw" source="http://www.eclipse.org/uml2/2.0.0/UML">
......@@ -1193,6 +1207,60 @@ Instance and instanceSpec attribute are mutually exclusive</body>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://UML_PROFILES/Ecore.profile.uml#_0"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3WQgKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3ZT0KnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#/"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3bJAKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3bJAannEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//activities"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Activities"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3cXIKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3c-MKnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//allocations"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Allocations"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3dlQKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3eMUKnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//blocks"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Blocks"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3facKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3facannEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//constraintblocks"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ConstraintBlocks"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3gokKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3hPoKnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//deprecatedelements"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_DeprecatedElements"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3idwKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3jE0KnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//modelelements"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_ModelElements"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3k6AKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3lhEKnnEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//portsandflows"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Ports_u0026Flows"/>
</profileApplication>
<profileApplication xmi:type="uml:ProfileApplication" xmi:id="_i3n9UKnnEeyLSfdLzsFShA">
<eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_i3n9UannEeyLSfdLzsFShA" source="http://www.eclipse.org/uml2/2.0.0/UML">
<references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/sysml/1.6/SysML#//requirements"/>
</eAnnotations>
<appliedProfile xmi:type="uml:Profile" href="pathmap://SysML16_PROFILES/SysML.profile.uml#SysML.package_packagedElement_Requirements"/>
</profileApplication>
</uml:Profile>
<Ecore:EPackage xmi:id="_Nc2DgAfMEeKtpaTOTuIwBw" base_Package="_Hmdm0NDVEeG5E52m3d5H1g" packageName="chesscontract" nsPrefix="CHESSContract" nsURI="http:///CHESSContract.ecore" basePackage="org.polarsys.chess.contracts.profile" prefix="CHESSContract"/>
</xmi:XMI>
plugins/contracts/org.polarsys.chess.contracts.profile/model/chesscontract.ecore
View file @ c515f59b
......@@ -15,7 +15,7 @@
<eStructuralFeatures xsi:type="ecore:EReference" name="base_InstanceSpecification"
ordered="false" lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//InstanceSpecification"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ContractProperty" eSuperTypes="../../org.eclipse.papyrus.sysml/model/sysml.ecore#//constraints/ConstraintProperty">
<eClassifiers xsi:type="ecore:EClass" name="ContractProperty">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="used to instantiate a contract in a given class/component.&#xD;&#xA;Can extend a slot to represent contract instantiation for an InstanceSpecification"/>
</eAnnotations>
......@@ -23,10 +23,10 @@
upperBound="-1" eType="#//ContractRefinement"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="ContractType" ordered="false"
lowerBound="1" eType="#//DataTypes/ContractTypes"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="base_Slot" ordered="false"
lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//Slot"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="status" ordered="false"
lowerBound="1" eType="#//DataTypes/ContractStatus"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="base_Property" ordered="false"
eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//Property"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ContractRefinement">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
......@@ -52,7 +52,7 @@
<eStructuralFeatures xsi:type="ecore:EReference" name="base_Constraint" ordered="false"
lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//Constraint"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="Formalize" ordered="false"
upperBound="-1" eType="ecore:EClass ../../org.eclipse.papyrus.sysml/model/sysml.ecore#//requirements/Requirement"/>
upperBound="-1" eType="ecore:EClass ../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.ecore#//requirements/Requirement"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="concern" ordered="false"
lowerBound="1" eType="#//DataTypes/Concerns"/>
</eClassifiers>
......@@ -64,14 +64,14 @@
ordered="false" lowerBound="1" eType="ecore:EDataType platform:/plugin/org.eclipse.uml2.types/model/Types.ecore#//Boolean"
defaultValueLiteral="false"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="System" eSuperTypes="../../org.eclipse.papyrus.sysml/model/sysml.ecore#//blocks/Block"/>
<eClassifiers xsi:type="ecore:EClass" name="Contract" eSuperTypes="../../org.eclipse.papyrus.sysml/model/sysml.ecore#//constraints/ConstraintBlock">
<eClassifiers xsi:type="ecore:EClass" name="System" eSuperTypes="../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.ecore#//blocks/Block"/>
<eClassifiers xsi:type="ecore:EClass" name="Contract" eSuperTypes="../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.ecore#//constraintblocks/ConstraintBlock">
<eStructuralFeatures xsi:type="ecore:EReference" name="Assume" ordered="false"
lowerBound="1" eType="#//FormalProperty"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="Guarantee" ordered="false"
lowerBound="1" eType="#//FormalProperty"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="Formalize" ordered="false"
upperBound="-1" eType="ecore:EClass ../../org.eclipse.papyrus.sysml/model/sysml.ecore#//requirements/Requirement"/>
upperBound="-1" eType="ecore:EClass ../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.ecore#//requirements/Requirement"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="Language" ordered="false"
lowerBound="1" eType="#//DataTypes/Languages"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="contextStatement" ordered="false"
......@@ -83,8 +83,8 @@
<eStructuralFeatures xsi:type="ecore:EReference" name="base_Abstraction" ordered="false"
lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//Abstraction"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SubSystem" eSuperTypes="../../org.eclipse.papyrus.sysml/model/sysml.ecore#//blocks/Block"/>
<eClassifiers xsi:type="ecore:EClass" name="CHESSRequirement" eSuperTypes="../../org.eclipse.papyrus.sysml/model/sysml.ecore#//requirements/Requirement">
<eClassifiers xsi:type="ecore:EClass" name="SubSystem" eSuperTypes="../../org.eclipse.papyrus.sysml16/resources/profile/SysML.profile.ecore#//blocks/Block"/>
<eClassifiers xsi:type="ecore:EClass" name="CHESSRequirement">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="Author" ordered="false"
lowerBound="1" eType="ecore:EDataType platform:/plugin/org.eclipse.uml2.types/model/Types.ecore#//String"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="Status" ordered="false"
......@@ -117,11 +117,8 @@
lowerBound="1" eType="ecore:EClass platform:/plugin/org.eclipse.uml2.uml/model/UML.ecore#//Class"/>
</eClassifiers>
<eSubpackages name="DataTypes" nsURI="http:///CHESSContract/DataTypes.ecore" nsPrefix="CHESSContract.DataTypes">
<eClassifiers xsi:type="ecore:EClass" name="OthelloConstraint">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="Expression" ordered="false"
lowerBound="1" eType="ecore:EDataType platform:/plugin/org.eclipse.uml2.types/model/Types.ecore#//String"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Continuous"/>
<eClassifiers xsi:type="ecore:EDataType" name="OthelloConstraint" instanceClassName="java.lang.String"/>
<eClassifiers xsi:type="ecore:EDataType" name="Continuous" instanceClassName="java.lang.String"/>
<eClassifiers xsi:type="ecore:EEnum" name="ReqStatuses">
<eLiterals name="Initial"/>
<eLiterals name="Derived" value="1"/>
......
plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations 0 → 100644
View file @ c515f59b
<?xml version="1.0" encoding="UTF-8"?>
<elementtypesconfigurations:ElementTypeSetConfiguration xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:applystereotypeadvice="http://www.eclipse.org/papyrus/uml/types/applystereotypeadvice/1.1" xmlns:elementtypesconfigurations="http://www.eclipse.org/papyrus/infra/elementtypesconfigurations/1.2" xmlns:stereotypematcher="http://www.eclipse.org/papyrus/uml/types/stereotypematcher/1.1" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.elementTypes" identifier="org.polarsys.chess.contracts.profile.cHESSContract.elementTypes" name="CHESSContract" metamodelNsURI="http://www.eclipse.org/uml2/5.0.0/UML">
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_InstanceSpecification" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_InstanceSpecification" name="ComponentInstance InstanceSpecification" hint="UML::InstanceSpecification" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4N8ucMFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/InstanceSpecification.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4N8uccFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ComponentInstance</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.InstanceSpecification"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_Property" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_Property" name="ComponentInstance Property" hint="UML::Property" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4N9VgcFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Property.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4N-joMFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ComponentInstance</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Property"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.Contract" identifier="org.polarsys.chess.contracts.profile.cHESSContract.Contract" name="Contract" hint="UML::Class" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4N_xwMFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Class.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OAY0MFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::Contract</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Class"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty" name="ContractProperty" hint="UML::Property" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OA_4MFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Property.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OA_4cFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ContractProperty</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Property"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinement" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinement" name="ContractRefinement" hint="UML::DataType" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OBm8MFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/DataType.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OBm8cFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ContractRefinement</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.DataType"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_NamedElement" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_NamedElement" name="ContractRefinementAnalysisContext NamedElement" hint="UML::NamedElement" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OBm88FQEey59JGeIcStQQ" iconPath="/icons/full/obj16/NamedElement.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OCOAMFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ContractRefinementAnalysisContext</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.NamedElement"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_Package" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_Package" name="ContractRefinementAnalysisContext Package" hint="UML::Package" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OCOAsFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Package.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OCOA8FQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ContractRefinementAnalysisContext</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Package"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_StructuredClassifier" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_StructuredClassifier" name="ContractRefinementAnalysisContext StructuredClassifier" hint="UML::StructuredClassifier" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OCOBcFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/StructuredClassifier.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OC1EMFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::ContractRefinementAnalysisContext</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.StructuredClassifier"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint" identifier="org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint" name="DelegationConstraint" hint="UML::Constraint" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OC1EsFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OC1E8FQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::DelegationConstraint</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Constraint"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty" identifier="org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty" name="FormalProperty" hint="UML::Constraint" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4ODcIMFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4ODcIcFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::FormalProperty</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Constraint"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.Formalize" identifier="org.polarsys.chess.contracts.profile.cHESSContract.Formalize" name="Formalize" hint="UML::Abstraction" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4ODcI8FQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Abstraction.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4ODcJMFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::Formalize</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Abstraction"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.SRAComponent" identifier="org.polarsys.chess.contracts.profile.cHESSContract.SRAComponent" name="SRAComponent" hint="UML::Class" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OEDMcFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Class.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OEDMsFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::SRAComponent</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Class"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.SubSystem" identifier="org.polarsys.chess.contracts.profile.cHESSContract.SubSystem" name="SubSystem" hint="UML::Class" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OEDNMFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Class.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OEqQMFQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::SubSystem</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Class"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="org.polarsys.chess.contracts.profile.cHESSContract.System" identifier="org.polarsys.chess.contracts.profile.cHESSContract.System" name="System" hint="UML::Class" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_4OEqQsFQEey59JGeIcStQQ" iconPath="/icons/full/obj16/Class.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<matcherConfiguration xmi:type="stereotypematcher:StereotypeApplicationMatcherConfiguration" xmi:id="_4OEqQ8FQEey59JGeIcStQQ">
<stereotypesQualifiedNames>CHESSContract::System</stereotypesQualifiedNames>
</matcherConfiguration>
<specializedTypes xmi:type="elementtypesconfigurations:MetamodelTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/uml.elementtypesconfigurations#org.eclipse.papyrus.uml.Class"/>
</elementTypeConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OEqRMFQEey59JGeIcStQQ" description="Apply Stereotype ComponentInstance" identifier="org.polarsys.chess.contracts.profile.cHESSContract.componentInstance" target="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_Property">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OFRUMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ComponentInstance" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OFRUcFQEey59JGeIcStQQ" description="Apply Stereotype ComponentInstance" identifier="org.polarsys.chess.contracts.profile.cHESSContract.componentInstance" target="org.polarsys.chess.contracts.profile.cHESSContract.ComponentInstance_InstanceSpecification">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OFRUsFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ComponentInstance" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OFRU8FQEey59JGeIcStQQ" description="Apply Stereotype Contract" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contract" target="org.polarsys.chess.contracts.profile.cHESSContract.Contract">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OF4YMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::Contract" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OF4YcFQEey59JGeIcStQQ" description="Apply Stereotype ContractProperty" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contractProperty" target="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OF4YsFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ContractProperty" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OF4Y8FQEey59JGeIcStQQ" description="Apply Stereotype ContractRefinement" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contractRefinement" target="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinement">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OF4ZMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ContractRefinement" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OGfcMFQEey59JGeIcStQQ" description="Apply Stereotype ContractRefinementAnalysisContext" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contractRefinementAnalysisContext" target="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_NamedElement">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OGfccFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ContractRefinementAnalysisContext" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OGfcsFQEey59JGeIcStQQ" description="Apply Stereotype ContractRefinementAnalysisContext" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contractRefinementAnalysisContext" target="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_StructuredClassifier">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OGfc8FQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ContractRefinementAnalysisContext" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OGfdMFQEey59JGeIcStQQ" description="Apply Stereotype ContractRefinementAnalysisContext" identifier="org.polarsys.chess.contracts.profile.cHESSContract.contractRefinementAnalysisContext" target="org.polarsys.chess.contracts.profile.cHESSContract.ContractRefinementAnalysisContext_Package">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OHGgMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::ContractRefinementAnalysisContext" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OHGgcFQEey59JGeIcStQQ" description="Apply Stereotype DelegationConstraint" identifier="org.polarsys.chess.contracts.profile.cHESSContract.delegationConstraint" target="org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OHGgsFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::DelegationConstraint" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OHGg8FQEey59JGeIcStQQ" description="Apply Stereotype FormalProperty" identifier="org.polarsys.chess.contracts.profile.cHESSContract.formalProperty" target="org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OHtkMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::FormalProperty" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OHtkcFQEey59JGeIcStQQ" description="Apply Stereotype Formalize" identifier="org.polarsys.chess.contracts.profile.cHESSContract.formalize" target="org.polarsys.chess.contracts.profile.cHESSContract.Formalize">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OHtksFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::Formalize" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OI7sMFQEey59JGeIcStQQ" description="Apply Stereotype SRAComponent" identifier="org.polarsys.chess.contracts.profile.cHESSContract.sRAComponent" target="org.polarsys.chess.contracts.profile.cHESSContract.SRAComponent">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OJiwMFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::SRAComponent" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OJiwcFQEey59JGeIcStQQ" description="Apply Stereotype SubSystem" identifier="org.polarsys.chess.contracts.profile.cHESSContract.subSystem" target="org.polarsys.chess.contracts.profile.cHESSContract.SubSystem">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OJiwsFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::SubSystem" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
<adviceBindingsConfigurations xmi:type="applystereotypeadvice:ApplyStereotypeAdviceConfiguration" xmi:id="_4OJiw8FQEey59JGeIcStQQ" description="Apply Stereotype System" identifier="org.polarsys.chess.contracts.profile.cHESSContract.system" target="org.polarsys.chess.contracts.profile.cHESSContract.System">
<stereotypesToApply xmi:type="applystereotypeadvice:StereotypeToApply" xmi:id="_4OKJ0MFQEey59JGeIcStQQ" stereotypeQualifiedName="CHESSContract::System" updateName="true">
<requiredProfiles>CHESSContract</requiredProfiles>
</stereotypesToApply>
</adviceBindingsConfigurations>
</elementtypesconfigurations:ElementTypeSetConfiguration>
plugins/contracts/org.polarsys.chess.contracts.profile/palettes/CHESSContractui.elementtypesconfigurations 0 → 100644
View file @ c515f59b
<?xml version="1.0" encoding="UTF-8"?>
<elementtypesconfigurations:ElementTypeSetConfiguration xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:elementtypesconfigurations="http://www.eclipse.org/papyrus/infra/elementtypesconfigurations/1.2" xmi:id="_6XdkUK6nEeyHQLtUZMSgAw" identifier="org.eclipse.papyrus.CHESSContractdi.elementtypeset.extension" name="CHESSContract_extension" metamodelNsURI="http://www.eclipse.org/uml2/5.0.0/UML">
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_1_2OYK6oEeyHQLtUZMSgAw" description="" identifier="CHESSContract.Stereotype_Contract_NestedClassifierLabel" name="Contract (Class_ClassNestedClassifierLabel)" hint="Class_NestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.diagram.common/resources/SysML16DiUML.elementtypesconfigurations#org.eclipse.papyrus.sysml16di.ConstraintBlock_Class_ClassNestedClassifierLabel"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_ClassNestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_2WRxYK6oEeyHQLtUZMSgAw" description="" identifier="CHESSContract.Stereotype_Contract_ComponentNestedClassifierLabel" name="Contract (Class_ComponentNestedClassifierLabel)" hint="Class_ComponentNestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Component_NestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_2QaZ8K6oEeyHQLtUZMSgAw" description="" identifier="CHESSContract.Stereotype_Contract_InterfaceNestedClassifierLabel" name="Contract (Class_InterfaceNestedClassifierLabel)" hint="Class_InterfaceNestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Interface_NestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_zwbxQK88EeynuZTmgB0kKw" identifier="CHESSContract.Stereotype_Class_MetaclassShape" name="Contract (Class_MetaclassShape)" hint="Class_MetaclassShape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_MetaclassShape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_Kp2ZAK89EeynuZTmgB0kKw" identifier="CHESSContract.Stereotype_Class_MetaclassShape_CN" name="Contract (Class_MetaclassShape_CN)" hint="Class_MetaclassShape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_MetaclassShape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_TQ2EAK89EeynuZTmgB0kKw" description="" identifier="CHESSContract.Stereotype_Contract_NestedClassifierLabel" name="Contract (Class_NestedClassifierLabel)" hint="Class_NestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_NestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_Mup-EK6oEeyHQLtUZMSgAw" description="" identifier="CHESSContract.Stereotype_Contract_Shape" name="Contract (Class_Shape)" hint="Class_Shape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_Shape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_2KxE8K6oEeyHQLtUZMSgAw" description="" identifier="CHESSContract.Stereotype_Contract_Shape_CN" name="Contract (Class_Shape_CN)" hint="Class_Shape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.Contract"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.ConstraintBlock"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_Shape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_QdSWcK9tEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_AttributeLabel" name="ContractProperty (Property_AttributeLabel)" hint="Property_AttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_AttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_XZ4jcLTDEeylk4jmLKUg5A" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_ClassAttributeLabel" name="ContractProperty (Property_ClassAttributeLabel)" hint="Property_ClassAttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_ClassAttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_dkVhsK9sEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_ComponentAttributeLabel" name="ContractProperty (Property_ComponentAttributeLabel)" hint="Property_ComponentAttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_ComponentAttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_QlqPUK9tEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_DataTypeAttributeLabel" name="ContractProperty (Property_DataTypeAttributeLabel)" hint="Property_DataTypeAttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_DataTypeAttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_XsCDYLTDEeylk4jmLKUg5A" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_Edge" name="ContractProperty (Property_Edge)" hint="Property_Edge" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_Edge"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_QXmlMK9tEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_InterfaceAttributeLabel" name="ContractProperty (Property_InterfaceAttributeLabel)" hint="Property_InterfaceAttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_InterfaceAttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_RJFFcK9tEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_Shape" name="ContractProperty (Property_Shape)" hint="Property_Shape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_Shape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_EchFELTEEeylk4jmLKUg5A" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_Shape_CN" name="ContractProperty (Property_Shape_CN)" hint="Property_Shape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_Shape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_QO1qwK9tEeynuZTmgB0kKw" identifier="org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty_Property_SignalAttributeLabel" name="ContractProperty (PropertySignalAttributeLabel)" hint="Property_SignalAttributeLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.ContractProperty"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Property_SignalAttributeLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLqksLV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_ClassNestedClassifierLabel" name="System (Class_ClassNestedClassifierLabel)" hint="Class_ClassNestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLrLwLV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_ClassNestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLry0LV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_ComponentNestedClassifierLabel" name="System (Class_ComponentNestedClassifierLabel)" hint="Class_ComponentNestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLry0bV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_ComponentNestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLsZ4LV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_InterfaceNestedClassifierLabel" name="System (Class_InterfaceNestedClassifierLabel)" hint="Class_InterfaceNestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLsZ4bV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_InterfaceNestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLtA8LV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_MetaclassShape" name="System (Class_MetaclassShape)" hint="Class_MetaclassShape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLtoALV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_MetaclassShape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLtoAbV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_MetaclassShape_CN" name="System (Class_MetaclassShape_CN)" hint="Class_MetaclassShape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLuPELV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_MetaclassShape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLu2ILV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_NestedClassifierLabel" name="System (Class_NestedClassifierLabel)" hint="Class_NestedClassifierLabel" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLu2IbV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_NestedClassifierLabel"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLvdMLV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_Shape" name="System (Class_Shape)" hint="Class_Shape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLwEQLV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_Shape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_KLwEQbV-EeyDDdPxV8tPyg" identifier="org.eclipse.papyrus.sysml16di.System_Block_Class_Shape_CN" name="System (Class_Shape_CN)" hint="Class_Shape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_KLwrULV-EeyDDdPxV8tPyg" iconPath="/resources/icons/full/obj16/Block.gif" bundleId="org.eclipse.papyrus.sysml16.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.System"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.service.types/model/SysML16.elementtypesconfigurations#org.eclipse.papyrus.SysML16.Block"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Class_Shape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_vgXC4bWBEeycs6xMCj2Gcg" identifier="org.eclipse.papyrus.umldi.FormalProperty_Constraint_PackagedElementShape" name="FormalProperty (Packaged Element Shape)" hint="Constraint_PackagedElementShape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_vgXC4rWBEeycs6xMCj2Gcg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_PackagedElementShape"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_vgXp8LWBEeycs6xMCj2Gcg" identifier="org.eclipse.papyrus.umldi.FormalProperty_Constraint_PackagedElementShape_CN" name="FormalProperty (Packaged Element Shape CN)" hint="Constraint_PackagedElementShape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_vgXp8bWBEeycs6xMCj2Gcg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_PackagedElementShape_CN"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_vgZfILWBEeycs6xMCj2Gcg" identifier="org.eclipse.papyrus.umldi.Constraint_Shape" name="FormalProperty (Shape)" hint="Constraint_Shape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_vgZfIbWBEeycs6xMCj2Gcg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_vgaGMLWBEeycs6xMCj2Gcg" identifier="org.eclipse.papyrus.umldi.FormalProperty_Constraint_Shape_CCN" name="FormalProperty (Shape CCN)" hint="Constraint_Shape_CCN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_vgaGMbWBEeycs6xMCj2Gcg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape_CCN"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_vgatQLWBEeycs6xMCj2Gcg" identifier="org.eclipse.papyrus.umldi.FormalProperty_Constraint_Shape_CN" name="FormalProperty (Shape CN)" hint="Constraint_Shape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_vgatQbWBEeycs6xMCj2Gcg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape_CN"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_rjExILWFEey5Jdj9Y7Fntw" description="Used to display a constraint in the typed constraint property" identifier="org.eclipse.papyrus.sysml16di.FormalProperty_Constraint_Label" name="FormalProperty_Label" hint="Constraint_Label" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<matcherConfiguration xmi:type="elementtypesconfigurations:MatcherConfiguration" xmi:id="_rjExIbWFEey5Jdj9Y7Fntw" matcherClassName="org.eclipse.papyrus.sysml16.service.types.matcher.internal.SysML16ProfileMatcher"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.diagram.common/resources/SysML16Di-extension.elementtypesconfigurations#org.eclipse.papyrus.sysml16di.Constraint_Label"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.FormalProperty"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_5GUu0MF6EeyfZaZ4JNeRTg" identifier="org.eclipse.papyrus.umldi.DelegationConstraint_PackagedElementShape" name="DelegationConstraint Packaged Element Shape" hint="Constraint_PackagedElementShape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_5GVV4MF6EeyfZaZ4JNeRTg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_PackagedElementShape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_5GV88MF6EeyfZaZ4JNeRTg" identifier="org.eclipse.papyrus.umldi.DelegationConstraint_PackagedElementShape_CN" name="DelegationConstraint Packaged Element Shape CN" hint="Constraint_PackagedElementShape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_5GV88cF6EeyfZaZ4JNeRTg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_PackagedElementShape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_5GWkAMF6EeyfZaZ4JNeRTg" identifier="org.eclipse.papyrus.umldi.DelegationConstraint_Shape" name="DelegationConstraint Shape" hint="Constraint_Shape" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_5GWkAcF6EeyfZaZ4JNeRTg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_5GXLEMF6EeyfZaZ4JNeRTg" identifier="org.eclipse.papyrus.umldi.DelegationConstraint_Shape_CCN" name="DelegationConstraint Shape CCN" hint="Constraint_Shape_CCN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_5GXyIMF6EeyfZaZ4JNeRTg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape_CCN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_5GXyIcF6EeyfZaZ4JNeRTg" identifier="org.eclipse.papyrus.umldi.DelegationConstraint_Shape_CN" name="DelegationConstraint Shape CN" hint="Constraint_Shape_CN" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<iconEntry xmi:type="elementtypesconfigurations:IconEntry" xmi:id="_5GYZMMF6EeyfZaZ4JNeRTg" iconPath="/icons/full/obj16/Constraint.gif" bundleId="org.eclipse.uml2.uml.edit"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.uml.service.types/model/umldi.elementtypesconfigurations#org.eclipse.papyrus.umldi.Constraint_Shape_CN"/>
</elementTypeConfigurations>
<elementTypeConfigurations xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" xmi:id="_B-UqQMF7EeyfZaZ4JNeRTg" description="Used to display a constraint in the typed constraint property" identifier="org.eclipse.papyrus.sysml16di.DelegationConstraint_Label" name="DelegationConstraint_Label" hint="Constraint_Label" kind="org.eclipse.gmf.runtime.emf.type.core.IHintedType">
<matcherConfiguration xmi:type="elementtypesconfigurations:MatcherConfiguration" xmi:id="_B-UqQcF7EeyfZaZ4JNeRTg" matcherClassName="org.eclipse.papyrus.sysml16.service.types.matcher.internal.SysML16ProfileMatcher"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.polarsys.chess.contracts.profile/palettes/CHESSContract.elementtypesconfigurations#org.polarsys.chess.contracts.profile.cHESSContract.DelegationConstraint"/>
<specializedTypes xmi:type="elementtypesconfigurations:SpecializationTypeConfiguration" href="platform:/plugin/org.eclipse.papyrus.sysml16.diagram.common/resources/SysML16Di-extension.elementtypesconfigurations#org.eclipse.papyrus.sysml16di.Constraint_Label"/>
</elementTypeConfigurations>
</elementtypesconfigurations:ElementTypeSetConfiguration>

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