| import 'Bug423905.uml' | |
| package test | |
| context B | |
| inv ClassConstraintComplete: | |
| self.a->forAll(a | self.value < a.value) | |
| inv ClassConstraintComplete2: | |
| self.MyAssociationClass->forAll(self.value < a_ac.value) | |
| context MyAssociationClass | |
| inv AssociationClassConstraintComplete: | |
| self.b_ac.value < self.a_ac.value | |
| context MyAssociation | |
| inv AssociationConstraintComplete: | |
| self.b.value < self.a.value | |
| endpackage |