Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
refs/tags/6.10.1
/
.
/
tests
/
org.eclipse.ocl.examples.xtext.tests
/
models
/
ocl
/
Bug441620.ocl
blob: 8e56e479f222f7027a5318779570bcdd420d50a2 [
file
] [
log
] [
blame
]
import
pivot
:
'http://www.eclipse.org/ocl/2015/Pivot#/'
package
pivot
context
Element
inv
:
true
endpackage
