Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
bcbc2c221c7c2fe2da687059ae9d85a2f3a85351
/
.
/
tests
/
org.eclipse.ocl.examples.xtext.tests
/
models
/
oclinecore
/
Validate.ocl
blob: a790f781a61e2f945dff68a93514647a88a32050 [
file
] [
log
] [
blame
]
import
'Validate.oclinecore'
package
Validate
context
Level1
inv V1
:
l1
.
size
()
=
2
context
Level2a
inv V2a
:
l2a
.
size
()
=
2
context
Level2b
inv V2b
:
l2b
.
size
()
=
2
context
Level3
inv V3
:
l3
.
size
()
=
2
endpackage