| import hospMM : 'Hospital.ecore#/'; | |
| package org::eclipse::qvtd::xtext::qvtrelation::tests::hospital { | |
| transformation isOk(from:hospMM, to:hospMM) | |
| { | |
| top relation isOk { | |
| domain from h1 : Hospital {} { | |
| h1.patients->forAll(p1, p2 | p1 <> p2 implies p1.id <> p2.id) | |
| }; | |
| enforce domain to h2 : Hospital {}; | |
| } | |
| } | |
| } |