Commit 8f6dc62a authored by Martti Käärik's avatar Martti Käärik
Browse files

VerdictAssignment.verdict is StaticDataUse

parent 4aa15303
......@@ -514,7 +514,7 @@
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="VerdictAssignment" eSuperTypes="#//AtomicBehaviour">
<eStructuralFeatures xsi:type="ecore:EReference" name="verdict" lowerBound="1"
eType="#//DataUse" containment="true"/>
eType="#//StaticDataUse" containment="true"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Assertion" eSuperTypes="#//ActionBehaviour">
<eStructuralFeatures xsi:type="ecore:EReference" name="otherwise" eType="#//DataUse"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment