| import 'http://eclipse.org/ocl/debug/test/ecoreTest' | |
| package ecoreTest | |
| context Eclass1 | |
| inv eclass1_constraint : Tuple{ | |
| status: Boolean = false, | |
| severity: Integer = 0, | |
| message : String = 'ecoreTest: eclass1_constraint '+self.toString() | |
| }.status | |
| context EClass2 | |
| inv eclass2_constraint : Tuple{ | |
| status: Boolean = false, | |
| severity: Integer = 0, | |
| message : String = 'ecoreTest: eclass2_constraint '+self.toString() | |
| }.status | |
| endpackage |