Sign in
eclipse
/
ocl
/
org.eclipse.ocl
/
refs/heads/archive/373968
/
.
/
tests
/
org.eclipse.ocl.examples.xtext.tests
/
model
/
ModelWithErrors.ocl
blob: e9a242feb609ed3e4c9a477a27c24a1506d9bcda [
file
] [
log
] [
blame
]
import
'ModelWithErrors.ecore'
package
modelWithErrors
context
Detritus
inv
CompleteOCLInvariantOk
:
true
inv
CompleteOCLInvariantFail
(
'Failure on '
+
oclType
().
name
):
false
endpackage
