From c540fd69ad1e0940365458f9e1e19955272a060d Mon Sep 17 00:00:00 2001
From: Laurent Fainsin <laurent.fainsin@etu.inp-n7.fr>
Date: Sat, 4 Dec 2021 12:07:21 +0100
Subject: [PATCH] fix: reconstruction de l'OCL

---
 workspace/fr.n7.game.xtext/.project           |  22 ++++++++++++++++++
 workspace/fr.n7.game.xtext/model/Game.ocl     |  14 +++++++++++
 .../xtext/generator/.GameGenerator.xtendbin   | Bin 2284 -> 2284 bytes
 3 files changed, 36 insertions(+)
 create mode 100644 workspace/fr.n7.game.xtext/model/Game.ocl

diff --git a/workspace/fr.n7.game.xtext/.project b/workspace/fr.n7.game.xtext/.project
index 11f8153..c637f51 100644
--- a/workspace/fr.n7.game.xtext/.project
+++ b/workspace/fr.n7.game.xtext/.project
@@ -5,6 +5,27 @@
 	<projects>
 	</projects>
 	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.ocl.pivot.ui.oclbuilder</name>
+			<arguments>
+				<dictionary>
+					<key>disabledExtensions</key>
+					<value>*,essentialocl</value>
+				</dictionary>
+				<dictionary>
+					<key>disabledPaths</key>
+					<value>bin/**,target/**</value>
+				</dictionary>
+				<dictionary>
+					<key>enabledExtensions</key>
+					<value>ecore,ocl,oclinecore,oclstdlib,uml</value>
+				</dictionary>
+				<dictionary>
+					<key>enabledPaths</key>
+					<value>**</value>
+				</dictionary>
+			</arguments>
+		</buildCommand>
 		<buildCommand>
 			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
 			<arguments>
@@ -30,5 +51,6 @@
 		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
 		<nature>org.eclipse.jdt.core.javanature</nature>
 		<nature>org.eclipse.pde.PluginNature</nature>
+		<nature>org.eclipse.ocl.pivot.ui.oclnature</nature>
 	</natures>
 </projectDescription>
diff --git a/workspace/fr.n7.game.xtext/model/Game.ocl b/workspace/fr.n7.game.xtext/model/Game.ocl
new file mode 100644
index 0000000..3faa3e4
--- /dev/null
+++ b/workspace/fr.n7.game.xtext/model/Game.ocl
@@ -0,0 +1,14 @@
+import 'generated/Game.ecore'
+
+package game
+
+context Explorateur
+inv negativeQuantity: self.tailleInventaire >= 0
+
+context Objet
+inv negativeQuantity: self.taille >= 0
+
+context Nom
+inv CorrectNom: self.nom.matches('[a-zA-Z]([a-zA-Z0-9]|_)*') 
+
+endpackage
diff --git a/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin b/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin
index ed0c7146d904444509dd252118387646c6d77ce9..a187f02625554ec8a44f927cf6f00d0e6a305c3c 100644
GIT binary patch
delta 52
zcmaDO_(qUBz?+#xgn@&DgW<+T?!C;6H#VPSZe#*d-fRyU8E;J1<*)>j=^TzgawUf|
E0IKH^7ytkO

delta 52
zcmaDO_(qUBz?+#xgn@&DgCS)j_g-ekl+7oZ8<~KVH`_x-#+1pr9F{;box>4GuH<kA
E0CGbPU;qFB