Commit d42beb80 authored by Ludwig Dickmanns's avatar Ludwig Dickmanns
Browse files

MCDC: Model


Signed-off-by: Ludwig Dickmanns's avatarLudwig Dickmanns <dickmanns@fortiss.org>
parent e1898348
......@@ -141,7 +141,7 @@
nsPrefix="org-fortiss-af3-testing-mcdc">
<eClassifiers xsi:type="ecore:EClass" name="FormalRequirementMCDC" eSuperTypes="platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/imperative/IfThenElse">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Imperative if-then-else statement with defined inputs and outputs.&#xA;Guard, thenBlock and else block must not be &lt;code>null&lt;/code>.&#xA;ThenBlock and ElseBlock are only allowed to contain &#xA;{@link org.fortiss.af3.expression.model.terms.imperative.Assignment}."/>
<details key="documentation" value="Imperative if-then-else statement with defined inputs and outputs.&#xA;Guard, thenBlock and else block must not be &lt;code>null&lt;/code>.&#xA;ThenBlock and ElseBlock are only allowed to contain &#xA;{@link org.fortiss.af3.expression.model.terms.imperative.Assignment}s."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/Var"
......
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