Commit 71b39b83 authored by Martti Käärik's avatar Martti Käärik
Browse files

Implemented TestConfiguration.compatibleWith()

parent 125c950a

plugins/org.etsi.mts.tdl.model/model/tdl.ecore

+3 −0
Original line number Diff line number Diff line
@@ -456,6 +456,9 @@ 
  </eClassifiers>

  <eClassifiers xsi:type="ecore:EClass" name="TestConfiguration" eSuperTypes="#//PackageableElement">

    <eOperations name="compatibleWith" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean">

      <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore/OCL/Pivot">

        <details key="body" value="self.componentInstance->forAll(c | cb->exists(formalComponent = c)) and&#xA;self.connection->forAll(c1 | tc.connection->exists(c2 |&#xA;&#x9;c1.endPoint->reject(ep1 | c2.endPoint->exists(ep2 |&#xA;&#x9;&#x9;cb->any(formalComponent = ep1.component).actualComponent = ep2.component and ep1.gate = ep2.gate&#xA;&#x9;))->isEmpty()&#xA;))"/>

      </eAnnotations>

      <eParameters name="tc" lowerBound="1" eType="#//TestConfiguration"/>

      <eParameters name="cb" ordered="false" upperBound="-1" eType="#//ComponentInstanceBinding"/>

    </eOperations>