feat: un peu plus de ocl
This commit is contained in:
parent
fd88a85f10
commit
c5f03cec1a
|
@ -12,4 +12,4 @@ tr chemin_win lieu_Enigme*1 -> lieu_Succes*1
|
|||
tr chemin_loose lieu_Enigme*1 -> lieu_Echec*1
|
||||
tr interaction_Parler lieu_Enigme*1 -> personne_Sphinx*1
|
||||
tr action_Reponse_1 personne_Sphinx*1 -> lieu_Enigme*1
|
||||
tr action_Reponse_2 personne_Sphinx*1 -> lieu_Enigme*1
|
||||
tr action_Reponse_2 personne_Sphinx*0 -> lieu_Enigme*1
|
||||
|
|
|
@ -11,4 +11,27 @@ inv negativeQuantity: self.taille >= 0
|
|||
context Nom
|
||||
inv CorrectNom: self.nom.matches('[a-zA-Z]([a-zA-Z0-9]|_)*')
|
||||
|
||||
context Jeu
|
||||
inv NomLieuUnique:
|
||||
Lieu.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomCheminUnique:
|
||||
Chemin.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomObjetUnique:
|
||||
Objet.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomConnaissanceUnique:
|
||||
Connaissance.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomPersonneUnique:
|
||||
Personne.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomInteractionUnique:
|
||||
Interaction.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
inv NomActionUnique:
|
||||
Action.allInstances()
|
||||
->forAll(x, y | x.nom.nom <> y.nom.nom)
|
||||
|
||||
endpackage
|
||||
|
|
Loading…
Reference in a new issue