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

+ fixed constraint issue for connections, #125

parent 29d3e727

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

+4 −5
Original line number Diff line number Diff line
@@ -613,14 +613,13 @@ context TestConfiguration 


  -- At most one connection between any two 'GateInstance'/'ComponentInstance' pairs

  inv UniqueConnections ('Given the set of \'Connection\'s contained in a \'TestConfiguration\'. There shall be no two \'Connection\'s containing \'GateReference\'s that in turn refer to identical pairs of \'GateInstance\'/\'ComponentInstance\'.' + self.toString()):

        self.connection->forAll(c1 | self.connection->one(c2 |

              not c1.endPoint->reject(ep1 | not c2.endPoint->exists(ep2 |

                  ep1.component = ep2.component and ep1.gate = ep2.gate

        self.connection->forAll(c1 | 

        	self.connection->one(c2 | c1.endPoint->reject(ep1 | c2.endPoint->exists(ep2 |

		        (ep1.component = ep2.component and ep1.gate = ep2.gate)

		    ))->isEmpty()))









context Block

  -- Guard shall evaluate to Boolean

  inv GuardType ('The type of \'guard\' shall be \'Boolean\'.' + self.toString()):