coding-toasters/projet-bataille-navale
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

merde update & update nom association

Browse source
This commit is contained in:
vSpaike 2025-01-19 21:40:24 +01:00
parent 726199cb14
commit a951d191a1
2 changed files with 33 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

51
merde.soil
View file

@ -6,23 +6,9 @@
!j2 := new Joueur
!set j2.nom := 'Beta'
!Bataille.nom1 := j1.nom
!Bataille.nom2 := j2.nom
!j1.plateau_attaque := new Plateau
!j1.plateau_defense := new Plateau
!j2.plateau_attaque := new Plateau
!j2.plateau_defense := new Plateau
!flotte_j1 := new Flotte
!flotte_j2 := new Flotte
!j1.flotte := flotte_j1
!j2.flotte := flotte_j2
!j1.flotte.ajouterBateau{bateau1_j1}
-- ,bateau2_j1,bateau3_j1,bateau4_j1
-- Bateau Joueur1
!bateau1_j1 := new Bateau
!bateau1_j1.type := TypeBateau::Torpilleur
@ -61,14 +47,14 @@
!bateau4_j1.y2 := 9
-- Bateau Joueur2
!bateau1_j2_j1 := new Bateau
!bateau1_j2_j1.type := TypeBateau::Torpilleur
!bateau1_j2_j1.longueur := 2
!bateau1_j2_j1.etat := EtatBateau::Operationnel
!bateau1_j2_j1.x1 := 2
!bateau1_j2_j1.y1 := 2
!bateau1_j2_j1.x2 := 3
!bateau1_j2_j1.y2 := 2
!bateau1_j2 := new Bateau
!bateau1_j2.type := TypeBateau::Torpilleur
!bateau1_j2.longueur := 2
!bateau1_j2.etat := EtatBateau::Operationnel
!bateau1_j2.x1 := 2
!bateau1_j2.y1 := 2
!bateau1_j2.x2 := 3
!bateau1_j2.y2 := 2
!bateau2_j2 := new Bateau
!bateau2_j2.type := TypeBateau::Croiseur
@ -97,4 +83,23 @@
!bateau4_j2.x2 := 9
!bateau4_j2.y2 := 6
!
!insert(flotte_j1, bateau1_j1) into flotte_bateau
!insert(flotte_j1, bateau2_j1) into flotte_bateau
!insert(flotte_j1, bateau3_j1) into flotte_bateau
!insert(flotte_j1, bateau4_j1) into flotte_bateau
!insert(flotte_j2, bateau1_j2) into flotte_bateau
!insert(flotte_j2, bateau2_j2) into flotte_bateau
!insert(flotte_j2, bateau3_j2) into flotte_bateau
!insert(flotte_j2, bateau4_j2) into flotte_bateau
!insert(j1,Bataille) into EstEnJeu1
!insert(j2,Bataille) into EstEnJeu1
!insert (j1,flotte_j1) into flotte_joueur
!insert (j2,flotte_j2) into flotte_joueur
!insert(j1,new Plateau) into Utilise
!insert(j1,new Plateau) into Utilise
!insert(j2,new Plateau) into Utilise
!insert(j2,new Plateau) into Utilise

9
projet.use
View file

@ -84,6 +84,7 @@ end
class Flotte
operations
ajouterBateau(bateau: Bateau)
pre torpilleur: bateau.type = TypeBateau::Torpilleur implies bateaux->select(b: Bateau | b.type = TypeBateau::Torpilleur)->size() < 1
pre contre_torpilleur: bateau.type = TypeBateau::Contre_Torpilleur implies bateaux->select(b: Bateau | b.type = TypeBateau::Contre_Torpilleur)->size() < 2
pre croiseur: bateau.type = TypeBateau::Croiseur implies bateaux->select(b: Bateau | b.type = TypeBateau::Croiseur)->size() < 1
@ -154,12 +155,12 @@ Joueur[1] role joueur
Plateau[1] role plateau
end
composition Joue1 between
composition EstEnJeu1 between
Joueur[1] role joueur1
Jeu[1] role jeu1
end
composition Joue2 between
composition EstEnJeu2 between
Joueur[1] role joueur2
Jeu[1] role jeu2
end
@ -169,12 +170,12 @@ Joueur[1] role joueur
Coup[0..100] role coups
end
association Appartient between
association flotte_joueur between
Joueur[1] role joueur
Flotte[1] role flotte
end
composition Appartient2 between
composition flotte_bateau between
Flotte[1] role flotte
Bateau[5] role bateaux
end