Commit 12b85031 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ fix for isEffectivelyStatic after switching CastDataUse to DataUse

parent d3725e9b

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

+1 −1
Changes for plugins/org.etsi.mts.tdl.model/model/tdl.ecore: 1 added line, 1 removed line.
Original line number Diff line number Diff line
@@ -221,7 +221,7 @@ 
    </eOperations>

    <eOperations name="isEffectivelyStatic" 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="&#xA;                (self.oclIsKindOf(StaticDataUse)&#xA;                    or (self.oclIsKindOf(DataElementUse) and &#xA;                        (self.oclAsType(DataElementUse).dataElement.oclIsUndefined()&#xA;                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataInstance)&#xA;                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataType)&#xA;                        )&#xA;                    )&#xA;                )&#xA;                and self.argument->forAll(a | a.dataUse.isEffectivelyStatic())&#xA;                "/>

        <details key="body" value="&#xA;                (self.oclIsKindOf(StaticDataUse)&#xA;                    or (self.oclIsKindOf(CastDataUse) and&#xA;                        self.oclAsType(CastDataUse).dataUse.isEffectivelyStatic()&#xA;                    ) &#xA;                    or (self.oclIsKindOf(DataElementUse) and &#xA;                        (self.oclAsType(DataElementUse).dataElement.oclIsUndefined()&#xA;                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataInstance)&#xA;                            or self.oclAsType(DataElementUse).dataElement.oclIsKindOf(DataType)&#xA;                        )&#xA;                    )&#xA;                )&#xA;                and self.argument->forAll(a | a.dataUse.isEffectivelyStatic())&#xA;                "/>

      </eAnnotations>

    </eOperations>

    <eStructuralFeatures xsi:type="ecore:EReference" name="argument" upperBound="-1"