From ce1f9c57988642a15a1e32997a207b5a62a9136d Mon Sep 17 00:00:00 2001
From: Guillotin Damien <dguillot@azote.enseeiht.fr>
Date: Sat, 4 Dec 2021 12:27:00 +0100
Subject: [PATCH] :fix un atl qui n'a pas d'erreur

---
 .../fr.n7.game2petrinet/Game2PetriNet.atl     |   6 +++---
 .../xtext/generator/.GAMEGenerator.xtendbin   | Bin 2271 -> 2271 bytes
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/workspace/fr.n7.game2petrinet/Game2PetriNet.atl b/workspace/fr.n7.game2petrinet/Game2PetriNet.atl
index 25fc084..d793347 100755
--- a/workspace/fr.n7.game2petrinet/Game2PetriNet.atl
+++ b/workspace/fr.n7.game2petrinet/Game2PetriNet.atl
@@ -3,7 +3,7 @@ create OUT: petrinet from  IN: game;
 
 
 -- Obtenir la place correspondant au predecesseur d'une WorkSequence
-helper def: network(): petrinet!Network =
+helper def: getNetwork() : petrinet!Network =
 	petrinet!Network.allInstances()
 			->select(n | n.name = 'jeu')
 			->asSequence()->first();
@@ -29,7 +29,7 @@ rule Lieu2PetriNet {
 		p: petrinet!Place(
 				name <- 'lieu_' + l.nom,
 				tokens <- 0,
-				network <- p.network())
+				network <- p.getNetwork('jeu'))
 }
 
 -- Traduire une WorkDefinition en un motif sur le réseau de Petri
@@ -39,7 +39,7 @@ rule Chemin2PetriNet {
 		-- TRANSITIONS d'un Chemin
 		t: petrinet!Transition(
 				name <- 'chemin_' + c.nom,
-				network <- t.network()),
+				network <- t.getNetwork()),
 		-- ARCS d'un Chemin
 		arcIn: petrinet!Arc(
 				place <- c.getPlaceOf('lieu_' + c.lieuIn.nom),
diff --git a/workspace/fr.n7.xtext.game/xtend-gen/fr/n7/xtext/generator/.GAMEGenerator.xtendbin b/workspace/fr.n7.xtext.game/xtend-gen/fr/n7/xtext/generator/.GAMEGenerator.xtendbin
index db05a1253c5bfc7a42a77c5c1aba6a54e1ac6ecc..9ff52954cd9842996c43b65bb9ba793e0189c6ee 100644
GIT binary patch
delta 58
zcmcaFcwdkwz?+#xgn@&DgCQ+qBhPMTrnHF7Cz(r_K(syE14bY{S&_p6L`8ErfT+0~
FP5{e^5GDWs

delta 58
zcmcaFcwdkwz?+#xgn@&DgTdH!BhPMTCS%vlCz(r_K(syE14bY{S&_p6L`8ErfT+0~
FP5`724uSvx