projet-genie-logiciel-systeme/workspace/fr.n7.xtext.game/model/GAME.ocl
2021-12-03 11:57:43 +01:00

14 lines
254 B
Plaintext

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