32 lines
805 B
Plaintext
32 lines
805 B
Plaintext
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
|