Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
4ccef14d9c90c7bbb5a300d9d7b3f48ab4232005
/
.
/
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