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

14 lines
254 B
Plaintext
Raw Normal View History

2021-12-03 10:57:43 +00:00
import 'generated/GAME.ecore'
package gAME
context Explorateur
inv negativeQuantity: self.tailleInventaire >= 0
context Objet
inv negativeQuantity: self.taille >= 0
context Nom
inv CorrectNom: self.nom.matches('[a-zA-Z]([a-zA-Z0-9]|_)*')
endpackage