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

import 'generated/Game.ecore'

package game

context Explorateur
inv negativeQuantity: self.tailleInventaire >= 0
inv capaciteMax: 
	self.objets
		->collect(o: Objet | o.taille)
		->sum() <= self.tailleInventaire

context Objet
inv negativeQuantity: self.taille >= 0

context Jeu
inv NomLieuUnique:
	Lieu.allInstances() -> isUnique(Lieu.name)
inv NomCheminUnique:
	Chemin.allInstances() -> isUnique(Chemin.name)
inv NomObjetUnique:
	Objet.allInstances() -> isUnique(Objet.name)
inv NomConnaissanceUnique:
	Connaissance.allInstances() -> isUnique(Connaissance.name)
inv NomPersonneUnique:
	Personne.allInstances() -> isUnique(Personne.name)
inv NomInteractionUnique:
	Interaction.allInstances() -> isUnique(Interaction.name)
inv NomActionUnique:
	Action.allInstances() -> isUnique(Action.name)

endpackage