fix: reconstruction de l'OCL
This commit is contained in:
parent
196e62acf4
commit
c540fd69ad
|
@ -5,6 +5,27 @@
|
||||||
<projects>
|
<projects>
|
||||||
</projects>
|
</projects>
|
||||||
<buildSpec>
|
<buildSpec>
|
||||||
|
<buildCommand>
|
||||||
|
<name>org.eclipse.ocl.pivot.ui.oclbuilder</name>
|
||||||
|
<arguments>
|
||||||
|
<dictionary>
|
||||||
|
<key>disabledExtensions</key>
|
||||||
|
<value>*,essentialocl</value>
|
||||||
|
</dictionary>
|
||||||
|
<dictionary>
|
||||||
|
<key>disabledPaths</key>
|
||||||
|
<value>bin/**,target/**</value>
|
||||||
|
</dictionary>
|
||||||
|
<dictionary>
|
||||||
|
<key>enabledExtensions</key>
|
||||||
|
<value>ecore,ocl,oclinecore,oclstdlib,uml</value>
|
||||||
|
</dictionary>
|
||||||
|
<dictionary>
|
||||||
|
<key>enabledPaths</key>
|
||||||
|
<value>**</value>
|
||||||
|
</dictionary>
|
||||||
|
</arguments>
|
||||||
|
</buildCommand>
|
||||||
<buildCommand>
|
<buildCommand>
|
||||||
<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
|
<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
|
||||||
<arguments>
|
<arguments>
|
||||||
|
@ -30,5 +51,6 @@
|
||||||
<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
|
<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
|
||||||
<nature>org.eclipse.jdt.core.javanature</nature>
|
<nature>org.eclipse.jdt.core.javanature</nature>
|
||||||
<nature>org.eclipse.pde.PluginNature</nature>
|
<nature>org.eclipse.pde.PluginNature</nature>
|
||||||
|
<nature>org.eclipse.ocl.pivot.ui.oclnature</nature>
|
||||||
</natures>
|
</natures>
|
||||||
</projectDescription>
|
</projectDescription>
|
||||||
|
|
14
workspace/fr.n7.game.xtext/model/Game.ocl
Normal file
14
workspace/fr.n7.game.xtext/model/Game.ocl
Normal file
|
@ -0,0 +1,14 @@
|
||||||
|
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
|
Binary file not shown.
Loading…
Reference in a new issue