projet-genie-logiciel-systeme/workspace/fr.n7.game.xtext/model/Game.ocl

28 lines
706 B
Plaintext
Raw Normal View History

2021-12-04 11:07:21 +00:00
import 'generated/Game.ecore'
package game
context Explorateur
inv negativeQuantity: self.tailleInventaire >= 0
context Objet
inv negativeQuantity: self.taille >= 0
2021-12-09 17:43:05 +00:00
context Jeu
inv NomLieuUnique:
Lieu.allInstances() -> isUnique(Lieu.name)
2021-12-09 17:43:05 +00:00
inv NomCheminUnique:
Chemin.allInstances() -> isUnique(Chemin.name)
2021-12-09 17:43:05 +00:00
inv NomObjetUnique:
Objet.allInstances() -> isUnique(Objet.name)
2021-12-09 17:43:05 +00:00
inv NomConnaissanceUnique:
Connaissance.allInstances() -> isUnique(Connaissance.name)
2021-12-09 17:43:05 +00:00
inv NomPersonneUnique:
Personne.allInstances() -> isUnique(Personne.name)
2021-12-09 17:43:05 +00:00
inv NomInteractionUnique:
Interaction.allInstances() -> isUnique(Interaction.name)
2021-12-09 17:43:05 +00:00
inv NomActionUnique:
Action.allInstances() -> isUnique(Action.name)
2021-12-04 11:07:21 +00:00
endpackage