diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:49:53 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-08-01 14:49:53 +0200 |
commit | 972baab642bd889d2c3476c0c9e17a6929e0c318 (patch) | |
tree | 8f724cb348c60e4fc45d446d8532988ed8e40748 /Application/hu.bme.mit.inf.dslreasoner.application/model/generated | |
parent | Counting scope propagator (simpler than BasicTypeHierarchy) (diff) | |
download | VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.gz VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.tar.zst VIATRA-Generator-972baab642bd889d2c3476c0c9e17a6929e0c318.zip |
[Stochastic] Remove fault tree support for now
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated')
2 files changed, 2 insertions, 24 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore index 629d8670..3334cd5a 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore +++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.ecore | |||
@@ -16,9 +16,6 @@ | |||
16 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> | 16 | <eClassifiers xsi:type="ecore:EClass" name="ViatraImport" eSuperTypes="#//Import"> |
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> | 17 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedViatra" eType="ecore:EClass platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.ecore#//PatternModel"/> |
18 | </eClassifiers> | 18 | </eClassifiers> |
19 | <eClassifiers xsi:type="ecore:EClass" name="CftImport" eSuperTypes="#//Import"> | ||
20 | <eStructuralFeatures xsi:type="ecore:EReference" name="importedCft" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/> | ||
21 | </eClassifiers> | ||
22 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> | 19 | <eClassifiers xsi:type="ecore:EClass" name="Declaration" eSuperTypes="#//Command"> |
23 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> | 20 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EString"/> |
24 | </eClassifiers> | 21 | </eClassifiers> |
@@ -133,14 +130,6 @@ | |||
133 | containment="true"/> | 130 | containment="true"/> |
134 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> | 131 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EInt"/> |
135 | </eClassifiers> | 132 | </eClassifiers> |
136 | <eClassifiers xsi:type="ecore:EClass" name="ReliabilityObjectiveFunction" eSuperTypes="#//ObjectiveFunction"> | ||
137 | <eStructuralFeatures xsi:type="ecore:EReference" name="package" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//CftModel"/> | ||
138 | <eStructuralFeatures xsi:type="ecore:EReference" name="transformation" eType="ecore:EClass platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.ecore#//TransformationDefinition"/> | ||
139 | </eClassifiers> | ||
140 | <eClassifiers xsi:type="ecore:EClass" name="ReliabiltiyProbability" eSuperTypes="#//ReliabilityObjectiveFunction"> | ||
141 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="time" eType="ecore:EDataType platform:/resource/org.eclipse.emf.ecore/model/Ecore.ecore#//EBigDecimal"/> | ||
142 | </eClassifiers> | ||
143 | <eClassifiers xsi:type="ecore:EClass" name="Mtff" eSuperTypes="#//ReliabilityObjectiveFunction"/> | ||
144 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration"> | 133 | <eClassifiers xsi:type="ecore:EClass" name="ObjectiveDeclaration" eSuperTypes="#//Declaration"> |
145 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification" | 134 | <eStructuralFeatures xsi:type="ecore:EReference" name="specification" eType="#//ObjectiveSpecification" |
146 | containment="true"/> | 135 | containment="true"/> |
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel index bc5df821..5b693635 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel +++ b/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel | |||
@@ -1,9 +1,9 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | 2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" |
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.16.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen" | 3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.17.0" modelDirectory="/hu.bme.mit.inf.dslreasoner.application/src-gen" |
4 | modelPluginID="hu.bme.mit.inf.dslreasoner.application" forceOverwrite="true" modelName="ApplicationConfiguration" | 4 | modelPluginID="hu.bme.mit.inf.dslreasoner.application" forceOverwrite="true" modelName="ApplicationConfiguration" |
5 | updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | 5 | updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" |
6 | complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.16" usedGenPackages="platform:/resource/hu.bme.mit.inf.dslreasoner.faulttree.components/model/generated/CftLanguage.genmodel#//cftLanguage platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql"> | 6 | complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.17" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage.emf/model/PatternLanguage.genmodel#//vql"> |
7 | <genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application" | 7 | <genPackages prefix="ApplicationConfiguration" basePackage="hu.bme.mit.inf.dslreasoner.application" |
8 | disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/"> | 8 | disposableProviderFactory="true" fileExtensions="vsconfig" ecorePackage="ApplicationConfiguration.ecore#/"> |
9 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//OptimizationDirection"> | 9 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="ApplicationConfiguration.ecore#//OptimizationDirection"> |
@@ -38,9 +38,6 @@ | |||
38 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport"> | 38 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport"> |
39 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/> | 39 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/> |
40 | </genClasses> | 40 | </genClasses> |
41 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//CftImport"> | ||
42 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//CftImport/importedCft"/> | ||
43 | </genClasses> | ||
44 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration"> | 41 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration"> |
45 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/> | 42 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/> |
46 | </genClasses> | 43 | </genClasses> |
@@ -131,14 +128,6 @@ | |||
131 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//CostEntry/patternElement"/> | 128 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//CostEntry/patternElement"/> |
132 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CostEntry/weight"/> | 129 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//CostEntry/weight"/> |
133 | </genClasses> | 130 | </genClasses> |
134 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ReliabilityObjectiveFunction"> | ||
135 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ReliabilityObjectiveFunction/package"/> | ||
136 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ReliabilityObjectiveFunction/transformation"/> | ||
137 | </genClasses> | ||
138 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ReliabiltiyProbability"> | ||
139 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ReliabiltiyProbability/time"/> | ||
140 | </genClasses> | ||
141 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//Mtff"/> | ||
142 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveDeclaration"> | 131 | <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectiveDeclaration"> |
143 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveDeclaration/specification"/> | 132 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ObjectiveDeclaration/specification"/> |
144 | </genClasses> | 133 | </genClasses> |