15 lines
255 B
Plaintext
15 lines
255 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
|