| import _source : 'SourceMM1.ecore#/' | |
| import _target : 'TargetMM1.ecore#/' | |
| import 'Source2TargetLookup.ocl' | |
| package _source | |
| context X | |
| def : isA1() : Boolean[1] = | |
| isA1 | |
| def : isA2() : Boolean[1] = | |
| isA2 | |
| def : isA3() : Boolean[1] = | |
| not (isA1 or isA2) | |
| context Z | |
| def : parentIsY1() : Boolean[1] = | |
| oclContainer().oclIsTypeOf(Y1) | |
| def : parentIsY2() : Boolean[1] = | |
| oclContainer().oclIsTypeOf(Y2) | |
| endpackage |