Commit 00e7285d authored by Vincent Aravantinos's avatar Vincent Aravantinos
Browse files

Traces simpler modelled and in MIRA

refs 2883
parent af06a5b8
......@@ -296,6 +296,10 @@
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DerivedRequirementSpecification" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IModelElementSpecification"/>
<eClassifiers xsi:type="ecore:EClass" name="Trace" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eStructuralFeatures xsi:type="ecore:EReference" name="targets" upperBound="-1"
eType="#//Requirement"/>
</eClassifiers>
<eSubpackages name="usecase" nsURI="http://www.fortiss.org/af3/mira/usecase" nsPrefix="org-fortiss-af3-mira-usecase">
<eClassifiers xsi:type="ecore:EClass" name="UseCase" eSuperTypes="#//Requirement platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHierarchicElementContainer #//usecase/UseCaseSpecification">
<eOperations name="getScopeSpecification" eType="#//usecase/ScopeSpecification">
......
......@@ -146,6 +146,9 @@
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute mira.ecore#//ModeSpecification/modes"/>
</genClasses>
<genClasses ecoreClass="mira.ecore#//DerivedRequirementSpecification"/>
<genClasses ecoreClass="mira.ecore#//Trace">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference mira.ecore#//Trace/targets"/>
</genClasses>
<nestedGenPackages prefix="Usecase" basePackage="org.fortiss.af3.mira.model" disposableProviderFactory="true"
ecorePackage="mira.ecore#//usecase">
<genEnums typeSafeEnumCompatible="false" ecoreEnum="mira.ecore#//usecase/ScenarioStepActionType">
......
......@@ -39,12 +39,14 @@ import static org.fortiss.af3.mira.utils.MiraModelElementFactory.createTimingReq
import static org.fortiss.af3.mira.utils.MiraModelElementFactory.createUseCaseSpecification;
import org.fortiss.af3.mira.model.DerivedRequirementSpecification;
import org.fortiss.af3.mira.model.MiraFactory;
import org.fortiss.af3.mira.model.ModeSpecification;
import org.fortiss.af3.mira.model.ParameterDefinition;
import org.fortiss.af3.mira.model.Requirement;
import org.fortiss.af3.mira.model.RequirementsContainer;
import org.fortiss.af3.mira.model.RequirementsPackage;
import org.fortiss.af3.mira.model.SafetyLevelRequirementSpecification;
import org.fortiss.af3.mira.model.Trace;
import org.fortiss.af3.mira.model.functional.FormalSpecification;
import org.fortiss.af3.mira.model.functional.SignalContainerSpecification;
import org.fortiss.af3.mira.model.glossary.Glossary;
......@@ -60,7 +62,7 @@ import org.fortiss.tooling.kernel.extension.base.PrototypeProviderBase;
*
* @author mou
* @version $Rev: 18709 $
* @ConQAT.Rating YELLOW Hash: CF7C870F38877F886E1D659E01F67AA7
* @ConQAT.Rating YELLOW Hash: 5B608804E57A7DFAB348CC94C9BA3DC0
*/
public class PrototypeProvider extends PrototypeProviderBase {
......@@ -117,5 +119,8 @@ public class PrototypeProvider extends PrototypeProviderBase {
UseCaseSpecification uc = createUseCaseSpecification();
registerPrimaryPrototype("Use case aspect", uc, CATEGORY_NAME);
Trace t = MiraFactory.eINSTANCE.createTrace();
registerPrimaryPrototype("Trace to requirement", t, CATEGORY_NAME);
}
}
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