From c4f41f6f2248c21e52a26cc345e024577e1ae87b Mon Sep 17 00:00:00 2001
From: Laurent Fainsin
Date: Tue, 7 Dec 2021 21:57:49 +0100
Subject: [PATCH] avancement MTL prototype
---
.../src-gen/Prototype.java | 1 +
.../ATL Transformation (game2petrinet).launch | 2 +-
.../fr.n7.game2petrinet/Game2PetriNet.atl | 4 +-
.../n7/game/toPrototype/main/toPrototype.emtl | 4667 ++++++++++++-----
.../n7/game/toPrototype/main/toPrototype.mtl | 169 +-
.../n7/game/toPrototype/main/toPrototype.mtl | 169 +-
.../xtext/tests/.GameParsingTest.xtendbin | Bin 3389 -> 3389 bytes
.../xtext/generator/.GameGenerator.xtendbin | Bin 2284 -> 2284 bytes
8 files changed, 3514 insertions(+), 1498 deletions(-)
diff --git a/runtime-workspace/fr.n7.game.examples/src-gen/Prototype.java b/runtime-workspace/fr.n7.game.examples/src-gen/Prototype.java
index faaa959..532e7be 100644
--- a/runtime-workspace/fr.n7.game.examples/src-gen/Prototype.java
+++ b/runtime-workspace/fr.n7.game.examples/src-gen/Prototype.java
@@ -17,6 +17,7 @@ List jeu_objets = new ArrayList<>();
false
);
);
+ conditions_ET_objet_tentative_description_1.add(conditions_TEST_objet_tentative_description_1);
Condition condition_objet_tentative_description_1 = new Condition(conditions_ET_objet_tentative_description_1);
diff --git a/runtime-workspace/fr.n7.game2petrinet/ATL Transformation (game2petrinet).launch b/runtime-workspace/fr.n7.game2petrinet/ATL Transformation (game2petrinet).launch
index ad41721..1bccae9 100644
--- a/runtime-workspace/fr.n7.game2petrinet/ATL Transformation (game2petrinet).launch
+++ b/runtime-workspace/fr.n7.game2petrinet/ATL Transformation (game2petrinet).launch
@@ -19,7 +19,7 @@
-
+
diff --git a/runtime-workspace/fr.n7.game2petrinet/Game2PetriNet.atl b/runtime-workspace/fr.n7.game2petrinet/Game2PetriNet.atl
index 7e2b854..5efae48 100755
--- a/runtime-workspace/fr.n7.game2petrinet/Game2PetriNet.atl
+++ b/runtime-workspace/fr.n7.game2petrinet/Game2PetriNet.atl
@@ -29,7 +29,7 @@ rule Lieu2PetriNet {
p: petrinet!Place(
name <- 'lieu_' + l.nom.nom,
tokens <- 0,
- network <- p.getNetwork('jeu'))
+ network <- p.getNetwork())
}
-- Traduire une WorkDefinition en un motif sur le réseau de Petri
@@ -38,7 +38,7 @@ rule Chemin2PetriNet {
to
-- TRANSITIONS d'un Chemin
t: petrinet!Transition(
- name <- 'chemin_' + c.nom.nom,
+ name <- 'chemin_' + c.Nom.nom,
network <- t.getNetwork()),
-- ARCS d'un Chemin
arcIn: petrinet!Arc(
diff --git a/workspace/fr.n7.game.toPrototype/bin/fr/n7/game/toPrototype/main/toPrototype.emtl b/workspace/fr.n7.game.toPrototype/bin/fr/n7/game/toPrototype/main/toPrototype.emtl
index 3818f6b..79543cd 100644
--- a/workspace/fr.n7.game.toPrototype/bin/fr/n7/game/toPrototype/main/toPrototype.emtl
+++ b/workspace/fr.n7.game.toPrototype/bin/fr/n7/game/toPrototype/main/toPrototype.emtl
@@ -13,119 +13,42 @@
-
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
@@ -137,7 +60,7 @@
-
+
@@ -147,7 +70,7 @@
-
+
@@ -157,77 +80,106 @@
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
-
+
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -239,42 +191,67 @@
-
+
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+