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

+ fix for transitive extensions, #168

parent 5c8a7b34

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

+1 −1
Original line number Diff line number Diff line
@@ -781,7 +781,7 @@ 
    </eOperations>

    <eOperations name="isExtending" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject">

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

        <details key="body" value="&#xA;                if (self.extending = e) then&#xA;                    true&#xA;                else&#xA;                    if (self->closure(transitiveExtending())->includes(e)) then&#xA;                        true&#xA;                    else&#xA;                        false&#xA;                    endif &#xA;                endif&#xA;                "/>

        <details key="body" value="&#xA;                if (self.extending = e) then&#xA;                    true&#xA;                else&#xA;                    if (self->closure(transitiveExtending())->collect(ex | ex.extending)->includes(e)) then&#xA;                        true&#xA;                    else&#xA;                        false&#xA;                    endif &#xA;                endif&#xA;                "/>

      </eAnnotations>

      <eParameters name="e" eType="#//PackageableElement"/>

    </eOperations>