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

15 lines
255 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
context Nom
inv CorrectNom: self.nom.matches('[a-zA-Z]([a-zA-Z0-9]|_)*')
endpackage