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

MCDC: Model documentation

* Documented FormalRequirementMCDC
* Documented inputs and outputs of FormalRequirementMCDC

Issue-Ref: 3464
Issue-Url: https://af3-developer.fortiss.org/issues/3464

Signed-off-by: Ludwig Dickmanns's avatarLudwig Dickmanns <dickmanns@fortiss.org>
parent 80dd4192
......@@ -140,11 +140,22 @@
<eSubpackages name="mcdc" nsURI="http://www.fortiss.org/af3/testing/model/mcdc"
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}."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="inputs" upperBound="-1"
eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/Var"
containment="true"/>
containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Defined inputs for the {@link org.fortiss.af3.testing.model.mcdc.FormalRequirementMCDC}.&#xA;In the guard and on the rhs of the assignments there can only be variables, which are contained in this list."/>
</eAnnotations>
</eStructuralFeatures>
<eStructuralFeatures xsi:type="ecore:EReference" name="outputs" upperBound="-1"
eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/Var"/>
eType="ecore:EClass platform:/resource/org.fortiss.af3.expression/model/expression.ecore#//terms/Var">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Defined outputs for the {@link org.fortiss.af3.testing.model.mcdc.FormalRequirementMCDC}.&#xA;On the lhs of the assignments there can only be variables, which are contained in this list."/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
</eSubpackages>
</ecore:EPackage>
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