Commit d64dc4f1 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fix for ConnectedInteractionGates constraint, #179

parent 2b41b6a2

plugins/org.etsi.mts.tdl.model/model/tdl-constraints.ocl

+2 −2
Original line number Diff line number Diff line
@@ -950,8 +950,8 @@ context Interaction 
  inv ConnectedInteractionGates ('The \'GateReference\'s that act as source or target(s) of an \'Interaction\' shall be interconnected by a \'Connection\' which is contained in the \'TestConfiguration\' referenced by the \'TestDescription\' containing the \'Interaction\'.' + self.toString()):

        self.target->forAll(t |

              self.getParentTestDescription().testConfiguration.connection->exists(c |

                  not c.endPoint->reject(ep | 

                      (ep.component = self.sourceGate.component and ep.gate = self.sourceGate.component) or

                  c.endPoint->reject(ep | 

                      (ep.component = self.sourceGate.component and ep.gate = self.sourceGate.gate) or

                      (ep.component = t.targetGate.component and ep.gate = t.targetGate.gate)

                  )->isEmpty()))