Sign in
eclipse
/
mmt
/
org.eclipse.qvtd
/
47eeb0d59204b844b99dd07afbcf92fc6aa9136a
/
.
/
tests
/
org.eclipse.qvtd.doc.minioclcs.xtext.tests
/
models
/
simple_invariants.mocl
blob: e4f2fc5480701d0dbecc7a283ab089af6e5bc9e8 [
file
] [
log
] [
blame
]
package
package1
{
class
c1
{
prop a
:
String
;
op giveMeA
()
:
String
=
self
.
c1
;
op testA
()
:
Boolean
=
giveMeA
().
size
()
<>
0
;
}
}
context package1
::
c1
{
inv
:
a
=
giveMeA
();
inv
:
testA
();
}