From 13cfe513fecd6e3c83073748b37e2392d0ca6112 Mon Sep 17 00:00:00 2001
From: vSpaike <153102900+vSpaike@users.noreply.github.com>
Date: Fri, 17 Jan 2025 13:55:09 +0100
Subject: [PATCH] =?UTF-8?q?x,y=20=E2=82=AC=20[0,10]?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
projet.use | 2 +
projet_default.clt | 560 +++++++++++++++++++++------------------------
2 files changed, 266 insertions(+), 296 deletions(-)
diff --git a/projet.use b/projet.use
index 9bdeba3..a51e2e8 100644
--- a/projet.use
+++ b/projet.use
@@ -62,6 +62,8 @@ attributes
operations
changerEtat(nouveauEtat: TypeCase)
getEtat(): TypeCase
+constraints
+ inv coordonne: x <= 10 and x > 0 and y > 0 and y <= 10
end
class Bateau
diff --git a/projet_default.clt b/projet_default.clt
index da40e34..9498a52 100644
--- a/projet_default.clt
+++ b/projet_default.clt
@@ -4,7 +4,7 @@
false
false
true
- true
+ false
false
true
false
@@ -12,88 +12,88 @@
Plateau
- 566.0
- 36.0
+ 300.0
+ 285.0
false
Flotte
- 379.0
- 420.0
+ 201.0
+ 365.0
false
Coup
- 528.0
- 282.0
+ 211.0
+ 48.0
false
Bateau
- 709.0
- 396.0
+ 396.0
+ 371.0
false
Jeu
- 155.0
- 242.0
+ 33.0
+ 90.0
false
Joueur
- 318.0
- 211.0
+ 97.0
+ 216.0
false
Case
- 734.0
- 166.0
+ 457.0
+ 190.0
false
TypeCoup
- 876.0
- 311.0
+ 690.0
+ 16.0
false
TypeCase
- 874.0
- 76.0
+ 705.0
+ 362.0
false
EtatBateau
- 875.0
- 411.0
+ 704.0
+ 278.0
false
TypeBateau
- 877.0
- 192.0
+ 705.0
+ 137.0
false
@@ -102,6 +102,30 @@
Bateau
Repartit
+
+ 2..5
+
+ 0.0
+ 0.0
+ Repartit::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ bateau
+
+ 0.0
+ 0.0
+ Repartit::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Repartit
@@ -116,35 +140,11 @@
false
-
- bateau
-
- -7.0
- -33.0
- Repartit::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 2..5
+
+ cases
0.0
0.0
- Repartit::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- cases
-
- 3.0
- 24.0
Repartit::WayPoint::0
8
8
@@ -194,6 +194,30 @@
Plateau
Compose
+
+ 1
+
+ 0.0
+ 0.0
+ Compose::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ plateau
+
+ 0.0
+ 0.0
+ Compose::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Compose
@@ -208,27 +232,15 @@
false
-
- plateau
-
- -21.0
- 18.0
- Compose::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
+
+ cases
0.0
0.0
- Compose::WayPoint::1
+ Compose::WayPoint::0
8
8
- BOTTOM
+ TOP
false
@@ -244,18 +256,6 @@
false
-
- cases
-
- 45.0
- -21.0
- Compose::WayPoint::0
- 8
- 8
- TOP
-
- false
-
@@ -286,25 +286,11 @@
Coup
Etat
-
- Etat
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Etat::WayPoint::0
- Etat::WayPoint::1
-
-
- false
-
-
+
coup
- 18.0
- 21.0
+ 0.0
+ 0.0
Etat::WayPoint::1
8
8
@@ -324,11 +310,25 @@
false
-
+
+ Etat
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Etat::WayPoint::0
+ Etat::WayPoint::1
+
+
+ false
+
+
case
- -13.0
- -12.0
+ 0.0
+ 0.0
Etat::WayPoint::0
8
8
@@ -378,24 +378,10 @@
Flotte
Appartient
-
- Appartient
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient::WayPoint::0
- Appartient::WayPoint::1
-
-
- false
-
-
+
flotte
- 105.0
+ 0.0
0.0
Appartient::WayPoint::1
8
@@ -416,15 +402,17 @@
false
-
- joueur
-
- 51.0
- 29.0
- Appartient::WayPoint::0
- 8
- 8
- TOP
+
+ Appartient
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Appartient::WayPoint::0
+ Appartient::WayPoint::1
+
false
@@ -440,6 +428,18 @@
false
+
+ joueur
+
+ 0.0
+ 0.0
+ Appartient::WayPoint::0
+ 8
+ 8
+ TOP
+
+ false
+
@@ -470,6 +470,30 @@
Plateau
Utilise
+
+ 1
+
+ 0.0
+ 0.0
+ Utilise::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ plateau
+
+ 0.0
+ 0.0
+ Utilise::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Utilise
@@ -484,35 +508,11 @@
false
-
- plateau
-
- -24.0
- -11.0
- Utilise::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
+
+ joueur
0.0
0.0
- Utilise::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
-
- joueur
-
- -16.0
- -10.0
Utilise::WayPoint::0
8
8
@@ -562,6 +562,30 @@
Jeu
Joue2
+
+ jeu1
+
+ 0.0
+ 0.0
+ Joue2::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
+
+ 1
+
+ 0.0
+ 0.0
+ Joue2::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
Joue2
@@ -571,40 +595,16 @@
-10.0
Joue2::WayPoint::0
- Joue2::WayPoint::3
+ Joue2::WayPoint::1
false
-
- 1
-
- 0.0
- 0.0
- Joue2::WayPoint::3
- 8
- 8
- BOTTOM
-
- false
-
-
- jeu1
-
- 0.0
- 0.0
- Joue2::WayPoint::3
- 8
- 8
- TOP
-
- false
-
-
+
joueur2
- -15.0
- 15.0
+ 0.0
+ 0.0
Joue2::WayPoint::0
8
8
@@ -638,31 +638,19 @@
1
-
- 268.0
- 312.0
+
+ 15.975093586675285
+ 130.0
+ ABSOLUTE
+ 0.0
+ 1.7976931348623157E308
+ ABSOLUTE
+ 0.0
+ 1.7976931348623157E308
+ NORTH_WEST
+ Jeu
1
- 0
- false
-
-
- 2
-
- 183.0
- 311.0
-
- 2
- 0
- false
-
-
- 3
-
- 0.0
- 0.0
-
- 3
2
false
@@ -674,25 +662,11 @@
Bateau
Appartient2
-
- Appartient2
-
- 0.0
- 0.0
- 0.0
- -10.0
-
- Appartient2::WayPoint::0
- Appartient2::WayPoint::1
-
-
- false
-
-
+
bateaux
- -4.0
- 18.0
+ 0.0
+ 0.0
Appartient2::WayPoint::1
8
8
@@ -712,11 +686,25 @@
false
+
+ Appartient2
+
+ 0.0
+ 0.0
+ 0.0
+ -10.0
+
+ Appartient2::WayPoint::0
+ Appartient2::WayPoint::1
+
+
+ false
+
flotte
- 24.0
- 30.0
+ 86.0
+ 108.0
Appartient2::WayPoint::0
8
8
@@ -766,6 +754,30 @@
Jeu
Joue1
+
+ 1
+
+ 0.0
+ 0.0
+ Joue1::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ jeu2
+
+ 0.0
+ 0.0
+ Joue1::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Joue1
@@ -775,35 +787,23 @@
-10.0
Joue1::WayPoint::0
- Joue1::WayPoint::3
+ Joue1::WayPoint::1
false
-
- jeu2
+
+ joueur1
- -4.0
- -20.0
- Joue1::WayPoint::3
+ 14.0
+ 147.0
+ Joue1::WayPoint::0
8
8
TOP
false
-
- 1
-
- 0.0
- 0.0
- Joue1::WayPoint::3
- 8
- 8
- BOTTOM
-
- false
-
1
@@ -816,18 +816,6 @@
false
-
- joueur1
-
- 0.0
- 0.0
- Joue1::WayPoint::0
- 8
- 8
- TOP
-
- false
-
@@ -840,33 +828,13 @@
1
false
-
+
1
-
- 282.0
- 150.0
-
- 1
- 0
- false
-
-
- 2
-
- 154.0
- 176.0
-
- 2
- 0
- false
-
-
- 3
0.0
0.0
- 3
+ 1
2
false
@@ -878,6 +846,30 @@
Coup
Tire
+
+ 1
+
+ 0.0
+ 0.0
+ Tire::WayPoint::1
+ 8
+ 8
+ BOTTOM
+
+ false
+
+
+ coups
+
+ 0.0
+ 0.0
+ Tire::WayPoint::1
+ 8
+ 8
+ TOP
+
+ false
+
Tire
@@ -892,30 +884,6 @@
false
-
- coups
-
- -23.0
- 28.0
- Tire::WayPoint::1
- 8
- 8
- TOP
-
- false
-
-
- 1
-
- 0.0
- 0.0
- Tire::WayPoint::1
- 8
- 8
- BOTTOM
-
- false
-
*
@@ -931,8 +899,8 @@
joueur
- 16.0
- -21.0
+ -1.0
+ 88.0
Tire::WayPoint::0
8
8