diff options
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.genmodel | 115 |
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> |