aboutsummaryrefslogtreecommitdiffstats
path: root/Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2018-01-17 00:54:44 +0100
committerLibravatar OszkarSemerath <oszka@SEMERATH-LAPTOP>2018-01-17 00:54:44 +0100
commit0a31d5448e92d915c7163c3985fa0807f67d3f06 (patch)
tree1a106505c98df6398f2b5fe183771fc315f1e87a /Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel
parentScope patched for metamodel specification (diff)
downloadVIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.tar.gz
VIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.tar.zst
VIATRA-Generator-0a31d5448e92d915c7163c3985fa0807f67d3f06.zip
Scoping and linking of Viatra Packages and Patterns is completed
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel')
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/model/generated/ApplicationConfiguration.genmodel115
1 files changed, 113 insertions, 2 deletions
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 add67f1e..7c488ef0 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
@@ -6,12 +6,16 @@
6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.12" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.genmodel#//patternLanguage"> 6 complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.12" usedGenPackages="platform:/resource/org.eclipse.emf.ecore/model/Ecore.genmodel#//ecore platform:/resource/org.eclipse.viatra.query.patternlanguage/model/generated/PatternLanguage.genmodel#//patternLanguage">
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#//Solver">
10 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/SMTSolver"/>
11 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/AlloySolver"/>
12 <genEnumLiterals ecoreEnumLiteral="ApplicationConfiguration.ecore#//Solver/ViatraSolver"/>
13 </genEnums>
9 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript"> 14 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigurationScript">
10 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/> 15 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/imports"/>
11 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/commands"/> 16 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigurationScript/commands"/>
12 </genClasses> 17 </genClasses>
13 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Command"/> 18 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Command"/>
14 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration"/>
15 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Import"/> 19 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Import"/>
16 <genClasses ecoreClass="ApplicationConfiguration.ecore#//EPackageImport"> 20 <genClasses ecoreClass="ApplicationConfiguration.ecore#//EPackageImport">
17 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//EPackageImport/importedPackage"/> 21 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//EPackageImport/importedPackage"/>
@@ -19,6 +23,19 @@
19 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport"> 23 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ViatraImport">
20 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/> 24 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ViatraImport/importedViatra"/>
21 </genClasses> 25 </genClasses>
26 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Declaration">
27 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//Declaration/name"/>
28 </genClasses>
29 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileSpecification">
30 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//FileSpecification/path"/>
31 </genClasses>
32 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileDeclaration">
33 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileDeclaration/specification"/>
34 </genClasses>
35 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FileReference">
36 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FileReference/referred"/>
37 </genClasses>
38 <genClasses ecoreClass="ApplicationConfiguration.ecore#//File"/>
22 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelSpecification"> 39 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelSpecification">
23 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelSpecification/entries"/> 40 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelSpecification/entries"/>
24 </genClasses> 41 </genClasses>
@@ -33,12 +50,106 @@
33 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/feature"/> 50 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelElement/feature"/>
34 </genClasses> 51 </genClasses>
35 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelDeclaration"> 52 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelDeclaration">
36 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//MetamodelDeclaration/name"/>
37 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelDeclaration/specification"/> 53 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelDeclaration/specification"/>
38 </genClasses> 54 </genClasses>
39 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelReference"> 55 <genClasses ecoreClass="ApplicationConfiguration.ecore#//MetamodelReference">
40 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelReference/referred"/> 56 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//MetamodelReference/referred"/>
41 </genClasses> 57 </genClasses>
42 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Metamodel"/> 58 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Metamodel"/>
59 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelSpecification">
60 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelSpecification/entry"/>
61 </genClasses>
62 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelEntry">
63 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelEntry/path"/>
64 </genClasses>
65 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ModelEntry"/>
66 <genClasses ecoreClass="ApplicationConfiguration.ecore#//FolderEntry">
67 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//FolderEntry/exclusion"/>
68 </genClasses>
69 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelDeclaration">
70 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelDeclaration/specification"/>
71 </genClasses>
72 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModelReference">
73 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PartialModelReference/referred"/>
74 </genClasses>
75 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PartialModel"/>
76 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternSpecification">
77 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternSpecification/entries"/>
78 </genClasses>
79 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternEntry">
80 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternEntry/package"/>
81 </genClasses>
82 <genClasses ecoreClass="ApplicationConfiguration.ecore#//AllPatternEntry">
83 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//AllPatternEntry/exclusuion"/>
84 </genClasses>
85 <genClasses ecoreClass="ApplicationConfiguration.ecore#//PatternElement">
86 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//PatternElement/pattern"/>
87 </genClasses>
88 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternDeclaration">
89 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternDeclaration/specification"/>
90 </genClasses>
91 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPatternReference">
92 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GraphPatternReference/referred"/>
93 </genClasses>
94 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GraphPattern"/>
95 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigSpecification">
96 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigSpecification/entries"/>
97 </genClasses>
98 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigDeclaration">
99 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigDeclaration/specification"/>
100 </genClasses>
101 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigEntry">
102 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/key"/>
103 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//ConfigEntry/value"/>
104 </genClasses>
105 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ConfigReference">
106 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ConfigReference/config"/>
107 </genClasses>
108 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Config"/>
109 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeSpecification">
110 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeSpecification/scopes"/>
111 </genClasses>
112 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeScope">
113 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/min"/>
114 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/greather"/>
115 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/greaterOrEqual"/>
116 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//TypeScope/type"/>
117 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/less"/>
118 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/lessOrEqual"/>
119 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//TypeScope/max"/>
120 </genClasses>
121 <genClasses ecoreClass="ApplicationConfiguration.ecore#//TypeReference"/>
122 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ClassReference">
123 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ClassReference/element"/>
124 </genClasses>
125 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ObjectReference"/>
126 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerReference"/>
127 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealReference"/>
128 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringReference"/>
129 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeDeclaration">
130 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeDeclaration/specification"/>
131 </genClasses>
132 <genClasses ecoreClass="ApplicationConfiguration.ecore#//ScopeReference">
133 <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//ScopeReference/referred"/>
134 </genClasses>
135 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Scope"/>
136 <genClasses ecoreClass="ApplicationConfiguration.ecore#//Task"/>
137 <genClasses ecoreClass="ApplicationConfiguration.ecore#//GenerationTask">
138 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/metamodel"/>
139 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/partialModel"/>
140 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/patterns"/>
141 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/scope"/>
142 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/number"/>
143 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/runs"/>
144 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute ApplicationConfiguration.ecore#//GenerationTask/solver"/>
145 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/config"/>
146 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/tagetFolder"/>
147 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/debugFolder"/>
148 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetLogFile"/>
149 <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference ApplicationConfiguration.ecore#//GenerationTask/targetStatisticsFile"/>
150 </genClasses>
151 <genClasses ecoreClass="ApplicationConfiguration.ecore#//IntegerScope"/>
152 <genClasses ecoreClass="ApplicationConfiguration.ecore#//RealScope"/>
153 <genClasses ecoreClass="ApplicationConfiguration.ecore#//StringScope"/>
43 </genPackages> 154 </genPackages>
44</genmodel:GenModel> 155</genmodel:GenModel>