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