diff options
author | 2019-08-20 17:13:46 -0400 | |
---|---|---|
committer | 2019-08-20 17:13:46 -0400 | |
commit | 8ca4668275e7f9298b9960acc66373aa94650453 (patch) | |
tree | 761e1561741a082fa2d278b31be654f426d31359 /Metrics/Metrics-Calculation/SocialNetwork_plugin | |
parent | modifty patterns for ecore (diff) | |
download | VIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.tar.gz VIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.tar.zst VIATRA-Generator-8ca4668275e7f9298b9960acc66373aa94650453.zip |
changes in settings of measurements
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin')
41 files changed, 1881 insertions, 667 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/META-INF/MANIFEST.MF b/Metrics/Metrics-Calculation/SocialNetwork_plugin/META-INF/MANIFEST.MF index 833b6fd8..6317c9fb 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/META-INF/MANIFEST.MF +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/META-INF/MANIFEST.MF | |||
@@ -25,8 +25,8 @@ Require-Bundle: org.eclipse.viatra.query.runtime.rete, | |||
25 | org.junit;bundle-version="4.12.0", | 25 | org.junit;bundle-version="4.12.0", |
26 | org.eclipse.collections;bundle-version="9.2.0", | 26 | org.eclipse.collections;bundle-version="9.2.0", |
27 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0", | 27 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph;bundle-version="1.0.0", |
28 | ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator;bundle-version="1.0.0", | 28 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.validation;bundle-version="0.0.1", |
29 | hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.validation;bundle-version="0.0.1" | 29 | ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator;bundle-version="1.0.0" |
30 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 30 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |
31 | Bundle-ActivationPolicy: lazy | 31 | Bundle-ActivationPolicy: lazy |
32 | Main-Class: ca.mcgill.ecse.socialnetwork.runner.Main | 32 | Main-Class: ca.mcgill.ecse.socialnetwork.runner.Main |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch new file mode 100644 index 00000000..968580f5 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch | |||
@@ -0,0 +1,16 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
2 | <launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> | ||
3 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> | ||
4 | <listEntry value="/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java"/> | ||
5 | </listAttribute> | ||
6 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> | ||
7 | <listEntry value="1"/> | ||
8 | </listAttribute> | ||
9 | <stringAttribute key="org.eclipse.debug.core.source_locator_id" value="org.eclipse.jdt.launching.sourceLocator.JavaAdvancedSourceLookupDirector"/> | ||
10 | <stringAttribute key="org.eclipse.debug.core.source_locator_memento" value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <sourceLookupDirector> <sourceContainers duplicates="false"> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;javaProject name=&quot;hu.bme.mit.inf.dslreasoner.viatra2logic&quot;/&gt;&#13;&#10;" typeId="org.eclipse.jdt.launching.sourceContainer.javaProject"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;javaProject name=&quot;ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator&quot;/&gt;&#13;&#10;" typeId="org.eclipse.jdt.launching.sourceContainer.javaProject"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;directory nest=&quot;false&quot; path=&quot;C:\Users\chenp\eclipse-workspace\VIATRA-Generator\Solvers\VIATRA-Solver\hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra\src\hu\bme\mit\inf\dslreasoner\viatrasolver&quot;/&gt;&#13;&#10;" typeId="org.eclipse.debug.core.containerType.directory"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;directory nest=&quot;false&quot; path=&quot;C:\Users\chenp\eclipse-workspace\VIATRA-Generator\Solvers\VIATRA-Solver\hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra\src\hu\bme\mit\inf\dslreasoner\viatrasolver\logic2viatra&quot;/&gt;&#13;&#10;" typeId="org.eclipse.debug.core.containerType.directory"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;directory nest=&quot;false&quot; path=&quot;C:\Users\chenp\eclipse-workspace\VIATRA-Generator\Solvers\VIATRA-Solver\hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra\src\hu\bme\mit\inf\dslreasoner\viatrasolver\logic2viatra\rules&quot;/&gt;&#13;&#10;" typeId="org.eclipse.debug.core.containerType.directory"/> <container memento="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#13;&#10;&lt;default/&gt;&#13;&#10;" typeId="org.eclipse.debug.core.containerType.default"/> </sourceContainers> </sourceLookupDirector> "/> | ||
11 | <booleanAttribute key="org.eclipse.jdt.launching.ATTR_EXCLUDE_TEST_CODE" value="true"/> | ||
12 | <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="ca.mcgill.ecse.socialnetwork.runner.Main"/> | ||
13 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="github.vsconfig"/> | ||
14 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="SocialNetwork_plugin"/> | ||
15 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx8G"/> | ||
16 | </launchConfiguration> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/.gitignore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/.gitignore index 464c03f5..25056e9e 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/.gitignore +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/.gitignore | |||
@@ -1,10 +1,2 @@ | |||
1 | /ca/ | 1 | /ca/ |
2 | /constraints/ | ||
3 | /ecore.ecore | ||
4 | /ecore/ | ||
5 | /queries/ | 2 | /queries/ |
6 | /socialnetwork.aird | ||
7 | /socialnetwork.ecore | ||
8 | /socialnetwork.genmodel | ||
9 | /socialnetwork/ | ||
10 | /statistics/ | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/constraints/ecore/.gitignore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/constraints/ecore/.gitignore new file mode 100644 index 00000000..c42ca056 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/constraints/ecore/.gitignore | |||
@@ -0,0 +1,8 @@ | |||
1 | /.Ecore_pattern.java._trace | ||
2 | /.MoreThenFiveSuperTypes.java._trace | ||
3 | /.DirectSupertype.java._trace | ||
4 | /.Ecore.java._trace | ||
5 | /.LoopInInheritence.java._trace | ||
6 | /.NonSymmetricOpposite.java._trace | ||
7 | /.Opposite.java._trace | ||
8 | /.OppositeDifferentClass.java._trace | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore.ecore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore.ecore new file mode 100644 index 00000000..eaaf3d11 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore.ecore | |||
@@ -0,0 +1,1023 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ecore" nsURI="http://www.eclipse.org/emf/2002/Ecore" nsPrefix="ecore"> | ||
4 | <eClassifiers xsi:type="ecore:EClass" name="EAnnotation" eSuperTypes="#//EModelElement"> | ||
5 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
6 | <details key="name" value="EAnnotation"/> | ||
7 | <details key="kind" value="elementOnly"/> | ||
8 | </eAnnotations> | ||
9 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
10 | <details key="constraints" value="WellFormedSourceURI"/> | ||
11 | </eAnnotations> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="details" upperBound="-1" | ||
13 | eType="#//EStringToStringMapEntry" containment="true" resolveProxies="false"> | ||
14 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
15 | <details key="kind" value="element"/> | ||
16 | <details key="name" value="details"/> | ||
17 | </eAnnotations> | ||
18 | </eStructuralFeatures> | ||
19 | <eStructuralFeatures xsi:type="ecore:EReference" name="contents" upperBound="-1" | ||
20 | eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject" containment="true" | ||
21 | resolveProxies="false"> | ||
22 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
23 | <details key="kind" value="element"/> | ||
24 | <details key="name" value="contents"/> | ||
25 | </eAnnotations> | ||
26 | </eStructuralFeatures> | ||
27 | <eStructuralFeatures xsi:type="ecore:EReference" name="references" upperBound="-1" | ||
28 | eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"> | ||
29 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
30 | <details key="kind" value="attribute"/> | ||
31 | <details key="name" value="references"/> | ||
32 | </eAnnotations> | ||
33 | </eStructuralFeatures> | ||
34 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="source" eType="#//EString"> | ||
35 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
36 | <details key="kind" value="attribute"/> | ||
37 | <details key="name" value="source"/> | ||
38 | </eAnnotations> | ||
39 | </eStructuralFeatures> | ||
40 | <eStructuralFeatures xsi:type="ecore:EReference" name="eModelElement" eType="#//EModelElement" | ||
41 | transient="true" eOpposite="#//EModelElement/eAnnotations"/> | ||
42 | </eClassifiers> | ||
43 | <eClassifiers xsi:type="ecore:EClass" name="EAttribute" eSuperTypes="#//EStructuralFeature"> | ||
44 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
45 | <details key="name" value="EAttribute"/> | ||
46 | <details key="kind" value="elementOnly"/> | ||
47 | </eAnnotations> | ||
48 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
49 | <details key="constraints" value="ConsistentTransient"/> | ||
50 | </eAnnotations> | ||
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAttributeType" lowerBound="1" | ||
52 | eType="#//EDataType" changeable="false" volatile="true" transient="true" derived="true"> | ||
53 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
54 | <details key="kind" value="attribute"/> | ||
55 | <details key="name" value="eAttributeType"/> | ||
56 | </eAnnotations> | ||
57 | </eStructuralFeatures> | ||
58 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="iD" eType="#//EBoolean"> | ||
59 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
60 | <details key="kind" value="attribute"/> | ||
61 | <details key="name" value="iD"/> | ||
62 | </eAnnotations> | ||
63 | </eStructuralFeatures> | ||
64 | </eClassifiers> | ||
65 | <eClassifiers xsi:type="ecore:EDataType" name="EBigDecimal" instanceClassName="java.math.BigDecimal"> | ||
66 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
67 | <details key="name" value="EBigDecimal"/> | ||
68 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#decimal"/> | ||
69 | </eAnnotations> | ||
70 | </eClassifiers> | ||
71 | <eClassifiers xsi:type="ecore:EDataType" name="EBigInteger" instanceClassName="java.math.BigInteger"> | ||
72 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
73 | <details key="name" value="EBigInteger"/> | ||
74 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#integer"/> | ||
75 | </eAnnotations> | ||
76 | </eClassifiers> | ||
77 | <eClassifiers xsi:type="ecore:EDataType" name="EBoolean" instanceClassName="boolean"> | ||
78 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
79 | <details key="name" value="EBoolean"/> | ||
80 | </eAnnotations> | ||
81 | </eClassifiers> | ||
82 | <eClassifiers xsi:type="ecore:EDataType" name="EBooleanObject" instanceClassName="java.lang.Boolean"> | ||
83 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
84 | <details key="name" value="EBoolean:Object"/> | ||
85 | <details key="baseType" value="EBoolean"/> | ||
86 | </eAnnotations> | ||
87 | </eClassifiers> | ||
88 | <eClassifiers xsi:type="ecore:EDataType" name="EByte" instanceClassName="byte"> | ||
89 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
90 | <details key="name" value="EByte"/> | ||
91 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#byte"/> | ||
92 | </eAnnotations> | ||
93 | </eClassifiers> | ||
94 | <eClassifiers xsi:type="ecore:EDataType" name="EByteArray" instanceClassName="byte[]"> | ||
95 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
96 | <details key="name" value="EByteArray"/> | ||
97 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#hexBinary"/> | ||
98 | </eAnnotations> | ||
99 | </eClassifiers> | ||
100 | <eClassifiers xsi:type="ecore:EDataType" name="EByteObject" instanceClassName="java.lang.Byte"> | ||
101 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
102 | <details key="name" value="EByte:Object"/> | ||
103 | <details key="baseType" value="EByte"/> | ||
104 | </eAnnotations> | ||
105 | </eClassifiers> | ||
106 | <eClassifiers xsi:type="ecore:EDataType" name="EChar" instanceClassName="char"> | ||
107 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
108 | <details key="name" value="EChar"/> | ||
109 | </eAnnotations> | ||
110 | </eClassifiers> | ||
111 | <eClassifiers xsi:type="ecore:EDataType" name="ECharacterObject" instanceClassName="java.lang.Character"> | ||
112 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
113 | <details key="name" value="EChar:Object"/> | ||
114 | <details key="baseType" value="EChar"/> | ||
115 | </eAnnotations> | ||
116 | </eClassifiers> | ||
117 | <eClassifiers xsi:type="ecore:EClass" name="EClass" eSuperTypes="#//EClassifier"> | ||
118 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
119 | <details key="name" value="EClass"/> | ||
120 | <details key="kind" value="elementOnly"/> | ||
121 | </eAnnotations> | ||
122 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
123 | <details key="constraints" value="InterfaceIsAbstract AtMostOneID UniqueFeatureNames UniqueOperationSignatures NoCircularSuperTypes WellFormedMapEntryClass ConsistentSuperTypes DisjointFeatureAndOperationSignatures"/> | ||
124 | </eAnnotations> | ||
125 | <eOperations name="isSuperTypeOf" eType="#//EBoolean"> | ||
126 | <eParameters name="someClass" eType="#//EClass"/> | ||
127 | </eOperations> | ||
128 | <eOperations name="getFeatureCount" eType="#//EInt"/> | ||
129 | <eOperations name="getEStructuralFeature" eType="#//EStructuralFeature"> | ||
130 | <eParameters name="featureID" eType="#//EInt"/> | ||
131 | </eOperations> | ||
132 | <eOperations name="getFeatureID" eType="#//EInt"> | ||
133 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
134 | </eOperations> | ||
135 | <eOperations name="getEStructuralFeature" eType="#//EStructuralFeature"> | ||
136 | <eParameters name="featureName" eType="#//EString"/> | ||
137 | </eOperations> | ||
138 | <eOperations name="getOperationCount" eType="#//EInt"/> | ||
139 | <eOperations name="getEOperation" eType="#//EOperation"> | ||
140 | <eParameters name="operationID" eType="#//EInt"/> | ||
141 | </eOperations> | ||
142 | <eOperations name="getOperationID" eType="#//EInt"> | ||
143 | <eParameters name="operation" eType="#//EOperation"/> | ||
144 | </eOperations> | ||
145 | <eOperations name="getOverride" eType="#//EOperation"> | ||
146 | <eParameters name="operation" eType="#//EOperation"/> | ||
147 | </eOperations> | ||
148 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOperations" upperBound="-1" | ||
149 | eType="#//EOperation" containment="true" resolveProxies="false" eOpposite="#//EOperation/eContainingClass"> | ||
150 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
151 | <details key="kind" value="element"/> | ||
152 | <details key="name" value="eOperations"/> | ||
153 | </eAnnotations> | ||
154 | </eStructuralFeatures> | ||
155 | <eStructuralFeatures xsi:type="ecore:EReference" name="eStructuralFeatures" upperBound="-1" | ||
156 | eType="#//EStructuralFeature" containment="true" resolveProxies="false" eOpposite="#//EStructuralFeature/eContainingClass"> | ||
157 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
158 | <details key="kind" value="element"/> | ||
159 | <details key="name" value="eStructuralFeatures"/> | ||
160 | </eAnnotations> | ||
161 | </eStructuralFeatures> | ||
162 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericSuperTypes" upperBound="-1" | ||
163 | eType="#//EGenericType" unsettable="true" containment="true" resolveProxies="false"> | ||
164 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
165 | <details key="kind" value="element"/> | ||
166 | <details key="name" value="eGenericSuperTypes"/> | ||
167 | </eAnnotations> | ||
168 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
169 | <details key="suppressedIsSetVisibility" value="true"/> | ||
170 | <details key="suppressedUnsetVisibility" value="true"/> | ||
171 | </eAnnotations> | ||
172 | </eStructuralFeatures> | ||
173 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="#//EBoolean"> | ||
174 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
175 | <details key="kind" value="attribute"/> | ||
176 | <details key="name" value="abstract"/> | ||
177 | </eAnnotations> | ||
178 | </eStructuralFeatures> | ||
179 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllAttributes" upperBound="-1" | ||
180 | eType="#//EAttribute" changeable="false" volatile="true" transient="true" | ||
181 | derived="true"> | ||
182 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
183 | <details key="kind" value="attribute"/> | ||
184 | <details key="name" value="eAllAttributes"/> | ||
185 | </eAnnotations> | ||
186 | </eStructuralFeatures> | ||
187 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllContainments" upperBound="-1" | ||
188 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
189 | derived="true"> | ||
190 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
191 | <details key="kind" value="attribute"/> | ||
192 | <details key="name" value="eAllContainments"/> | ||
193 | </eAnnotations> | ||
194 | </eStructuralFeatures> | ||
195 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllGenericSuperTypes" | ||
196 | upperBound="-1" eType="#//EGenericType" changeable="false" volatile="true" | ||
197 | transient="true" derived="true"> | ||
198 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
199 | <details key="kind" value="attribute"/> | ||
200 | <details key="name" value="eAllGenericSuperTypes"/> | ||
201 | </eAnnotations> | ||
202 | </eStructuralFeatures> | ||
203 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllOperations" upperBound="-1" | ||
204 | eType="#//EOperation" changeable="false" volatile="true" transient="true" | ||
205 | derived="true"> | ||
206 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
207 | <details key="kind" value="attribute"/> | ||
208 | <details key="name" value="eAllOperations"/> | ||
209 | </eAnnotations> | ||
210 | </eStructuralFeatures> | ||
211 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllReferences" upperBound="-1" | ||
212 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
213 | derived="true"> | ||
214 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
215 | <details key="kind" value="attribute"/> | ||
216 | <details key="name" value="eAllReferences"/> | ||
217 | </eAnnotations> | ||
218 | </eStructuralFeatures> | ||
219 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllStructuralFeatures" | ||
220 | upperBound="-1" eType="#//EStructuralFeature" changeable="false" volatile="true" | ||
221 | transient="true" derived="true"> | ||
222 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
223 | <details key="kind" value="attribute"/> | ||
224 | <details key="name" value="eAllStructuralFeatures"/> | ||
225 | </eAnnotations> | ||
226 | </eStructuralFeatures> | ||
227 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllSuperTypes" upperBound="-1" | ||
228 | eType="#//EClass" changeable="false" volatile="true" transient="true" derived="true"> | ||
229 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
230 | <details key="kind" value="attribute"/> | ||
231 | <details key="name" value="eAllSuperTypes"/> | ||
232 | </eAnnotations> | ||
233 | </eStructuralFeatures> | ||
234 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAttributes" upperBound="-1" | ||
235 | eType="#//EAttribute" changeable="false" volatile="true" transient="true" | ||
236 | derived="true"> | ||
237 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
238 | <details key="kind" value="attribute"/> | ||
239 | <details key="name" value="eAttributes"/> | ||
240 | </eAnnotations> | ||
241 | </eStructuralFeatures> | ||
242 | <eStructuralFeatures xsi:type="ecore:EReference" name="eIDAttribute" eType="#//EAttribute" | ||
243 | changeable="false" volatile="true" transient="true" derived="true" resolveProxies="false"> | ||
244 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
245 | <details key="kind" value="attribute"/> | ||
246 | <details key="name" value="eIDAttribute"/> | ||
247 | </eAnnotations> | ||
248 | </eStructuralFeatures> | ||
249 | <eStructuralFeatures xsi:type="ecore:EReference" name="eReferences" upperBound="-1" | ||
250 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
251 | derived="true"> | ||
252 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
253 | <details key="kind" value="attribute"/> | ||
254 | <details key="name" value="eReferences"/> | ||
255 | </eAnnotations> | ||
256 | </eStructuralFeatures> | ||
257 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSuperTypes" upperBound="-1" | ||
258 | eType="#//EClass" unsettable="true"> | ||
259 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
260 | <details key="kind" value="attribute"/> | ||
261 | <details key="name" value="eSuperTypes"/> | ||
262 | </eAnnotations> | ||
263 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
264 | <details key="suppressedIsSetVisibility" value="true"/> | ||
265 | <details key="suppressedUnsetVisibility" value="true"/> | ||
266 | </eAnnotations> | ||
267 | </eStructuralFeatures> | ||
268 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="interface" eType="#//EBoolean"> | ||
269 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
270 | <details key="kind" value="attribute"/> | ||
271 | <details key="name" value="interface"/> | ||
272 | </eAnnotations> | ||
273 | </eStructuralFeatures> | ||
274 | </eClassifiers> | ||
275 | <eClassifiers xsi:type="ecore:EClass" name="EClassifier" abstract="true" eSuperTypes="#//ENamedElement"> | ||
276 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
277 | <details key="name" value="EClassifier"/> | ||
278 | <details key="kind" value="elementOnly"/> | ||
279 | </eAnnotations> | ||
280 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
281 | <details key="constraints" value="WellFormedInstanceTypeName UniqueTypeParameterNames"/> | ||
282 | </eAnnotations> | ||
283 | <eOperations name="isInstance" eType="#//EBoolean"> | ||
284 | <eParameters name="object" eType="#//EJavaObject"/> | ||
285 | </eOperations> | ||
286 | <eOperations name="getClassifierID" eType="#//EInt"/> | ||
287 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameters" upperBound="-1" | ||
288 | eType="#//ETypeParameter" containment="true"> | ||
289 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
290 | <details key="kind" value="element"/> | ||
291 | <details key="name" value="eTypeParameters"/> | ||
292 | </eAnnotations> | ||
293 | </eStructuralFeatures> | ||
294 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValue" eType="#//EJavaObject" | ||
295 | changeable="false" volatile="true" transient="true" derived="true"> | ||
296 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
297 | <details key="kind" value="attribute"/> | ||
298 | <details key="name" value="defaultValue"/> | ||
299 | </eAnnotations> | ||
300 | </eStructuralFeatures> | ||
301 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceClass" changeable="false" | ||
302 | volatile="true" transient="true" derived="true"> | ||
303 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
304 | <details key="kind" value="attribute"/> | ||
305 | <details key="name" value="instanceClass"/> | ||
306 | </eAnnotations> | ||
307 | <eGenericType eClassifier="#//EJavaClass"> | ||
308 | <eTypeArguments/> | ||
309 | </eGenericType> | ||
310 | </eStructuralFeatures> | ||
311 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceClassName" eType="#//EString" | ||
312 | volatile="true" unsettable="true"> | ||
313 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
314 | <details key="kind" value="attribute"/> | ||
315 | <details key="name" value="instanceClassName"/> | ||
316 | </eAnnotations> | ||
317 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
318 | <details key="suppressedIsSetVisibility" value="true"/> | ||
319 | <details key="suppressedUnsetVisibility" value="true"/> | ||
320 | </eAnnotations> | ||
321 | </eStructuralFeatures> | ||
322 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceTypeName" eType="#//EString" | ||
323 | volatile="true" unsettable="true"> | ||
324 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
325 | <details key="kind" value="attribute"/> | ||
326 | <details key="name" value="instanceTypeName"/> | ||
327 | </eAnnotations> | ||
328 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
329 | <details key="suppressedIsSetVisibility" value="true"/> | ||
330 | <details key="suppressedUnsetVisibility" value="true"/> | ||
331 | </eAnnotations> | ||
332 | </eStructuralFeatures> | ||
333 | <eStructuralFeatures xsi:type="ecore:EReference" name="ePackage" eType="#//EPackage" | ||
334 | transient="true" eOpposite="#//EPackage/eClassifiers"/> | ||
335 | </eClassifiers> | ||
336 | <eClassifiers xsi:type="ecore:EClass" name="EDataType" eSuperTypes="#//EClassifier"> | ||
337 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
338 | <details key="name" value="EDataType"/> | ||
339 | <details key="kind" value="elementOnly"/> | ||
340 | </eAnnotations> | ||
341 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="serializable" eType="#//EBoolean" | ||
342 | defaultValueLiteral="true"> | ||
343 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
344 | <details key="kind" value="attribute"/> | ||
345 | <details key="name" value="serializable"/> | ||
346 | </eAnnotations> | ||
347 | </eStructuralFeatures> | ||
348 | </eClassifiers> | ||
349 | <eClassifiers xsi:type="ecore:EDataType" name="EDate" instanceClassName="java.util.Date"> | ||
350 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
351 | <details key="name" value="EDate"/> | ||
352 | </eAnnotations> | ||
353 | </eClassifiers> | ||
354 | <eClassifiers xsi:type="ecore:EDataType" name="EDiagnosticChain" instanceClassName="org.eclipse.emf.common.util.DiagnosticChain" | ||
355 | serializable="false"> | ||
356 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
357 | <details key="name" value="EDiagnosticChain"/> | ||
358 | </eAnnotations> | ||
359 | </eClassifiers> | ||
360 | <eClassifiers xsi:type="ecore:EDataType" name="EDouble" instanceClassName="double"> | ||
361 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
362 | <details key="name" value="EDouble"/> | ||
363 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#double"/> | ||
364 | </eAnnotations> | ||
365 | </eClassifiers> | ||
366 | <eClassifiers xsi:type="ecore:EDataType" name="EDoubleObject" instanceClassName="java.lang.Double"> | ||
367 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
368 | <details key="name" value="EDouble:Object"/> | ||
369 | <details key="baseType" value="EDouble"/> | ||
370 | </eAnnotations> | ||
371 | </eClassifiers> | ||
372 | <eClassifiers xsi:type="ecore:EDataType" name="EEList" instanceClassName="org.eclipse.emf.common.util.EList" | ||
373 | serializable="false"> | ||
374 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
375 | <details key="name" value="EEList"/> | ||
376 | </eAnnotations> | ||
377 | <eTypeParameters name="E"/> | ||
378 | </eClassifiers> | ||
379 | <eClassifiers xsi:type="ecore:EClass" name="EEnum" eSuperTypes="#//EDataType"> | ||
380 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
381 | <details key="name" value="EEnum"/> | ||
382 | <details key="kind" value="elementOnly"/> | ||
383 | </eAnnotations> | ||
384 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
385 | <details key="constraints" value="UniqueEnumeratorNames UniqueEnumeratorLiterals"/> | ||
386 | </eAnnotations> | ||
387 | <eOperations name="getEEnumLiteral" eType="#//EEnumLiteral"> | ||
388 | <eParameters name="name" eType="#//EString"/> | ||
389 | </eOperations> | ||
390 | <eOperations name="getEEnumLiteral" eType="#//EEnumLiteral"> | ||
391 | <eParameters name="value" eType="#//EInt"/> | ||
392 | </eOperations> | ||
393 | <eOperations name="getEEnumLiteralByLiteral" eType="#//EEnumLiteral"> | ||
394 | <eParameters name="literal" eType="#//EString"/> | ||
395 | </eOperations> | ||
396 | <eStructuralFeatures xsi:type="ecore:EReference" name="eLiterals" upperBound="-1" | ||
397 | eType="#//EEnumLiteral" containment="true" resolveProxies="false" eOpposite="#//EEnumLiteral/eEnum"> | ||
398 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
399 | <details key="kind" value="element"/> | ||
400 | <details key="name" value="eLiterals"/> | ||
401 | </eAnnotations> | ||
402 | </eStructuralFeatures> | ||
403 | </eClassifiers> | ||
404 | <eClassifiers xsi:type="ecore:EDataType" name="EEnumerator" instanceClassName="org.eclipse.emf.common.util.Enumerator" | ||
405 | serializable="false"> | ||
406 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
407 | <details key="name" value="EEnumerator"/> | ||
408 | </eAnnotations> | ||
409 | </eClassifiers> | ||
410 | <eClassifiers xsi:type="ecore:EClass" name="EEnumLiteral" eSuperTypes="#//ENamedElement"> | ||
411 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
412 | <details key="name" value="EEnumLiteral"/> | ||
413 | <details key="kind" value="elementOnly"/> | ||
414 | </eAnnotations> | ||
415 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instance" eType="#//EEnumerator" | ||
416 | transient="true"> | ||
417 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
418 | <details key="kind" value="attribute"/> | ||
419 | <details key="name" value="instance"/> | ||
420 | </eAnnotations> | ||
421 | </eStructuralFeatures> | ||
422 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="literal" eType="#//EString"> | ||
423 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
424 | <details key="kind" value="attribute"/> | ||
425 | <details key="name" value="literal"/> | ||
426 | </eAnnotations> | ||
427 | </eStructuralFeatures> | ||
428 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//EInt"> | ||
429 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
430 | <details key="kind" value="attribute"/> | ||
431 | <details key="name" value="value"/> | ||
432 | </eAnnotations> | ||
433 | </eStructuralFeatures> | ||
434 | <eStructuralFeatures xsi:type="ecore:EReference" name="eEnum" eType="#//EEnum" | ||
435 | transient="true" eOpposite="#//EEnum/eLiterals"/> | ||
436 | </eClassifiers> | ||
437 | <eClassifiers xsi:type="ecore:EClass" name="EFactory" eSuperTypes="#//EModelElement"> | ||
438 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
439 | <details key="name" value="EFactory"/> | ||
440 | <details key="kind" value="elementOnly"/> | ||
441 | </eAnnotations> | ||
442 | <eOperations name="create" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"> | ||
443 | <eParameters name="eClass" eType="#//EClass"/> | ||
444 | </eOperations> | ||
445 | <eOperations name="createFromString" eType="#//EJavaObject"> | ||
446 | <eParameters name="eDataType" eType="#//EDataType"/> | ||
447 | <eParameters name="literalValue" eType="#//EString"/> | ||
448 | </eOperations> | ||
449 | <eOperations name="convertToString" eType="#//EString"> | ||
450 | <eParameters name="eDataType" eType="#//EDataType"/> | ||
451 | <eParameters name="instanceValue" eType="#//EJavaObject"/> | ||
452 | </eOperations> | ||
453 | <eStructuralFeatures xsi:type="ecore:EReference" name="ePackage" lowerBound="1" | ||
454 | eType="#//EPackage" transient="true" resolveProxies="false" eOpposite="#//EPackage/eFactoryInstance"> | ||
455 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
456 | <details key="kind" value="attribute"/> | ||
457 | <details key="name" value="ePackage"/> | ||
458 | </eAnnotations> | ||
459 | </eStructuralFeatures> | ||
460 | </eClassifiers> | ||
461 | <eClassifiers xsi:type="ecore:EDataType" name="EFeatureMap" instanceClassName="org.eclipse.emf.ecore.util.FeatureMap" | ||
462 | serializable="false"> | ||
463 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
464 | <details key="name" value="EFeatureMap"/> | ||
465 | </eAnnotations> | ||
466 | </eClassifiers> | ||
467 | <eClassifiers xsi:type="ecore:EDataType" name="EFeatureMapEntry" instanceClassName="org.eclipse.emf.ecore.util.FeatureMap$Entry" | ||
468 | serializable="false"> | ||
469 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
470 | <details key="name" value="EFeatureMapEntry"/> | ||
471 | </eAnnotations> | ||
472 | </eClassifiers> | ||
473 | <eClassifiers xsi:type="ecore:EDataType" name="EFloat" instanceClassName="float"> | ||
474 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
475 | <details key="name" value="EFloat"/> | ||
476 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#float"/> | ||
477 | </eAnnotations> | ||
478 | </eClassifiers> | ||
479 | <eClassifiers xsi:type="ecore:EDataType" name="EFloatObject" instanceClassName="java.lang.Float"> | ||
480 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
481 | <details key="name" value="EFloat:Object"/> | ||
482 | <details key="baseType" value="EFloat"/> | ||
483 | </eAnnotations> | ||
484 | </eClassifiers> | ||
485 | <eClassifiers xsi:type="ecore:EClass" name="EGenericType"> | ||
486 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
487 | <details key="name" value="EGenericType"/> | ||
488 | <details key="kind" value="elementOnly"/> | ||
489 | </eAnnotations> | ||
490 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
491 | <details key="constraints" value="ConsistentType ConsistentBounds ConsistentArguments"/> | ||
492 | </eAnnotations> | ||
493 | <eStructuralFeatures xsi:type="ecore:EReference" name="eUpperBound" eType="#//EGenericType" | ||
494 | containment="true" resolveProxies="false"> | ||
495 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
496 | <details key="kind" value="element"/> | ||
497 | <details key="name" value="eUpperBound"/> | ||
498 | </eAnnotations> | ||
499 | </eStructuralFeatures> | ||
500 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeArguments" upperBound="-1" | ||
501 | eType="#//EGenericType" containment="true" resolveProxies="false"> | ||
502 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
503 | <details key="kind" value="element"/> | ||
504 | <details key="name" value="eTypeArguments"/> | ||
505 | </eAnnotations> | ||
506 | </eStructuralFeatures> | ||
507 | <eStructuralFeatures xsi:type="ecore:EReference" name="eLowerBound" eType="#//EGenericType" | ||
508 | containment="true" resolveProxies="false"> | ||
509 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
510 | <details key="kind" value="element"/> | ||
511 | <details key="name" value="eLowerBound"/> | ||
512 | </eAnnotations> | ||
513 | </eStructuralFeatures> | ||
514 | <eStructuralFeatures xsi:type="ecore:EReference" name="eClassifier" eType="#//EClassifier"> | ||
515 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
516 | <details key="kind" value="attribute"/> | ||
517 | <details key="name" value="eClassifier"/> | ||
518 | </eAnnotations> | ||
519 | </eStructuralFeatures> | ||
520 | <eStructuralFeatures xsi:type="ecore:EReference" name="eRawType" lowerBound="1" | ||
521 | eType="#//EClassifier" changeable="false" transient="true" derived="true"> | ||
522 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
523 | <details key="kind" value="attribute"/> | ||
524 | <details key="name" value="eRawType"/> | ||
525 | </eAnnotations> | ||
526 | </eStructuralFeatures> | ||
527 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameter" eType="#//ETypeParameter" | ||
528 | resolveProxies="false"> | ||
529 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
530 | <details key="kind" value="attribute"/> | ||
531 | <details key="name" value="eTypeParameter"/> | ||
532 | </eAnnotations> | ||
533 | </eStructuralFeatures> | ||
534 | </eClassifiers> | ||
535 | <eClassifiers xsi:type="ecore:EDataType" name="EInt" instanceClassName="int"> | ||
536 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
537 | <details key="name" value="EInt"/> | ||
538 | </eAnnotations> | ||
539 | </eClassifiers> | ||
540 | <eClassifiers xsi:type="ecore:EDataType" name="EIntegerObject" instanceClassName="java.lang.Integer"> | ||
541 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
542 | <details key="name" value="EInt:Object"/> | ||
543 | <details key="baseType" value="EInt"/> | ||
544 | </eAnnotations> | ||
545 | </eClassifiers> | ||
546 | <eClassifiers xsi:type="ecore:EDataType" name="EInvocationTargetException" instanceClassName="java.lang.reflect.InvocationTargetException" | ||
547 | serializable="false"> | ||
548 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
549 | <details key="name" value="EInvocationTargetException"/> | ||
550 | </eAnnotations> | ||
551 | </eClassifiers> | ||
552 | <eClassifiers xsi:type="ecore:EDataType" name="EJavaClass" instanceClassName="java.lang.Class"> | ||
553 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
554 | <details key="name" value="EJavaClass"/> | ||
555 | </eAnnotations> | ||
556 | <eTypeParameters name="T"/> | ||
557 | </eClassifiers> | ||
558 | <eClassifiers xsi:type="ecore:EDataType" name="EJavaObject" instanceClassName="java.lang.Object"> | ||
559 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
560 | <details key="name" value="EJavaObject"/> | ||
561 | </eAnnotations> | ||
562 | </eClassifiers> | ||
563 | <eClassifiers xsi:type="ecore:EDataType" name="ELong" instanceClassName="long"> | ||
564 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
565 | <details key="name" value="ELong"/> | ||
566 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#long"/> | ||
567 | </eAnnotations> | ||
568 | </eClassifiers> | ||
569 | <eClassifiers xsi:type="ecore:EDataType" name="ELongObject" instanceClassName="java.lang.Long"> | ||
570 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
571 | <details key="name" value="ELong:Object"/> | ||
572 | <details key="baseType" value="ELong"/> | ||
573 | </eAnnotations> | ||
574 | </eClassifiers> | ||
575 | <eClassifiers xsi:type="ecore:EDataType" name="EMap" instanceClassName="java.util.Map" | ||
576 | serializable="false"> | ||
577 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
578 | <details key="name" value="EMap"/> | ||
579 | </eAnnotations> | ||
580 | <eTypeParameters name="K"/> | ||
581 | <eTypeParameters name="V"/> | ||
582 | </eClassifiers> | ||
583 | <eClassifiers xsi:type="ecore:EClass" name="EModelElement" abstract="true"> | ||
584 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
585 | <details key="name" value="EModelElement"/> | ||
586 | <details key="kind" value="elementOnly"/> | ||
587 | </eAnnotations> | ||
588 | <eOperations name="getEAnnotation" eType="#//EAnnotation"> | ||
589 | <eParameters name="source" eType="#//EString"/> | ||
590 | </eOperations> | ||
591 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAnnotations" upperBound="-1" | ||
592 | eType="#//EAnnotation" containment="true" resolveProxies="false" eOpposite="#//EAnnotation/eModelElement"> | ||
593 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
594 | <details key="kind" value="element"/> | ||
595 | <details key="name" value="eAnnotations"/> | ||
596 | </eAnnotations> | ||
597 | </eStructuralFeatures> | ||
598 | </eClassifiers> | ||
599 | <eClassifiers xsi:type="ecore:EClass" name="ENamedElement" abstract="true" eSuperTypes="#//EModelElement"> | ||
600 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
601 | <details key="name" value="ENamedElement"/> | ||
602 | <details key="kind" value="elementOnly"/> | ||
603 | </eAnnotations> | ||
604 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
605 | <details key="constraints" value="WellFormedName"/> | ||
606 | </eAnnotations> | ||
607 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="#//EString"> | ||
608 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
609 | <details key="kind" value="attribute"/> | ||
610 | <details key="name" value="name"/> | ||
611 | </eAnnotations> | ||
612 | </eStructuralFeatures> | ||
613 | </eClassifiers> | ||
614 | <eClassifiers xsi:type="ecore:EClass" name="EObject"> | ||
615 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
616 | <details key="name" value="EObject"/> | ||
617 | <details key="kind" value="empty"/> | ||
618 | </eAnnotations> | ||
619 | <eOperations name="eClass" eType="#//EClass"/> | ||
620 | <eOperations name="eIsProxy" eType="#//EBoolean"/> | ||
621 | <eOperations name="eResource" eType="#//EResource"/> | ||
622 | <eOperations name="eContainer" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
623 | <eOperations name="eContainingFeature" eType="#//EStructuralFeature"/> | ||
624 | <eOperations name="eContainmentFeature" eType="#//EReference"/> | ||
625 | <eOperations name="eContents"> | ||
626 | <eGenericType eClassifier="#//EEList"> | ||
627 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
628 | </eGenericType> | ||
629 | </eOperations> | ||
630 | <eOperations name="eAllContents"> | ||
631 | <eGenericType eClassifier="#//ETreeIterator"> | ||
632 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
633 | </eGenericType> | ||
634 | </eOperations> | ||
635 | <eOperations name="eCrossReferences"> | ||
636 | <eGenericType eClassifier="#//EEList"> | ||
637 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
638 | </eGenericType> | ||
639 | </eOperations> | ||
640 | <eOperations name="eGet" eType="#//EJavaObject"> | ||
641 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
642 | </eOperations> | ||
643 | <eOperations name="eGet" eType="#//EJavaObject"> | ||
644 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
645 | <eParameters name="resolve" eType="#//EBoolean"/> | ||
646 | </eOperations> | ||
647 | <eOperations name="eSet"> | ||
648 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
649 | <eParameters name="newValue" eType="#//EJavaObject"/> | ||
650 | </eOperations> | ||
651 | <eOperations name="eIsSet" eType="#//EBoolean"> | ||
652 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
653 | </eOperations> | ||
654 | <eOperations name="eUnset"> | ||
655 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
656 | </eOperations> | ||
657 | <eOperations name="eInvoke" eType="#//EJavaObject" eExceptions="#//EInvocationTargetException"> | ||
658 | <eParameters name="operation" eType="#//EOperation"/> | ||
659 | <eParameters name="arguments"> | ||
660 | <eGenericType eClassifier="#//EEList"> | ||
661 | <eTypeArguments/> | ||
662 | </eGenericType> | ||
663 | </eParameters> | ||
664 | </eOperations> | ||
665 | </eClassifiers> | ||
666 | <eClassifiers xsi:type="ecore:EClass" name="EOperation" eSuperTypes="#//ETypedElement"> | ||
667 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
668 | <details key="name" value="EOperation"/> | ||
669 | <details key="kind" value="elementOnly"/> | ||
670 | </eAnnotations> | ||
671 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
672 | <details key="constraints" value="UniqueParameterNames UniqueTypeParameterNames NoRepeatingVoid"/> | ||
673 | </eAnnotations> | ||
674 | <eOperations name="getOperationID" eType="#//EInt"/> | ||
675 | <eOperations name="isOverrideOf" eType="#//EBoolean"> | ||
676 | <eParameters name="someOperation" eType="#//EOperation"/> | ||
677 | </eOperations> | ||
678 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameters" upperBound="-1" | ||
679 | eType="#//ETypeParameter" containment="true"> | ||
680 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
681 | <details key="kind" value="element"/> | ||
682 | <details key="name" value="eTypeParameters"/> | ||
683 | </eAnnotations> | ||
684 | </eStructuralFeatures> | ||
685 | <eStructuralFeatures xsi:type="ecore:EReference" name="eParameters" upperBound="-1" | ||
686 | eType="#//EParameter" containment="true" resolveProxies="false" eOpposite="#//EParameter/eOperation"> | ||
687 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
688 | <details key="kind" value="element"/> | ||
689 | <details key="name" value="eParameters"/> | ||
690 | </eAnnotations> | ||
691 | </eStructuralFeatures> | ||
692 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericExceptions" upperBound="-1" | ||
693 | eType="#//EGenericType" unsettable="true" containment="true" resolveProxies="false"> | ||
694 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
695 | <details key="kind" value="element"/> | ||
696 | <details key="name" value="eGenericExceptions"/> | ||
697 | </eAnnotations> | ||
698 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
699 | <details key="suppressedIsSetVisibility" value="true"/> | ||
700 | <details key="suppressedUnsetVisibility" value="true"/> | ||
701 | </eAnnotations> | ||
702 | </eStructuralFeatures> | ||
703 | <eStructuralFeatures xsi:type="ecore:EReference" name="eExceptions" upperBound="-1" | ||
704 | eType="#//EClassifier" unsettable="true"> | ||
705 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
706 | <details key="kind" value="attribute"/> | ||
707 | <details key="name" value="eExceptions"/> | ||
708 | </eAnnotations> | ||
709 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
710 | <details key="suppressedIsSetVisibility" value="true"/> | ||
711 | <details key="suppressedUnsetVisibility" value="true"/> | ||
712 | </eAnnotations> | ||
713 | </eStructuralFeatures> | ||
714 | <eStructuralFeatures xsi:type="ecore:EReference" name="eContainingClass" eType="#//EClass" | ||
715 | transient="true" eOpposite="#//EClass/eOperations"/> | ||
716 | </eClassifiers> | ||
717 | <eClassifiers xsi:type="ecore:EClass" name="EPackage" eSuperTypes="#//ENamedElement"> | ||
718 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
719 | <details key="name" value="EPackage"/> | ||
720 | <details key="kind" value="elementOnly"/> | ||
721 | </eAnnotations> | ||
722 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
723 | <details key="constraints" value="WellFormedNsURI WellFormedNsPrefix UniqueSubpackageNames UniqueClassifierNames UniqueNsURIs"/> | ||
724 | </eAnnotations> | ||
725 | <eOperations name="getEClassifier" eType="#//EClassifier"> | ||
726 | <eParameters name="name" eType="#//EString"/> | ||
727 | </eOperations> | ||
728 | <eStructuralFeatures xsi:type="ecore:EReference" name="eClassifiers" upperBound="-1" | ||
729 | eType="#//EClassifier" containment="true" eOpposite="#//EClassifier/ePackage"> | ||
730 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
731 | <details key="kind" value="element"/> | ||
732 | <details key="name" value="eClassifiers"/> | ||
733 | </eAnnotations> | ||
734 | </eStructuralFeatures> | ||
735 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSubpackages" upperBound="-1" | ||
736 | eType="#//EPackage" containment="true" eOpposite="#//EPackage/eSuperPackage"> | ||
737 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
738 | <details key="kind" value="element"/> | ||
739 | <details key="name" value="eSubpackages"/> | ||
740 | </eAnnotations> | ||
741 | </eStructuralFeatures> | ||
742 | <eStructuralFeatures xsi:type="ecore:EReference" name="eFactoryInstance" lowerBound="1" | ||
743 | eType="#//EFactory" transient="true" resolveProxies="false" eOpposite="#//EFactory/ePackage"> | ||
744 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
745 | <details key="kind" value="attribute"/> | ||
746 | <details key="name" value="eFactoryInstance"/> | ||
747 | </eAnnotations> | ||
748 | </eStructuralFeatures> | ||
749 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="nsPrefix" eType="#//EString"> | ||
750 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
751 | <details key="kind" value="attribute"/> | ||
752 | <details key="name" value="nsPrefix"/> | ||
753 | </eAnnotations> | ||
754 | </eStructuralFeatures> | ||
755 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="nsURI" eType="#//EString"> | ||
756 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
757 | <details key="kind" value="attribute"/> | ||
758 | <details key="name" value="nsURI"/> | ||
759 | </eAnnotations> | ||
760 | </eStructuralFeatures> | ||
761 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSuperPackage" eType="#//EPackage" | ||
762 | transient="true" eOpposite="#//EPackage/eSubpackages"/> | ||
763 | </eClassifiers> | ||
764 | <eClassifiers xsi:type="ecore:EClass" name="EParameter" eSuperTypes="#//ETypedElement"> | ||
765 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
766 | <details key="name" value="EParameter"/> | ||
767 | <details key="kind" value="elementOnly"/> | ||
768 | </eAnnotations> | ||
769 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOperation" eType="#//EOperation" | ||
770 | transient="true" eOpposite="#//EOperation/eParameters"/> | ||
771 | </eClassifiers> | ||
772 | <eClassifiers xsi:type="ecore:EClass" name="EReference" eSuperTypes="#//EStructuralFeature"> | ||
773 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
774 | <details key="name" value="EReference"/> | ||
775 | <details key="kind" value="elementOnly"/> | ||
776 | </eAnnotations> | ||
777 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
778 | <details key="constraints" value="ConsistentOpposite SingleContainer ConsistentKeys ConsistentUnique ConsistentContainer"/> | ||
779 | </eAnnotations> | ||
780 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="container" eType="#//EBoolean" | ||
781 | changeable="false" volatile="true" transient="true" derived="true"> | ||
782 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
783 | <details key="kind" value="attribute"/> | ||
784 | <details key="name" value="container"/> | ||
785 | </eAnnotations> | ||
786 | </eStructuralFeatures> | ||
787 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="#//EBoolean"> | ||
788 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
789 | <details key="kind" value="attribute"/> | ||
790 | <details key="name" value="containment"/> | ||
791 | </eAnnotations> | ||
792 | </eStructuralFeatures> | ||
793 | <eStructuralFeatures xsi:type="ecore:EReference" name="eKeys" upperBound="-1" | ||
794 | eType="#//EAttribute"> | ||
795 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
796 | <details key="kind" value="attribute"/> | ||
797 | <details key="name" value="eKeys"/> | ||
798 | </eAnnotations> | ||
799 | </eStructuralFeatures> | ||
800 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOpposite" eType="#//EReference"> | ||
801 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
802 | <details key="kind" value="attribute"/> | ||
803 | <details key="name" value="eOpposite"/> | ||
804 | </eAnnotations> | ||
805 | </eStructuralFeatures> | ||
806 | <eStructuralFeatures xsi:type="ecore:EReference" name="eReferenceType" lowerBound="1" | ||
807 | eType="#//EClass" changeable="false" volatile="true" transient="true" derived="true"> | ||
808 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
809 | <details key="kind" value="attribute"/> | ||
810 | <details key="name" value="eReferenceType"/> | ||
811 | </eAnnotations> | ||
812 | </eStructuralFeatures> | ||
813 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="resolveProxies" eType="#//EBoolean" | ||
814 | defaultValueLiteral="true"> | ||
815 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
816 | <details key="kind" value="attribute"/> | ||
817 | <details key="name" value="resolveProxies"/> | ||
818 | </eAnnotations> | ||
819 | </eStructuralFeatures> | ||
820 | </eClassifiers> | ||
821 | <eClassifiers xsi:type="ecore:EDataType" name="EResource" instanceClassName="org.eclipse.emf.ecore.resource.Resource" | ||
822 | serializable="false"> | ||
823 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
824 | <details key="name" value="EResource"/> | ||
825 | </eAnnotations> | ||
826 | </eClassifiers> | ||
827 | <eClassifiers xsi:type="ecore:EDataType" name="EResourceSet" instanceClassName="org.eclipse.emf.ecore.resource.ResourceSet" | ||
828 | serializable="false"> | ||
829 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
830 | <details key="name" value="EResourceSet"/> | ||
831 | </eAnnotations> | ||
832 | </eClassifiers> | ||
833 | <eClassifiers xsi:type="ecore:EDataType" name="EShort" instanceClassName="short"> | ||
834 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
835 | <details key="name" value="EShort"/> | ||
836 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#short"/> | ||
837 | </eAnnotations> | ||
838 | </eClassifiers> | ||
839 | <eClassifiers xsi:type="ecore:EDataType" name="EShortObject" instanceClassName="java.lang.Short"> | ||
840 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
841 | <details key="name" value="EShort:Object"/> | ||
842 | <details key="baseType" value="EShort"/> | ||
843 | </eAnnotations> | ||
844 | </eClassifiers> | ||
845 | <eClassifiers xsi:type="ecore:EDataType" name="EString" instanceClassName="java.lang.String"> | ||
846 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
847 | <details key="name" value="EString"/> | ||
848 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#string"/> | ||
849 | </eAnnotations> | ||
850 | </eClassifiers> | ||
851 | <eClassifiers xsi:type="ecore:EClass" name="EStringToStringMapEntry" instanceClassName="java.util.Map$Entry"> | ||
852 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
853 | <details key="name" value="EStringToStringMapEntry"/> | ||
854 | <details key="kind" value="empty"/> | ||
855 | </eAnnotations> | ||
856 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="#//EString"> | ||
857 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
858 | <details key="kind" value="attribute"/> | ||
859 | <details key="name" value="key"/> | ||
860 | </eAnnotations> | ||
861 | </eStructuralFeatures> | ||
862 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//EString"> | ||
863 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
864 | <details key="kind" value="attribute"/> | ||
865 | <details key="name" value="value"/> | ||
866 | </eAnnotations> | ||
867 | </eStructuralFeatures> | ||
868 | </eClassifiers> | ||
869 | <eClassifiers xsi:type="ecore:EClass" name="EStructuralFeature" abstract="true" | ||
870 | eSuperTypes="#//ETypedElement"> | ||
871 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
872 | <details key="name" value="EStructuralFeature"/> | ||
873 | <details key="kind" value="elementOnly"/> | ||
874 | </eAnnotations> | ||
875 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
876 | <details key="constraints" value="ValidDefaultValueLiteral"/> | ||
877 | </eAnnotations> | ||
878 | <eOperations name="getFeatureID" eType="#//EInt"/> | ||
879 | <eOperations name="getContainerClass"> | ||
880 | <eGenericType eClassifier="#//EJavaClass"> | ||
881 | <eTypeArguments/> | ||
882 | </eGenericType> | ||
883 | </eOperations> | ||
884 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="changeable" eType="#//EBoolean" | ||
885 | defaultValueLiteral="true"> | ||
886 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
887 | <details key="kind" value="attribute"/> | ||
888 | <details key="name" value="changeable"/> | ||
889 | </eAnnotations> | ||
890 | </eStructuralFeatures> | ||
891 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValue" eType="#//EJavaObject" | ||
892 | changeable="false" volatile="true" transient="true" derived="true"> | ||
893 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
894 | <details key="kind" value="attribute"/> | ||
895 | <details key="name" value="defaultValue"/> | ||
896 | </eAnnotations> | ||
897 | </eStructuralFeatures> | ||
898 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValueLiteral" eType="#//EString"> | ||
899 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
900 | <details key="kind" value="attribute"/> | ||
901 | <details key="name" value="defaultValueLiteral"/> | ||
902 | </eAnnotations> | ||
903 | </eStructuralFeatures> | ||
904 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="derived" eType="#//EBoolean"> | ||
905 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
906 | <details key="kind" value="attribute"/> | ||
907 | <details key="name" value="derived"/> | ||
908 | </eAnnotations> | ||
909 | </eStructuralFeatures> | ||
910 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="transient" eType="#//EBoolean"> | ||
911 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
912 | <details key="kind" value="attribute"/> | ||
913 | <details key="name" value="transient"/> | ||
914 | </eAnnotations> | ||
915 | </eStructuralFeatures> | ||
916 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="unsettable" eType="#//EBoolean"> | ||
917 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
918 | <details key="kind" value="attribute"/> | ||
919 | <details key="name" value="unsettable"/> | ||
920 | </eAnnotations> | ||
921 | </eStructuralFeatures> | ||
922 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="volatile" eType="#//EBoolean"> | ||
923 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
924 | <details key="kind" value="attribute"/> | ||
925 | <details key="name" value="volatile"/> | ||
926 | </eAnnotations> | ||
927 | </eStructuralFeatures> | ||
928 | <eStructuralFeatures xsi:type="ecore:EReference" name="eContainingClass" eType="#//EClass" | ||
929 | transient="true" eOpposite="#//EClass/eStructuralFeatures"/> | ||
930 | </eClassifiers> | ||
931 | <eClassifiers xsi:type="ecore:EDataType" name="ETreeIterator" instanceClassName="org.eclipse.emf.common.util.TreeIterator" | ||
932 | serializable="false"> | ||
933 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
934 | <details key="name" value="ETreeIterator"/> | ||
935 | </eAnnotations> | ||
936 | <eTypeParameters name="E"/> | ||
937 | </eClassifiers> | ||
938 | <eClassifiers xsi:type="ecore:EClass" name="ETypedElement" abstract="true" eSuperTypes="#//ENamedElement"> | ||
939 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
940 | <details key="name" value="ETypedElement"/> | ||
941 | <details key="kind" value="elementOnly"/> | ||
942 | </eAnnotations> | ||
943 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
944 | <details key="constraints" value="ValidLowerBound ValidUpperBound ConsistentBounds ValidType"/> | ||
945 | </eAnnotations> | ||
946 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericType" eType="#//EGenericType" | ||
947 | volatile="true" unsettable="true" containment="true" resolveProxies="false"> | ||
948 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
949 | <details key="kind" value="element"/> | ||
950 | <details key="name" value="eGenericType"/> | ||
951 | </eAnnotations> | ||
952 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
953 | <details key="suppressedIsSetVisibility" value="true"/> | ||
954 | <details key="suppressedUnsetVisibility" value="true"/> | ||
955 | </eAnnotations> | ||
956 | </eStructuralFeatures> | ||
957 | <eStructuralFeatures xsi:type="ecore:EReference" name="eType" eType="#//EClassifier" | ||
958 | volatile="true" unsettable="true"> | ||
959 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
960 | <details key="kind" value="attribute"/> | ||
961 | <details key="name" value="eType"/> | ||
962 | </eAnnotations> | ||
963 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
964 | <details key="suppressedIsSetVisibility" value="true"/> | ||
965 | <details key="suppressedUnsetVisibility" value="true"/> | ||
966 | </eAnnotations> | ||
967 | </eStructuralFeatures> | ||
968 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="#//EInt"> | ||
969 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
970 | <details key="kind" value="attribute"/> | ||
971 | <details key="name" value="lowerBound"/> | ||
972 | </eAnnotations> | ||
973 | </eStructuralFeatures> | ||
974 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="many" eType="#//EBoolean" | ||
975 | changeable="false" volatile="true" transient="true" derived="true"> | ||
976 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
977 | <details key="kind" value="attribute"/> | ||
978 | <details key="name" value="many"/> | ||
979 | </eAnnotations> | ||
980 | </eStructuralFeatures> | ||
981 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="ordered" eType="#//EBoolean" | ||
982 | defaultValueLiteral="true"> | ||
983 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
984 | <details key="kind" value="attribute"/> | ||
985 | <details key="name" value="ordered"/> | ||
986 | </eAnnotations> | ||
987 | </eStructuralFeatures> | ||
988 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="required" eType="#//EBoolean" | ||
989 | changeable="false" volatile="true" transient="true" derived="true"> | ||
990 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
991 | <details key="kind" value="attribute"/> | ||
992 | <details key="name" value="required"/> | ||
993 | </eAnnotations> | ||
994 | </eStructuralFeatures> | ||
995 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="unique" eType="#//EBoolean" | ||
996 | defaultValueLiteral="true"> | ||
997 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
998 | <details key="kind" value="attribute"/> | ||
999 | <details key="name" value="unique"/> | ||
1000 | </eAnnotations> | ||
1001 | </eStructuralFeatures> | ||
1002 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="upperBound" eType="#//EInt" | ||
1003 | defaultValueLiteral="1"> | ||
1004 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
1005 | <details key="kind" value="attribute"/> | ||
1006 | <details key="name" value="upperBound"/> | ||
1007 | </eAnnotations> | ||
1008 | </eStructuralFeatures> | ||
1009 | </eClassifiers> | ||
1010 | <eClassifiers xsi:type="ecore:EClass" name="ETypeParameter" eSuperTypes="#//ENamedElement"> | ||
1011 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
1012 | <details key="name" value="ETypeParameter"/> | ||
1013 | <details key="kind" value="elementOnly"/> | ||
1014 | </eAnnotations> | ||
1015 | <eStructuralFeatures xsi:type="ecore:EReference" name="eBounds" upperBound="-1" | ||
1016 | eType="#//EGenericType" containment="true" resolveProxies="false"> | ||
1017 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
1018 | <details key="kind" value="element"/> | ||
1019 | <details key="name" value="eBounds"/> | ||
1020 | </eAnnotations> | ||
1021 | </eStructuralFeatures> | ||
1022 | </eClassifiers> | ||
1023 | </ecore:EPackage> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore/.gitignore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore/.gitignore new file mode 100644 index 00000000..c42ca056 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/bin/ecore/.gitignore | |||
@@ -0,0 +1,8 @@ | |||
1 | /.Ecore_pattern.java._trace | ||
2 | /.MoreThenFiveSuperTypes.java._trace | ||
3 | /.DirectSupertype.java._trace | ||
4 | /.Ecore.java._trace | ||
5 | /.LoopInInheritence.java._trace | ||
6 | /.NonSymmetricOpposite.java._trace | ||
7 | /.Opposite.java._trace | ||
8 | /.OppositeDifferentClass.java._trace | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/.DS_Store b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/.DS_Store new file mode 100644 index 00000000..85929cb0 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/.DS_Store | |||
Binary files differ | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/mpc_rep/2samplemodel41.githubmodel b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/mpc_rep/2samplemodel41.githubmodel new file mode 100644 index 00000000..f4a3233c --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/mpc_rep/2samplemodel41.githubmodel | |||
@@ -0,0 +1,105 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <github:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:github="sure.ghtorrent.github" creatd_at="2013-05-14T03:07:04.000-0400" updated_at="2016-11-02T06:05:30.000-0400" url="https://github.com/vert-x/mod-rxvertx"> | ||
3 | <issue created_at="2015-08-14T02:12:18.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/42"/> | ||
4 | <issue created_at="2015-06-22T09:29:32.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/41"/> | ||
5 | <issue created_at="2015-06-16T15:27:39.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/40"/> | ||
6 | <issue created_at="2015-06-16T15:19:14.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/39"/> | ||
7 | <issue created_at="2015-04-08T09:17:37.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/36"/> | ||
8 | <issue created_at="2015-03-02T15:41:55.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/34"/> | ||
9 | <issue created_at="2014-11-21T17:36:28.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/29"/> | ||
10 | <issue created_at="2014-11-19T09:48:31.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/26"/> | ||
11 | <issue created_at="2014-06-06T13:52:26.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/18"/> | ||
12 | <issue created_at="2013-12-07T04:02:36.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/10"/> | ||
13 | <issue created_at="2016-01-24T04:58:48.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/43"> | ||
14 | <pullrequest url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/43"/> | ||
15 | </issue> | ||
16 | <issue created_at="2015-06-16T15:27:39.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/40"> | ||
17 | <pullrequest url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/40"/> | ||
18 | </issue> | ||
19 | <issue created_at="2015-03-06T11:23:22.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/35"> | ||
20 | <pullrequest commit="//@commits.42" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/35"/> | ||
21 | </issue> | ||
22 | <issue created_at="2014-11-21T17:40:46.000-0500" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/30"> | ||
23 | <pullrequest url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/30"/> | ||
24 | </issue> | ||
25 | <issue created_at="2014-08-28T07:38:52.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/21"> | ||
26 | <pullrequest url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/21"/> | ||
27 | </issue> | ||
28 | <issue created_at="2014-06-19T15:01:09.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/19"> | ||
29 | <pullrequest commit="//@commits.46" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/19"/> | ||
30 | </issue> | ||
31 | <issue created_at="2014-05-11T00:43:58.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/17"> | ||
32 | <pullrequest commit="//@commits.47" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/17"/> | ||
33 | </issue> | ||
34 | <issue created_at="2014-05-09T05:21:01.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/15"> | ||
35 | <pullrequest commit="//@commits.51" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/15"/> | ||
36 | </issue> | ||
37 | <issue created_at="2013-07-07T20:58:26.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/3"> | ||
38 | <pullrequest commit="//@commits.20" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/3"/> | ||
39 | </issue> | ||
40 | <issue created_at="2013-06-26T11:44:08.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/2"> | ||
41 | <pullrequest url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/2"/> | ||
42 | </issue> | ||
43 | <issue created_at="2013-06-16T00:13:08.000-0400" url="https://api.github.com/repos/vert-x/mod-rxvertx/issues/1"> | ||
44 | <pullrequest commit="//@commits.24" url="https://api.github.com/repos/vert-x/mod-rxvertx/pulls/1"/> | ||
45 | </issue> | ||
46 | <projectMembers url="https://api.github.com/users/petermd" name="petermd"/> | ||
47 | <projectMembers url="https://api.github.com/users/purplefox" name="purplefox"/> | ||
48 | <projectMembers url="https://api.github.com/users/sharathp" name="sharathp"/> | ||
49 | <projectMembers url="https://api.github.com/users/squaredfinancialit" name="squaredfinancialit"/> | ||
50 | <projectMembers url="https://api.github.com/users/ddossot" name="ddossot"/> | ||
51 | <projectMembers url="https://api.github.com/users/tavisrudd" name="tavisrudd"/> | ||
52 | <projectMembers url="https://api.github.com/users/vihangd" name="vihangd"/> | ||
53 | <commits committer="//@projectMembers.0" parents="//@commits.1" created_at="2013-12-02T05:47:09.000-0500" sha="ed99912edfd9f6f9e908a5325d2ab07d6e65e869" parents_sha="9a90507caa12d77bb7fc97514c9016e8c9d41676"/> | ||
54 | <commits committer="//@projectMembers.0" parents="//@commits.2 //@commits.5" created_at="2013-12-01T20:08:01.000-0500" sha="9a90507caa12d77bb7fc97514c9016e8c9d41676" parents_sha="dddb6bbe532afaf0983b9b2affea87d700c788fc ad41e6a602de2e145d1ba2b0da9bd046fb3e2467"/> | ||
55 | <commits committer="//@projectMembers.0" parents="//@commits.3" created_at="2013-12-01T20:06:25.000-0500" sha="dddb6bbe532afaf0983b9b2affea87d700c788fc" parents_sha="e704894753ef8f06f144071c493ae5ee0f077f33"/> | ||
56 | <commits committer="//@projectMembers.0" parents="//@commits.4" created_at="2013-12-01T20:05:38.000-0500" sha="e704894753ef8f06f144071c493ae5ee0f077f33" parents_sha="f6b983b4b88731f38fe1080a4235d2e6091107b0"/> | ||
57 | <commits committer="//@projectMembers.0" parents="//@commits.6" created_at="2013-12-01T20:05:12.000-0500" sha="f6b983b4b88731f38fe1080a4235d2e6091107b0" parents_sha="9298780fca8e25a33f49867f3025890fa7c7d7f2"/> | ||
58 | <commits committer="//@projectMembers.1" parents="//@commits.6" created_at="2013-12-01T05:58:35.000-0500" sha="ad41e6a602de2e145d1ba2b0da9bd046fb3e2467" parents_sha="9298780fca8e25a33f49867f3025890fa7c7d7f2"/> | ||
59 | <commits committer="//@projectMembers.0" parents="//@commits.7" created_at="2013-11-27T05:39:40.000-0500" sha="9298780fca8e25a33f49867f3025890fa7c7d7f2" parents_sha="6cd3659869c4b786e55640d2d137b12d18fb49a7"/> | ||
60 | <commits committer="//@projectMembers.0" parents="//@commits.8" created_at="2013-11-27T05:28:59.000-0500" sha="6cd3659869c4b786e55640d2d137b12d18fb49a7" parents_sha="937af378cf31503b77d0ce6ab011e5d022d57265"/> | ||
61 | <commits committer="//@projectMembers.0" parents="//@commits.9" created_at="2013-11-27T05:26:59.000-0500" sha="937af378cf31503b77d0ce6ab011e5d022d57265" parents_sha="f777d37b7fa1091c278848166dd7635728ac2a2f"/> | ||
62 | <commits committer="//@projectMembers.0" parents="//@commits.10" created_at="2013-11-19T08:26:58.000-0500" sha="f777d37b7fa1091c278848166dd7635728ac2a2f" parents_sha="bd3e62a14633df39d7124577126f5087b989db73"/> | ||
63 | <commits committer="//@projectMembers.0" parents="//@commits.11" created_at="2013-11-19T07:59:40.000-0500" sha="bd3e62a14633df39d7124577126f5087b989db73" parents_sha="b61d0a341119990de69b9fe4a8bfd468c6bddfef"/> | ||
64 | <commits committer="//@projectMembers.0" parents="//@commits.12" created_at="2013-11-19T07:55:41.000-0500" sha="b61d0a341119990de69b9fe4a8bfd468c6bddfef" parents_sha="3c98cc0a6e45fd558b1f808c76613c3eb2b0b936"/> | ||
65 | <commits committer="//@projectMembers.0" parents="//@commits.13" created_at="2013-11-19T07:54:46.000-0500" sha="3c98cc0a6e45fd558b1f808c76613c3eb2b0b936" parents_sha="049801ae6cedb220c2dfdf0fdaf4b6ba9339e1ad"/> | ||
66 | <commits committer="//@projectMembers.0" parents="//@commits.14" created_at="2013-11-14T19:17:38.000-0500" sha="049801ae6cedb220c2dfdf0fdaf4b6ba9339e1ad" parents_sha="80b5503fa7d92d6fc9d75ec9e0637e144b4b79e2"/> | ||
67 | <commits committer="//@projectMembers.0" parents="//@commits.15" created_at="2013-11-14T18:18:38.000-0500" sha="80b5503fa7d92d6fc9d75ec9e0637e144b4b79e2" parents_sha="063311036a271c4f51aab1e16cb01a273af40d59"/> | ||
68 | <commits committer="//@projectMembers.0" parents="//@commits.16" created_at="2013-11-14T18:18:12.000-0500" sha="063311036a271c4f51aab1e16cb01a273af40d59" parents_sha="d6a755666b19fb84f3ed3322abf4799e4e103401"/> | ||
69 | <commits committer="//@projectMembers.0" parents="//@commits.17" created_at="2013-11-07T22:29:23.000-0500" sha="d6a755666b19fb84f3ed3322abf4799e4e103401" parents_sha="1c07c332a76eb90b653c5a09e558fd0a1ded853a"/> | ||
70 | <commits committer="//@projectMembers.0" parents="//@commits.18" created_at="2013-08-03T19:29:42.000-0400" sha="1c07c332a76eb90b653c5a09e558fd0a1ded853a" parents_sha="2335b065397316f33f731f32904561f0565df822"/> | ||
71 | <commits committer="//@projectMembers.0" parents="//@commits.19 //@commits.20" created_at="2013-07-18T10:43:04.000-0400" sha="2335b065397316f33f731f32904561f0565df822" parents_sha="dcc26065160056d933cdf76281cdad6b3b287b0a 2bf992bcc00fec604758228eb73303a33184b188"/> | ||
72 | <commits committer="//@projectMembers.1" parents="//@commits.21" created_at="2013-07-09T08:56:55.000-0400" sha="dcc26065160056d933cdf76281cdad6b3b287b0a" parents_sha="846c3196db3a62e342ec84ac67edb172d37a8527"/> | ||
73 | <commits committer="//@projectMembers.2" parents="//@commits.24" pullrequest="//@issue.18/@pullrequest" created_at="2013-07-07T20:53:18.000-0400" sha="2bf992bcc00fec604758228eb73303a33184b188" parents_sha="5b8c63daa5c13c42dc8d46c0df099289abc8f3a3"/> | ||
74 | <commits committer="//@projectMembers.1" parents="//@commits.22" created_at="2013-06-28T07:59:05.000-0400" sha="846c3196db3a62e342ec84ac67edb172d37a8527" parents_sha="dd7f5a22e9e653d44906f17a8d2c8fe48213cc12"/> | ||
75 | <commits committer="//@projectMembers.1" parents="//@commits.23" created_at="2013-06-28T07:42:26.000-0400" sha="dd7f5a22e9e653d44906f17a8d2c8fe48213cc12" parents_sha="19558d07c7961aaf357828601d0efef0cf4e308e"/> | ||
76 | <commits committer="//@projectMembers.1" parents="//@commits.26" created_at="2013-06-28T07:34:41.000-0400" sha="19558d07c7961aaf357828601d0efef0cf4e308e" parents_sha="c7b0726d521b12a314d59d8a3fa6fa48415793d1"/> | ||
77 | <commits committer="//@projectMembers.2" parents="//@commits.25" pullrequest="//@issue.20/@pullrequest" created_at="2013-06-26T11:32:27.000-0400" sha="5b8c63daa5c13c42dc8d46c0df099289abc8f3a3" parents_sha="8668d48ce79bce03e04acc58dbff9bf578247f52"/> | ||
78 | <commits committer="//@projectMembers.2" parents="//@commits.26" created_at="2013-06-16T00:12:20.000-0400" sha="8668d48ce79bce03e04acc58dbff9bf578247f52" parents_sha="c7b0726d521b12a314d59d8a3fa6fa48415793d1"/> | ||
79 | <commits committer="//@projectMembers.1" parents="//@commits.27" created_at="2013-06-15T04:30:10.000-0400" sha="c7b0726d521b12a314d59d8a3fa6fa48415793d1" parents_sha="f9ddb55396f9ff2b14a8f8e66f15e31dd45ba07a"/> | ||
80 | <commits committer="//@projectMembers.1" parents="//@commits.28" created_at="2013-06-14T11:54:17.000-0400" sha="f9ddb55396f9ff2b14a8f8e66f15e31dd45ba07a" parents_sha="30413422c03344dc3683c0cfdefda2ede0891dbc"/> | ||
81 | <commits committer="//@projectMembers.0" parents="//@commits.29" created_at="2013-05-21T06:27:09.000-0400" sha="30413422c03344dc3683c0cfdefda2ede0891dbc" parents_sha="19f65f97a3cbdb466548e8c39310ed565d51991d"/> | ||
82 | <commits committer="//@projectMembers.0" parents="//@commits.30" created_at="2013-05-21T06:21:13.000-0400" sha="19f65f97a3cbdb466548e8c39310ed565d51991d" parents_sha="bf725977ceb0530cb439822cc3ec507595d0673b"/> | ||
83 | <commits committer="//@projectMembers.0" parents="//@commits.31" created_at="2013-05-21T06:19:38.000-0400" sha="bf725977ceb0530cb439822cc3ec507595d0673b" parents_sha="7da36f0b8423d24ad0c0fd82bb9a296bcd2731d4"/> | ||
84 | <commits committer="//@projectMembers.1" parents="//@commits.32" created_at="2013-05-21T05:18:23.000-0400" sha="7da36f0b8423d24ad0c0fd82bb9a296bcd2731d4" parents_sha="9d9ec8a1a0de65698deed0b7ce1e36e74960e410"/> | ||
85 | <commits committer="//@projectMembers.1" parents="//@commits.33" created_at="2013-05-21T05:16:17.000-0400" sha="9d9ec8a1a0de65698deed0b7ce1e36e74960e410" parents_sha="167cd263f39437ac197d0d75336b0e24cb590efa"/> | ||
86 | <commits committer="//@projectMembers.1" parents="//@commits.34" created_at="2013-05-20T09:24:04.000-0400" sha="167cd263f39437ac197d0d75336b0e24cb590efa" parents_sha="0ccd822e51126740fad7c7f7191127b99de663b6"/> | ||
87 | <commits committer="//@projectMembers.1" parents="//@commits.35" created_at="2013-05-20T06:21:45.000-0400" sha="0ccd822e51126740fad7c7f7191127b99de663b6" parents_sha="19036c7a96b1f71bc697a2f1a6def218267a0242"/> | ||
88 | <commits committer="//@projectMembers.1" parents="//@commits.36" created_at="2013-05-17T07:32:23.000-0400" sha="19036c7a96b1f71bc697a2f1a6def218267a0242" parents_sha="1f22c21855b7b161521f242ff1115ae8d8ab9313"/> | ||
89 | <commits committer="//@projectMembers.1" parents="//@commits.37" created_at="2013-05-16T16:30:51.000-0400" sha="1f22c21855b7b161521f242ff1115ae8d8ab9313" parents_sha="dd0f1a68e52e54b3ee10f3f429278369dd0975e6"/> | ||
90 | <commits committer="//@projectMembers.1" parents="//@commits.38" created_at="2013-05-15T05:04:15.000-0400" sha="dd0f1a68e52e54b3ee10f3f429278369dd0975e6" parents_sha="c9f01eaff5abcdce46788e9ed105829b2a063b40"/> | ||
91 | <commits committer="//@projectMembers.1" parents="//@commits.39" created_at="2013-05-14T13:07:02.000-0400" sha="c9f01eaff5abcdce46788e9ed105829b2a063b40" parents_sha="52f479adb604f6e5a373260a3acbe374afc52f25"/> | ||
92 | <commits committer="//@projectMembers.1" parents="//@commits.40" created_at="2013-05-14T08:48:12.000-0400" sha="52f479adb604f6e5a373260a3acbe374afc52f25" parents_sha="5d9e6dc68ff8f7de070bdfa3f897b1554caf2166"/> | ||
93 | <commits committer="//@projectMembers.1" created_at="2013-05-14T08:26:22.000-0400" sha="5d9e6dc68ff8f7de070bdfa3f897b1554caf2166" parents_sha="46109bd2797b2e80758056728ab371ec4339b5b5 0873fda3c6bd19363319a1f5d248ad60d24316e6"/> | ||
94 | <commits committer="//@projectMembers.3" created_at="2015-03-06T11:19:17.000-0500" sha="d22ad4be7c6bdab5d442155fa5fe4d79a0a60856" parents_sha="0de3f78d04a04612ab0f128eff9b6657ccf6d1b1"/> | ||
95 | <commits committer="//@projectMembers.3" pullrequest="//@issue.12/@pullrequest" created_at="2015-03-18T16:21:13.000-0400" sha="33a9c426bd04eba72cc3be3921c583beff2261b9" parents_sha="d22ad4be7c6bdab5d442155fa5fe4d79a0a60856"/> | ||
96 | <commits committer="//@projectMembers.4" created_at="2014-06-19T14:54:24.000-0400" sha="d34d78848522df8a43509ec206f18e8300cfa9ee" parents_sha="80562e9d30ecce390bd58a2077841a708bd2095f"/> | ||
97 | <commits committer="//@projectMembers.4" created_at="2014-06-19T14:56:28.000-0400" sha="a6ebd5a7acfcea32f09ff6dee5b020cefa11ad22" parents_sha="d34d78848522df8a43509ec206f18e8300cfa9ee"/> | ||
98 | <commits committer="//@projectMembers.4" created_at="2014-06-19T14:56:31.000-0400" sha="b3eed2ef580ee66c47f41e10b4da0257115ae684" parents_sha="a6ebd5a7acfcea32f09ff6dee5b020cefa11ad22"/> | ||
99 | <commits committer="//@projectMembers.4" pullrequest="//@issue.15/@pullrequest" created_at="2014-06-19T14:56:31.000-0400" sha="781c5e3d674b2e987b7affb3d6f3c24a3c54675a" parents_sha="b3eed2ef580ee66c47f41e10b4da0257115ae684"/> | ||
100 | <commits committer="//@projectMembers.5" pullrequest="//@issue.16/@pullrequest" created_at="2014-05-11T00:43:45.000-0400" sha="80562e9d30ecce390bd58a2077841a708bd2095f" parents_sha="8311666daccb78568071a8d835c8d5798f0808de"/> | ||
101 | <commits committer="//@projectMembers.0" created_at="2014-03-15T20:56:49.000-0400" sha="01a536a72c1b062da11b9ebf0610b5a628008163" parents_sha="ed99912edfd9f6f9e908a5325d2ab07d6e65e869"/> | ||
102 | <commits committer="//@projectMembers.0" created_at="2014-03-15T21:00:03.000-0400" sha="210c0ec94da299867167c1b8eaf58bb8f2342140" parents_sha="01a536a72c1b062da11b9ebf0610b5a628008163"/> | ||
103 | <commits committer="//@projectMembers.0" created_at="2014-03-18T11:52:38.000-0400" sha="8b511989e21d5fdd6be893c7320719d8a99c4834" parents_sha="210c0ec94da299867167c1b8eaf58bb8f2342140"/> | ||
104 | <commits committer="//@projectMembers.6" pullrequest="//@issue.17/@pullrequest" created_at="2014-05-09T05:07:45.000-0400" sha="e4131b497ffabbb03d71ac577d75add5c00caa41" parents_sha="8b511989e21d5fdd6be893c7320719d8a99c4834"/> | ||
105 | </github:Project> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/.DS_Store b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/.DS_Store new file mode 100644 index 00000000..5008ddfc --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/.DS_Store | |||
Binary files differ | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/2samplemodel65.githubmodel b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/2samplemodel65.githubmodel new file mode 100644 index 00000000..c78f0175 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/na_rep/2samplemodel65.githubmodel | |||
@@ -0,0 +1,38 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <github:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:github="sure.ghtorrent.github" creatd_at="2012-01-15T22:30:37.000-0500" updated_at="2013-05-10T16:37:30.000-0400" url="https://github.com/i8ramin/fb-menu"> | ||
3 | <issue created_at="2013-08-05T20:37:26.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/9"/> | ||
4 | <issue created_at="2012-10-24T03:46:19.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/5"> | ||
5 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/5"/> | ||
6 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-24T10:12:29.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
7 | </issue> | ||
8 | <issue created_at="2012-10-23T14:15:11.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/4"> | ||
9 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/4"/> | ||
10 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
11 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
12 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
13 | </issue> | ||
14 | <issue created_at="2012-10-19T20:17:40.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/3"> | ||
15 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/3"/> | ||
16 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
17 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
18 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
19 | </issue> | ||
20 | <issue created_at="2012-10-08T18:07:12.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/2"> | ||
21 | <pullrequest commit="//@commits.9" url="https://api.github.com/repos/i8ramin/fb-menu/pulls/2"/> | ||
22 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
23 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
24 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
25 | </issue> | ||
26 | <projectMembers url="https://api.github.com/users/i8ramin" name="i8ramin"/> | ||
27 | <projectMembers url="https://api.github.com/users/jpbellona" name="jpbellona"/> | ||
28 | <commits committer="//@projectMembers.0" parents="//@commits.1" created_at="2012-04-22T13:06:09.000-0400" sha="edac411699e093ae17bb8e252801d169cf63386b" parents_sha="0c5479209926ba6e76531191c5cb0c49f124c573"/> | ||
29 | <commits committer="//@projectMembers.0" parents="//@commits.2" created_at="2012-01-16T00:05:29.000-0500" sha="0c5479209926ba6e76531191c5cb0c49f124c573" parents_sha="501c513efa4c4b58229004c9804320af218bc9c6"/> | ||
30 | <commits committer="//@projectMembers.0" parents="//@commits.3" created_at="2012-01-15T23:47:46.000-0500" sha="501c513efa4c4b58229004c9804320af218bc9c6" parents_sha="bc83b9b4e0bcf2e1d4fcc7f9129bba2976c05d66"/> | ||
31 | <commits committer="//@projectMembers.0" parents="//@commits.4" created_at="2012-01-15T23:26:24.000-0500" sha="bc83b9b4e0bcf2e1d4fcc7f9129bba2976c05d66" parents_sha="294bc004162f404b49ea3e336b1e17c16354c85f"/> | ||
32 | <commits committer="//@projectMembers.0" parents="//@commits.5" created_at="2012-01-15T23:17:32.000-0500" sha="294bc004162f404b49ea3e336b1e17c16354c85f" parents_sha="8a3b5f6c8e052638e97e42fd2a1e49141fe8b862"/> | ||
33 | <commits committer="//@projectMembers.0" parents="//@commits.6" created_at="2012-01-15T23:08:00.000-0500" sha="8a3b5f6c8e052638e97e42fd2a1e49141fe8b862" parents_sha="a84b34c420016181971a2512c38afcc5215c2b5a"/> | ||
34 | <commits committer="//@projectMembers.0" parents="//@commits.7" created_at="2012-01-15T23:00:14.000-0500" sha="a84b34c420016181971a2512c38afcc5215c2b5a" parents_sha="32a6f8d140ac6db5ee37a89082804ef57cbb12bb"/> | ||
35 | <commits committer="//@projectMembers.0" parents="//@commits.8" created_at="2012-01-15T22:48:36.000-0500" sha="32a6f8d140ac6db5ee37a89082804ef57cbb12bb" parents_sha="74aefd366c55ae8de122e20794a00b8c49b584cb"/> | ||
36 | <commits committer="//@projectMembers.0" created_at="2012-01-15T22:31:19.000-0500" sha="74aefd366c55ae8de122e20794a00b8c49b584cb" parents_sha=""/> | ||
37 | <commits committer="//@projectMembers.1" pullrequest="//@issue.4/@pullrequest" created_at="2012-10-08T18:05:07.000-0400" sha="dfd5c4d9818c405cc262870515c6e5d8f71ba4a9" parents_sha="edac411699e093ae17bb8e252801d169cf63386b"/> | ||
38 | </github:Project> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/.DS_Store b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/.DS_Store new file mode 100644 index 00000000..5008ddfc --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/.DS_Store | |||
Binary files differ | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/samplemodel62.githubmodel b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/samplemodel62.githubmodel new file mode 100644 index 00000000..c78f0175 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Github/out_d_rep/samplemodel62.githubmodel | |||
@@ -0,0 +1,38 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <github:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:github="sure.ghtorrent.github" creatd_at="2012-01-15T22:30:37.000-0500" updated_at="2013-05-10T16:37:30.000-0400" url="https://github.com/i8ramin/fb-menu"> | ||
3 | <issue created_at="2013-08-05T20:37:26.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/9"/> | ||
4 | <issue created_at="2012-10-24T03:46:19.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/5"> | ||
5 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/5"/> | ||
6 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-24T10:12:29.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
7 | </issue> | ||
8 | <issue created_at="2012-10-23T14:15:11.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/4"> | ||
9 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/4"/> | ||
10 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
11 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
12 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-23T15:02:06.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
13 | </issue> | ||
14 | <issue created_at="2012-10-19T20:17:40.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/3"> | ||
15 | <pullrequest url="https://api.github.com/repos/i8ramin/fb-menu/pulls/3"/> | ||
16 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
17 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
18 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-23T13:55:51.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
19 | </issue> | ||
20 | <issue created_at="2012-10-08T18:07:12.000-0400" url="https://api.github.com/repos/i8ramin/fb-menu/issues/2"> | ||
21 | <pullrequest commit="//@commits.9" url="https://api.github.com/repos/i8ramin/fb-menu/pulls/2"/> | ||
22 | <issueevent user="//@projectMembers.0" action="CLOSED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
23 | <issueevent user="//@projectMembers.0" action="MERGED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
24 | <issueevent user="//@projectMembers.0" action="REFERENCED" created_at="2012-10-09T16:31:04.000-0400" actor_url="https://api.github.com/users/i8ramin"/> | ||
25 | </issue> | ||
26 | <projectMembers url="https://api.github.com/users/i8ramin" name="i8ramin"/> | ||
27 | <projectMembers url="https://api.github.com/users/jpbellona" name="jpbellona"/> | ||
28 | <commits committer="//@projectMembers.0" parents="//@commits.1" created_at="2012-04-22T13:06:09.000-0400" sha="edac411699e093ae17bb8e252801d169cf63386b" parents_sha="0c5479209926ba6e76531191c5cb0c49f124c573"/> | ||
29 | <commits committer="//@projectMembers.0" parents="//@commits.2" created_at="2012-01-16T00:05:29.000-0500" sha="0c5479209926ba6e76531191c5cb0c49f124c573" parents_sha="501c513efa4c4b58229004c9804320af218bc9c6"/> | ||
30 | <commits committer="//@projectMembers.0" parents="//@commits.3" created_at="2012-01-15T23:47:46.000-0500" sha="501c513efa4c4b58229004c9804320af218bc9c6" parents_sha="bc83b9b4e0bcf2e1d4fcc7f9129bba2976c05d66"/> | ||
31 | <commits committer="//@projectMembers.0" parents="//@commits.4" created_at="2012-01-15T23:26:24.000-0500" sha="bc83b9b4e0bcf2e1d4fcc7f9129bba2976c05d66" parents_sha="294bc004162f404b49ea3e336b1e17c16354c85f"/> | ||
32 | <commits committer="//@projectMembers.0" parents="//@commits.5" created_at="2012-01-15T23:17:32.000-0500" sha="294bc004162f404b49ea3e336b1e17c16354c85f" parents_sha="8a3b5f6c8e052638e97e42fd2a1e49141fe8b862"/> | ||
33 | <commits committer="//@projectMembers.0" parents="//@commits.6" created_at="2012-01-15T23:08:00.000-0500" sha="8a3b5f6c8e052638e97e42fd2a1e49141fe8b862" parents_sha="a84b34c420016181971a2512c38afcc5215c2b5a"/> | ||
34 | <commits committer="//@projectMembers.0" parents="//@commits.7" created_at="2012-01-15T23:00:14.000-0500" sha="a84b34c420016181971a2512c38afcc5215c2b5a" parents_sha="32a6f8d140ac6db5ee37a89082804ef57cbb12bb"/> | ||
35 | <commits committer="//@projectMembers.0" parents="//@commits.8" created_at="2012-01-15T22:48:36.000-0500" sha="32a6f8d140ac6db5ee37a89082804ef57cbb12bb" parents_sha="74aefd366c55ae8de122e20794a00b8c49b584cb"/> | ||
36 | <commits committer="//@projectMembers.0" created_at="2012-01-15T22:31:19.000-0500" sha="74aefd366c55ae8de122e20794a00b8c49b584cb" parents_sha=""/> | ||
37 | <commits committer="//@projectMembers.1" pullrequest="//@issue.4/@pullrequest" created_at="2012-10-08T18:05:07.000-0400" sha="dfd5c4d9818c405cc262870515c6e5d8f71ba4a9" parents_sha="edac411699e093ae17bb8e252801d169cf63386b"/> | ||
38 | </github:Project> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt index fb05996a..27d00bd9 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt | |||
@@ -1,15 +1,13 @@ | |||
1 | Error occured (NullPointerException): | 1 | Error occured (DiagnosticWrappedException): java.io.FileNotFoundException: C:\Users\chenp\eclipse-workspace\VIATRA-Generator\Metrics\Metrics-Calculation\SocialNetwork_plugin\inputs\github.xmi (The system cannot find the file specified) |
2 | hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder.toTypeReference(LogicProblemBuilder.java:302) | 2 | org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.handleDemandLoadException(ResourceSetImpl.java:319) |
3 | hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder.lambda$11(LogicProblemBuilder.java:313) | 3 | org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:278) |
4 | org.eclipse.xtext.xbase.lib.ObjectExtensions.operator_doubleArrow(ObjectExtensions.java:139) | 4 | org.eclipse.xtext.resource.XtextResourceSet.getResource(XtextResourceSet.java:265) |
5 | hu.bme.mit.inf.dslreasoner.logic.model.builder.LogicProblemBuilder.createVar(LogicProblemBuilder.java:315) | 5 | org.eclipse.xtext.resource.SynchronizedXtextResourceSet.getResource(SynchronizedXtextResourceSet.java:25) |
6 | hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic.transformBody(Viatra2Logic.java:335) | 6 | hu.bme.mit.inf.dslreasoner.application.execution.ModelLoader.loadModel(ModelLoader.java:41) |
7 | hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic.transformQuerySpecification(Viatra2Logic.java:237) | 7 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:174) |
8 | hu.bme.mit.inf.dslreasoner.viatra2logic.Viatra2Logic.transformQueries(Viatra2Logic.java:149) | 8 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:137) |
9 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:196) | 9 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:346) |
10 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:129) | 10 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:115) |
11 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:338) | ||
12 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:110) | ||
13 | hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:149) | 11 | hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor.executeScript(StandaloneScriptExecutor.java:149) |
14 | ca.mcgill.ecse.socialnetwork.runner.Main.runWithPath(Main.java:25) | 12 | ca.mcgill.ecse.socialnetwork.runner.Main.runWithPath(Main.java:25) |
15 | ca.mcgill.ecse.socialnetwork.runner.Main.main(Main.java:38) | 13 | ca.mcgill.ecse.socialnetwork.runner.Main.main(Main.java:38) |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig index ff9155a4..e63095e1 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/ecore.vsconfig | |||
@@ -1,6 +1,7 @@ | |||
1 | import viatra "./queries/queries/Ecore.vql" | 1 | import viatra "./queries/queries/Ecore.vql" |
2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" | 2 | import epackage "http://www.eclipse.org/emf/2002/Ecore" |
3 | 3 | ||
4 | // Copy this for different model sizes | ||
4 | generate { | 5 | generate { |
5 | metamodel = {package ecore excluding{EClassifier.instanceClass, EClassifier.defaultValue, | 6 | metamodel = {package ecore excluding{EClassifier.instanceClass, EClassifier.defaultValue, |
6 | EEnumLiteral.instance, EStructuralFeature.defaultValue, EStructuralFeature.changeable, | 7 | EEnumLiteral.instance, EStructuralFeature.defaultValue, EStructuralFeature.changeable, |
@@ -27,20 +28,23 @@ generate { | |||
27 | 28 | ||
28 | solver = ViatraSolver | 29 | solver = ViatraSolver |
29 | 30 | ||
31 | //median run time | ||
30 | scope = { | 32 | scope = { |
31 | #node = 100 | 33 | #node = 10 // (warm-up: 10) 30, 50, 80, 100, 120 .... |
32 | } | 34 | } |
33 | 35 | ||
34 | number = 1 | 36 | number = 1 |
35 | runs = 30 | 37 | runs = 5 |
36 | config = { | 38 | config = { |
37 | log-level = none, | 39 | log-level = none, |
38 | "optional-wf" = "true", | 40 | runtime = 300, // the runtime is in seconds, want to set is to 5 mins |
41 | "optional-wf" = "false", | ||
39 | "realistic-guidance" = "Composite", | 42 | "realistic-guidance" = "Composite", |
40 | "allow-must-violations" = "true", | 43 | "allow-must-violations" = "false", |
41 | "domain" = "Ecore" | 44 | "domain" = "Ecore" |
42 | } | 45 | } |
43 | 46 | ||
44 | debug = "debug" | 47 | debug = "debug" |
45 | output = "output/Ecore/" | 48 | statistics = "statistics/Ecore/warmup.csv" //give different set up different filenames |
46 | } \ No newline at end of file | 49 | output = "output/Ecore/run_time/" |
50 | } | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig new file mode 100644 index 00000000..1e1ee05a --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig | |||
@@ -0,0 +1,212 @@ | |||
1 | import epackage "../../../Domains/github-graph/model/github.ecore" | ||
2 | import viatra "../../../Domains/github-graph/queries/queries/github.vql" | ||
3 | |||
4 | generate { | ||
5 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
6 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
7 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
8 | partial-model = { "inputs/github.xmi"} | ||
9 | constraints = { package queries } | ||
10 | |||
11 | |||
12 | solver = ViatraSolver | ||
13 | |||
14 | scope = { | ||
15 | #node = 10 | ||
16 | } | ||
17 | |||
18 | number = 1 | ||
19 | runs = 5 | ||
20 | config = { | ||
21 | log-level = none, | ||
22 | runtime = 300, | ||
23 | "optional-wf" = "true", | ||
24 | "realistic-guidance" = "Composite", | ||
25 | "allow-must-violations" = "true", | ||
26 | "domain" = "Github" | ||
27 | } | ||
28 | |||
29 | debug = "debug" | ||
30 | statistics = "statistics/Github/warmup.csv" | ||
31 | output = "output/Github/Composite" | ||
32 | } | ||
33 | |||
34 | generate { | ||
35 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
36 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
37 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
38 | partial-model = { "inputs/github.xmi"} | ||
39 | constraints = { package queries } | ||
40 | |||
41 | |||
42 | solver = ViatraSolver | ||
43 | |||
44 | scope = { | ||
45 | #node = 30 | ||
46 | } | ||
47 | |||
48 | number = 1 | ||
49 | runs = 20 | ||
50 | config = { | ||
51 | log-level = none, | ||
52 | runtime = 300, | ||
53 | "optional-wf" = "true", | ||
54 | "realistic-guidance" = "Composite", | ||
55 | "allow-must-violations" = "true", | ||
56 | "domain" = "Github" | ||
57 | } | ||
58 | |||
59 | debug = "debug" | ||
60 | statistics = "statistics/Github/30.csv" | ||
61 | output = "output/Github/Composite" | ||
62 | } | ||
63 | |||
64 | generate { | ||
65 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
66 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
67 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
68 | partial-model = { "inputs/github.xmi"} | ||
69 | constraints = { package queries } | ||
70 | |||
71 | |||
72 | solver = ViatraSolver | ||
73 | |||
74 | scope = { | ||
75 | #node = 50 | ||
76 | } | ||
77 | |||
78 | number = 1 | ||
79 | runs = 20 | ||
80 | config = { | ||
81 | log-level = none, | ||
82 | runtime = 300, | ||
83 | "optional-wf" = "true", | ||
84 | "realistic-guidance" = "Composite", | ||
85 | "allow-must-violations" = "true", | ||
86 | "domain" = "Github" | ||
87 | } | ||
88 | |||
89 | debug = "debug" | ||
90 | statistics = "statistics/Github/50.csv" | ||
91 | output = "output/Github/Composite" | ||
92 | } | ||
93 | |||
94 | generate { | ||
95 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
96 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
97 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
98 | partial-model = { "inputs/github.xmi"} | ||
99 | constraints = { package queries } | ||
100 | |||
101 | |||
102 | solver = ViatraSolver | ||
103 | |||
104 | scope = { | ||
105 | #node = 80 | ||
106 | } | ||
107 | |||
108 | number = 1 | ||
109 | runs = 20 | ||
110 | config = { | ||
111 | log-level = none, | ||
112 | runtime = 300, | ||
113 | "optional-wf" = "true", | ||
114 | "realistic-guidance" = "Composite", | ||
115 | "allow-must-violations" = "true", | ||
116 | "domain" = "Github" | ||
117 | } | ||
118 | |||
119 | debug = "debug" | ||
120 | statistics = "statistics/Github/80.csv" | ||
121 | output = "output/Github/Composite" | ||
122 | } | ||
123 | |||
124 | generate { | ||
125 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
126 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
127 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
128 | partial-model = { "inputs/github.xmi"} | ||
129 | constraints = { package queries } | ||
130 | |||
131 | |||
132 | solver = ViatraSolver | ||
133 | |||
134 | scope = { | ||
135 | #node = 100 | ||
136 | } | ||
137 | |||
138 | number = 1 | ||
139 | runs = 20 | ||
140 | config = { | ||
141 | log-level = none, | ||
142 | runtime = 300, | ||
143 | "optional-wf" = "true", | ||
144 | "realistic-guidance" = "Composite", | ||
145 | "allow-must-violations" = "true", | ||
146 | "domain" = "Github" | ||
147 | } | ||
148 | |||
149 | debug = "debug" | ||
150 | statistics = "statistics/Github/100.csv" | ||
151 | output = "output/Github/Composite" | ||
152 | } | ||
153 | |||
154 | generate { | ||
155 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
156 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
157 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
158 | partial-model = { "inputs/github.xmi"} | ||
159 | constraints = { package queries } | ||
160 | |||
161 | |||
162 | solver = ViatraSolver | ||
163 | |||
164 | scope = { | ||
165 | #node = 120 | ||
166 | } | ||
167 | |||
168 | number = 1 | ||
169 | runs = 20 | ||
170 | config = { | ||
171 | log-level = none, | ||
172 | runtime = 300, | ||
173 | "optional-wf" = "true", | ||
174 | "realistic-guidance" = "Composite", | ||
175 | "allow-must-violations" = "true", | ||
176 | "domain" = "Github" | ||
177 | } | ||
178 | |||
179 | debug = "debug" | ||
180 | statistics = "statistics/Github/120.csv" | ||
181 | output = "output/Github/Composite" | ||
182 | } | ||
183 | |||
184 | generate { | ||
185 | metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, | ||
186 | Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, | ||
187 | IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} | ||
188 | partial-model = { "inputs/github.xmi"} | ||
189 | constraints = { package queries } | ||
190 | |||
191 | |||
192 | solver = ViatraSolver | ||
193 | |||
194 | scope = { | ||
195 | #node = 140 | ||
196 | } | ||
197 | |||
198 | number = 1 | ||
199 | runs = 20 | ||
200 | config = { | ||
201 | log-level = none, | ||
202 | runtime = 300, | ||
203 | "optional-wf" = "true", | ||
204 | "realistic-guidance" = "Composite", | ||
205 | "allow-must-violations" = "true", | ||
206 | "domain" = "Github" | ||
207 | } | ||
208 | |||
209 | debug = "debug" | ||
210 | statistics = "statistics/Github/140.csv" | ||
211 | output = "output/Github/Composite" | ||
212 | } \ No newline at end of file | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/.gitignore b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/.gitignore deleted file mode 100644 index 17126b28..00000000 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/.gitignore +++ /dev/null | |||
@@ -1,4 +0,0 @@ | |||
1 | # ignore everything in this folder except for this folder it self | ||
2 | |||
3 | * | ||
4 | !.gitignore \ No newline at end of file | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/ecore.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/ecore.xmi new file mode 100644 index 00000000..c5721309 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/ecore.xmi | |||
@@ -0,0 +1,5 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"> | ||
4 | |||
5 | </ecore:EPackage> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/github.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/github.xmi new file mode 100644 index 00000000..ad497607 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/github.xmi | |||
@@ -0,0 +1,3 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <github:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:github="sure.ghtorrent.github"> | ||
3 | </github:Project> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi new file mode 100644 index 00000000..f9a2a185 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi | |||
@@ -0,0 +1,2 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm" xsi:schemaLocation="hu.bme.mit.inf.yakindumm ../VIATRA-Generator/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.ecore"/> | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/output.txt b/Metrics/Metrics-Calculation/SocialNetwork_plugin/output.txt deleted file mode 100644 index f027494d..00000000 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/output.txt +++ /dev/null | |||
@@ -1,9 +0,0 @@ | |||
1 | 1 | ||
2 | 3 | ||
3 | 1 | ||
4 | 3 | ||
5 | 3 | ||
6 | 5 | ||
7 | 3 | ||
8 | 1 | ||
9 | 2 | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/plugin.xml b/Metrics/Metrics-Calculation/SocialNetwork_plugin/plugin.xml index 269d4b7b..86211808 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/plugin.xml +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/plugin.xml | |||
@@ -4,6 +4,14 @@ | |||
4 | <!-- @generated socialnetwork --> | 4 | <!-- @generated socialnetwork --> |
5 | <package class="socialnetwork.SocialnetworkPackage" genModel="model/socialnetwork.genmodel" uri="http://ecse.mcgill.ca/socialnetwork"/> | 5 | <package class="socialnetwork.SocialnetworkPackage" genModel="model/socialnetwork.genmodel" uri="http://ecse.mcgill.ca/socialnetwork"/> |
6 | </extension> | 6 | </extension> |
7 | <extension id="ca.mcgill.ecse.socialnetwork.plugin.Queries" point="org.eclipse.viatra.query.runtime.queryspecification"> | ||
8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:ca.mcgill.ecse.socialnetwork.plugin.Queries" id="ca.mcgill.ecse.socialnetwork.plugin.Queries"> | ||
9 | <query-specification fqn="ca.mcgill.ecse.socialnetwork.plugin.singleFriendship"/> | ||
10 | <query-specification fqn="ca.mcgill.ecse.socialnetwork.plugin.noFriend"/> | ||
11 | <query-specification fqn="ca.mcgill.ecse.socialnetwork.plugin.selfFriend"/> | ||
12 | <query-specification fqn="ca.mcgill.ecse.socialnetwork.plugin.friendship"/> | ||
13 | </group> | ||
14 | </extension> | ||
7 | <extension id="queries.Ecore" point="org.eclipse.viatra.query.runtime.queryspecification"> | 15 | <extension id="queries.Ecore" point="org.eclipse.viatra.query.runtime.queryspecification"> |
8 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Ecore" id="queries.Ecore"> | 16 | <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.Ecore" id="queries.Ecore"> |
9 | <query-specification fqn="queries.directSupertype"/> | 17 | <query-specification fqn="queries.directSupertype"/> |
@@ -12,7 +20,6 @@ | |||
12 | <query-specification fqn="queries.oppositeDifferentClass"/> | 20 | <query-specification fqn="queries.oppositeDifferentClass"/> |
13 | <query-specification fqn="queries.nonSymmetricOpposite"/> | 21 | <query-specification fqn="queries.nonSymmetricOpposite"/> |
14 | <query-specification fqn="queries.superTypes"/> | 22 | <query-specification fqn="queries.superTypes"/> |
15 | <query-specification fqn="queries.moreThenFiveSuperTypes"/> | ||
16 | </group> | 23 | </group> |
17 | </extension> | 24 | </extension> |
18 | </plugin> | 25 | </plugin> |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java index ebafb74b..adfa5cf8 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/Ecore.java | |||
@@ -7,7 +7,6 @@ import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | |||
7 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | 7 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; |
8 | import queries.DirectSupertype; | 8 | import queries.DirectSupertype; |
9 | import queries.LoopInInheritence; | 9 | import queries.LoopInInheritence; |
10 | import queries.MoreThenFiveSuperTypes; | ||
11 | import queries.NonSymmetricOpposite; | 10 | import queries.NonSymmetricOpposite; |
12 | import queries.Opposite; | 11 | import queries.Opposite; |
13 | import queries.OppositeDifferentClass; | 12 | import queries.OppositeDifferentClass; |
@@ -27,7 +26,6 @@ import queries.SuperTypes; | |||
27 | * <li>oppositeDifferentClass</li> | 26 | * <li>oppositeDifferentClass</li> |
28 | * <li>nonSymmetricOpposite</li> | 27 | * <li>nonSymmetricOpposite</li> |
29 | * <li>superTypes</li> | 28 | * <li>superTypes</li> |
30 | * <li>moreThenFiveSuperTypes</li> | ||
31 | * </ul> | 29 | * </ul> |
32 | * | 30 | * |
33 | * @see IQueryGroup | 31 | * @see IQueryGroup |
@@ -58,7 +56,6 @@ public final class Ecore extends BaseGeneratedPatternGroup { | |||
58 | querySpecifications.add(OppositeDifferentClass.instance()); | 56 | querySpecifications.add(OppositeDifferentClass.instance()); |
59 | querySpecifications.add(NonSymmetricOpposite.instance()); | 57 | querySpecifications.add(NonSymmetricOpposite.instance()); |
60 | querySpecifications.add(SuperTypes.instance()); | 58 | querySpecifications.add(SuperTypes.instance()); |
61 | querySpecifications.add(MoreThenFiveSuperTypes.instance()); | ||
62 | } | 59 | } |
63 | 60 | ||
64 | public DirectSupertype getDirectSupertype() { | 61 | public DirectSupertype getDirectSupertype() { |
@@ -108,12 +105,4 @@ public final class Ecore extends BaseGeneratedPatternGroup { | |||
108 | public SuperTypes.Matcher getSuperTypes(final ViatraQueryEngine engine) { | 105 | public SuperTypes.Matcher getSuperTypes(final ViatraQueryEngine engine) { |
109 | return SuperTypes.Matcher.on(engine); | 106 | return SuperTypes.Matcher.on(engine); |
110 | } | 107 | } |
111 | |||
112 | public MoreThenFiveSuperTypes getMoreThenFiveSuperTypes() { | ||
113 | return MoreThenFiveSuperTypes.instance(); | ||
114 | } | ||
115 | |||
116 | public MoreThenFiveSuperTypes.Matcher getMoreThenFiveSuperTypes(final ViatraQueryEngine engine) { | ||
117 | return MoreThenFiveSuperTypes.Matcher.on(engine); | ||
118 | } | ||
119 | } | 108 | } |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/MoreThenFiveSuperTypes.java b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/MoreThenFiveSuperTypes.java deleted file mode 100644 index 867ffd01..00000000 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src-gen/queries/MoreThenFiveSuperTypes.java +++ /dev/null | |||
@@ -1,611 +0,0 @@ | |||
1 | /** | ||
2 | * Generated from platform:/resource/SocialNetwork_plugin/queries/queries/Ecore.vql | ||
3 | */ | ||
4 | package queries; | ||
5 | |||
6 | import java.util.Arrays; | ||
7 | import java.util.Collection; | ||
8 | import java.util.LinkedHashSet; | ||
9 | import java.util.List; | ||
10 | import java.util.Objects; | ||
11 | import java.util.Optional; | ||
12 | import java.util.Set; | ||
13 | import java.util.function.Consumer; | ||
14 | import java.util.stream.Collectors; | ||
15 | import java.util.stream.Stream; | ||
16 | import org.apache.log4j.Logger; | ||
17 | import org.eclipse.emf.ecore.EClass; | ||
18 | import org.eclipse.viatra.query.runtime.api.IPatternMatch; | ||
19 | import org.eclipse.viatra.query.runtime.api.IQuerySpecification; | ||
20 | import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; | ||
21 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery; | ||
22 | import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification; | ||
23 | import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher; | ||
24 | import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch; | ||
25 | import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey; | ||
26 | import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint; | ||
27 | import org.eclipse.viatra.query.runtime.matchers.psystem.PBody; | ||
28 | import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable; | ||
29 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation; | ||
30 | import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.ParameterReference; | ||
31 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter; | ||
32 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Inequality; | ||
33 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.PositivePatternCall; | ||
34 | import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint; | ||
35 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter; | ||
36 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection; | ||
37 | import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility; | ||
38 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple; | ||
39 | import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples; | ||
40 | import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil; | ||
41 | import queries.SuperTypes; | ||
42 | |||
43 | /** | ||
44 | * A pattern-specific query specification that can instantiate Matcher in a type-safe way. | ||
45 | * | ||
46 | * <p>Original source: | ||
47 | * <code><pre> | ||
48 | * {@literal @}Constraint(severity="error", message="error", key = {c}) | ||
49 | * pattern moreThenFiveSuperTypes(c: EClass){ | ||
50 | * find superTypes(c1, s1); | ||
51 | * find superTypes(c1, s2); | ||
52 | * find superTypes(c1, s3); | ||
53 | * find superTypes(c1, s4); | ||
54 | * find superTypes(c1, s5); | ||
55 | * s1 != s2; | ||
56 | * s1 != s3; | ||
57 | * s1 != s4; | ||
58 | * s1 != s5; | ||
59 | * s2 != s3; | ||
60 | * s2 != s4; | ||
61 | * s2 != s5; | ||
62 | * s3 != s4; | ||
63 | * s3 != s5; | ||
64 | * s4 != s5; | ||
65 | * } | ||
66 | * </pre></code> | ||
67 | * | ||
68 | * @see Matcher | ||
69 | * @see Match | ||
70 | * | ||
71 | */ | ||
72 | @SuppressWarnings("all") | ||
73 | public final class MoreThenFiveSuperTypes extends BaseGeneratedEMFQuerySpecification<MoreThenFiveSuperTypes.Matcher> { | ||
74 | /** | ||
75 | * Pattern-specific match representation of the queries.moreThenFiveSuperTypes pattern, | ||
76 | * to be used in conjunction with {@link Matcher}. | ||
77 | * | ||
78 | * <p>Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned. | ||
79 | * Each instance is a (possibly partial) substitution of pattern parameters, | ||
80 | * usable to represent a match of the pattern in the result of a query, | ||
81 | * or to specify the bound (fixed) input parameters when issuing a query. | ||
82 | * | ||
83 | * @see Matcher | ||
84 | * | ||
85 | */ | ||
86 | public static abstract class Match extends BasePatternMatch { | ||
87 | private EClass fC; | ||
88 | |||
89 | private static List<String> parameterNames = makeImmutableList("c"); | ||
90 | |||
91 | private Match(final EClass pC) { | ||
92 | this.fC = pC; | ||
93 | } | ||
94 | |||
95 | @Override | ||
96 | public Object get(final String parameterName) { | ||
97 | if ("c".equals(parameterName)) return this.fC; | ||
98 | return null; | ||
99 | } | ||
100 | |||
101 | public EClass getC() { | ||
102 | return this.fC; | ||
103 | } | ||
104 | |||
105 | @Override | ||
106 | public boolean set(final String parameterName, final Object newValue) { | ||
107 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | ||
108 | if ("c".equals(parameterName) ) { | ||
109 | this.fC = (EClass) newValue; | ||
110 | return true; | ||
111 | } | ||
112 | return false; | ||
113 | } | ||
114 | |||
115 | public void setC(final EClass pC) { | ||
116 | if (!isMutable()) throw new java.lang.UnsupportedOperationException(); | ||
117 | this.fC = pC; | ||
118 | } | ||
119 | |||
120 | @Override | ||
121 | public String patternName() { | ||
122 | return "queries.moreThenFiveSuperTypes"; | ||
123 | } | ||
124 | |||
125 | @Override | ||
126 | public List<String> parameterNames() { | ||
127 | return MoreThenFiveSuperTypes.Match.parameterNames; | ||
128 | } | ||
129 | |||
130 | @Override | ||
131 | public Object[] toArray() { | ||
132 | return new Object[]{fC}; | ||
133 | } | ||
134 | |||
135 | @Override | ||
136 | public MoreThenFiveSuperTypes.Match toImmutable() { | ||
137 | return isMutable() ? newMatch(fC) : this; | ||
138 | } | ||
139 | |||
140 | @Override | ||
141 | public String prettyPrint() { | ||
142 | StringBuilder result = new StringBuilder(); | ||
143 | result.append("\"c\"=" + prettyPrintValue(fC)); | ||
144 | return result.toString(); | ||
145 | } | ||
146 | |||
147 | @Override | ||
148 | public int hashCode() { | ||
149 | return Objects.hash(fC); | ||
150 | } | ||
151 | |||
152 | @Override | ||
153 | public boolean equals(final Object obj) { | ||
154 | if (this == obj) | ||
155 | return true; | ||
156 | if (obj == null) { | ||
157 | return false; | ||
158 | } | ||
159 | if ((obj instanceof MoreThenFiveSuperTypes.Match)) { | ||
160 | MoreThenFiveSuperTypes.Match other = (MoreThenFiveSuperTypes.Match) obj; | ||
161 | return Objects.equals(fC, other.fC); | ||
162 | } else { | ||
163 | // this should be infrequent | ||
164 | if (!(obj instanceof IPatternMatch)) { | ||
165 | return false; | ||
166 | } | ||
167 | IPatternMatch otherSig = (IPatternMatch) obj; | ||
168 | return Objects.equals(specification(), otherSig.specification()) && Arrays.deepEquals(toArray(), otherSig.toArray()); | ||
169 | } | ||
170 | } | ||
171 | |||
172 | @Override | ||
173 | public MoreThenFiveSuperTypes specification() { | ||
174 | return MoreThenFiveSuperTypes.instance(); | ||
175 | } | ||
176 | |||
177 | /** | ||
178 | * Returns an empty, mutable match. | ||
179 | * Fields of the mutable match can be filled to create a partial match, usable as matcher input. | ||
180 | * | ||
181 | * @return the empty match. | ||
182 | * | ||
183 | */ | ||
184 | public static MoreThenFiveSuperTypes.Match newEmptyMatch() { | ||
185 | return new Mutable(null); | ||
186 | } | ||
187 | |||
188 | /** | ||
189 | * Returns a mutable (partial) match. | ||
190 | * Fields of the mutable match can be filled to create a partial match, usable as matcher input. | ||
191 | * | ||
192 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
193 | * @return the new, mutable (partial) match object. | ||
194 | * | ||
195 | */ | ||
196 | public static MoreThenFiveSuperTypes.Match newMutableMatch(final EClass pC) { | ||
197 | return new Mutable(pC); | ||
198 | } | ||
199 | |||
200 | /** | ||
201 | * Returns a new (partial) match. | ||
202 | * This can be used e.g. to call the matcher with a partial match. | ||
203 | * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object. | ||
204 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
205 | * @return the (partial) match object. | ||
206 | * | ||
207 | */ | ||
208 | public static MoreThenFiveSuperTypes.Match newMatch(final EClass pC) { | ||
209 | return new Immutable(pC); | ||
210 | } | ||
211 | |||
212 | private static final class Mutable extends MoreThenFiveSuperTypes.Match { | ||
213 | Mutable(final EClass pC) { | ||
214 | super(pC); | ||
215 | } | ||
216 | |||
217 | @Override | ||
218 | public boolean isMutable() { | ||
219 | return true; | ||
220 | } | ||
221 | } | ||
222 | |||
223 | private static final class Immutable extends MoreThenFiveSuperTypes.Match { | ||
224 | Immutable(final EClass pC) { | ||
225 | super(pC); | ||
226 | } | ||
227 | |||
228 | @Override | ||
229 | public boolean isMutable() { | ||
230 | return false; | ||
231 | } | ||
232 | } | ||
233 | } | ||
234 | |||
235 | /** | ||
236 | * Generated pattern matcher API of the queries.moreThenFiveSuperTypes pattern, | ||
237 | * providing pattern-specific query methods. | ||
238 | * | ||
239 | * <p>Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)}, | ||
240 | * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}. | ||
241 | * | ||
242 | * <p>Matches of the pattern will be represented as {@link Match}. | ||
243 | * | ||
244 | * <p>Original source: | ||
245 | * <code><pre> | ||
246 | * {@literal @}Constraint(severity="error", message="error", key = {c}) | ||
247 | * pattern moreThenFiveSuperTypes(c: EClass){ | ||
248 | * find superTypes(c1, s1); | ||
249 | * find superTypes(c1, s2); | ||
250 | * find superTypes(c1, s3); | ||
251 | * find superTypes(c1, s4); | ||
252 | * find superTypes(c1, s5); | ||
253 | * s1 != s2; | ||
254 | * s1 != s3; | ||
255 | * s1 != s4; | ||
256 | * s1 != s5; | ||
257 | * s2 != s3; | ||
258 | * s2 != s4; | ||
259 | * s2 != s5; | ||
260 | * s3 != s4; | ||
261 | * s3 != s5; | ||
262 | * s4 != s5; | ||
263 | * } | ||
264 | * </pre></code> | ||
265 | * | ||
266 | * @see Match | ||
267 | * @see MoreThenFiveSuperTypes | ||
268 | * | ||
269 | */ | ||
270 | public static class Matcher extends BaseMatcher<MoreThenFiveSuperTypes.Match> { | ||
271 | /** | ||
272 | * Initializes the pattern matcher within an existing VIATRA Query engine. | ||
273 | * If the pattern matcher is already constructed in the engine, only a light-weight reference is returned. | ||
274 | * | ||
275 | * @param engine the existing VIATRA Query engine in which this matcher will be created. | ||
276 | * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation | ||
277 | * | ||
278 | */ | ||
279 | public static MoreThenFiveSuperTypes.Matcher on(final ViatraQueryEngine engine) { | ||
280 | // check if matcher already exists | ||
281 | Matcher matcher = engine.getExistingMatcher(querySpecification()); | ||
282 | if (matcher == null) { | ||
283 | matcher = (Matcher)engine.getMatcher(querySpecification()); | ||
284 | } | ||
285 | return matcher; | ||
286 | } | ||
287 | |||
288 | /** | ||
289 | * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation | ||
290 | * @return an initialized matcher | ||
291 | * @noreference This method is for internal matcher initialization by the framework, do not call it manually. | ||
292 | * | ||
293 | */ | ||
294 | public static MoreThenFiveSuperTypes.Matcher create() { | ||
295 | return new Matcher(); | ||
296 | } | ||
297 | |||
298 | private static final int POSITION_C = 0; | ||
299 | |||
300 | private static final Logger LOGGER = ViatraQueryLoggingUtil.getLogger(MoreThenFiveSuperTypes.Matcher.class); | ||
301 | |||
302 | /** | ||
303 | * Initializes the pattern matcher within an existing VIATRA Query engine. | ||
304 | * If the pattern matcher is already constructed in the engine, only a light-weight reference is returned. | ||
305 | * | ||
306 | * @param engine the existing VIATRA Query engine in which this matcher will be created. | ||
307 | * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation | ||
308 | * | ||
309 | */ | ||
310 | private Matcher() { | ||
311 | super(querySpecification()); | ||
312 | } | ||
313 | |||
314 | /** | ||
315 | * Returns the set of all matches of the pattern that conform to the given fixed values of some parameters. | ||
316 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
317 | * @return matches represented as a Match object. | ||
318 | * | ||
319 | */ | ||
320 | public Collection<MoreThenFiveSuperTypes.Match> getAllMatches(final EClass pC) { | ||
321 | return rawStreamAllMatches(new Object[]{pC}).collect(Collectors.toSet()); | ||
322 | } | ||
323 | |||
324 | /** | ||
325 | * Returns a stream of all matches of the pattern that conform to the given fixed values of some parameters. | ||
326 | * </p> | ||
327 | * <strong>NOTE</strong>: It is important not to modify the source model while the stream is being processed. | ||
328 | * If the match set of the pattern changes during processing, the contents of the stream is <strong>undefined</strong>. | ||
329 | * In such cases, either rely on {@link #getAllMatches()} or collect the results of the stream in end-user code. | ||
330 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
331 | * @return a stream of matches represented as a Match object. | ||
332 | * | ||
333 | */ | ||
334 | public Stream<MoreThenFiveSuperTypes.Match> streamAllMatches(final EClass pC) { | ||
335 | return rawStreamAllMatches(new Object[]{pC}); | ||
336 | } | ||
337 | |||
338 | /** | ||
339 | * Returns an arbitrarily chosen match of the pattern that conforms to the given fixed values of some parameters. | ||
340 | * Neither determinism nor randomness of selection is guaranteed. | ||
341 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
342 | * @return a match represented as a Match object, or null if no match is found. | ||
343 | * | ||
344 | */ | ||
345 | public Optional<MoreThenFiveSuperTypes.Match> getOneArbitraryMatch(final EClass pC) { | ||
346 | return rawGetOneArbitraryMatch(new Object[]{pC}); | ||
347 | } | ||
348 | |||
349 | /** | ||
350 | * Indicates whether the given combination of specified pattern parameters constitute a valid pattern match, | ||
351 | * under any possible substitution of the unspecified parameters (if any). | ||
352 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
353 | * @return true if the input is a valid (partial) match of the pattern. | ||
354 | * | ||
355 | */ | ||
356 | public boolean hasMatch(final EClass pC) { | ||
357 | return rawHasMatch(new Object[]{pC}); | ||
358 | } | ||
359 | |||
360 | /** | ||
361 | * Returns the number of all matches of the pattern that conform to the given fixed values of some parameters. | ||
362 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
363 | * @return the number of pattern matches found. | ||
364 | * | ||
365 | */ | ||
366 | public int countMatches(final EClass pC) { | ||
367 | return rawCountMatches(new Object[]{pC}); | ||
368 | } | ||
369 | |||
370 | /** | ||
371 | * Executes the given processor on an arbitrarily chosen match of the pattern that conforms to the given fixed values of some parameters. | ||
372 | * Neither determinism nor randomness of selection is guaranteed. | ||
373 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
374 | * @param processor the action that will process the selected match. | ||
375 | * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked | ||
376 | * | ||
377 | */ | ||
378 | public boolean forOneArbitraryMatch(final EClass pC, final Consumer<? super MoreThenFiveSuperTypes.Match> processor) { | ||
379 | return rawForOneArbitraryMatch(new Object[]{pC}, processor); | ||
380 | } | ||
381 | |||
382 | /** | ||
383 | * Returns a new (partial) match. | ||
384 | * This can be used e.g. to call the matcher with a partial match. | ||
385 | * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object. | ||
386 | * @param pC the fixed value of pattern parameter c, or null if not bound. | ||
387 | * @return the (partial) match object. | ||
388 | * | ||
389 | */ | ||
390 | public MoreThenFiveSuperTypes.Match newMatch(final EClass pC) { | ||
391 | return MoreThenFiveSuperTypes.Match.newMatch(pC); | ||
392 | } | ||
393 | |||
394 | /** | ||
395 | * Retrieve the set of values that occur in matches for c. | ||
396 | * @return the Set of all values or empty set if there are no matches | ||
397 | * | ||
398 | */ | ||
399 | protected Stream<EClass> rawStreamAllValuesOfc(final Object[] parameters) { | ||
400 | return rawStreamAllValues(POSITION_C, parameters).map(EClass.class::cast); | ||
401 | } | ||
402 | |||
403 | /** | ||
404 | * Retrieve the set of values that occur in matches for c. | ||
405 | * @return the Set of all values or empty set if there are no matches | ||
406 | * | ||
407 | */ | ||
408 | public Set<EClass> getAllValuesOfc() { | ||
409 | return rawStreamAllValuesOfc(emptyArray()).collect(Collectors.toSet()); | ||
410 | } | ||
411 | |||
412 | /** | ||
413 | * Retrieve the set of values that occur in matches for c. | ||
414 | * @return the Set of all values or empty set if there are no matches | ||
415 | * | ||
416 | */ | ||
417 | public Stream<EClass> streamAllValuesOfc() { | ||
418 | return rawStreamAllValuesOfc(emptyArray()); | ||
419 | } | ||
420 | |||
421 | @Override | ||
422 | protected MoreThenFiveSuperTypes.Match tupleToMatch(final Tuple t) { | ||
423 | try { | ||
424 | return MoreThenFiveSuperTypes.Match.newMatch((EClass) t.get(POSITION_C)); | ||
425 | } catch(ClassCastException e) { | ||
426 | LOGGER.error("Element(s) in tuple not properly typed!",e); | ||
427 | return null; | ||
428 | } | ||
429 | } | ||
430 | |||
431 | @Override | ||
432 | protected MoreThenFiveSuperTypes.Match arrayToMatch(final Object[] match) { | ||
433 | try { | ||
434 | return MoreThenFiveSuperTypes.Match.newMatch((EClass) match[POSITION_C]); | ||
435 | } catch(ClassCastException e) { | ||
436 | LOGGER.error("Element(s) in array not properly typed!",e); | ||
437 | return null; | ||
438 | } | ||
439 | } | ||
440 | |||
441 | @Override | ||
442 | protected MoreThenFiveSuperTypes.Match arrayToMatchMutable(final Object[] match) { | ||
443 | try { | ||
444 | return MoreThenFiveSuperTypes.Match.newMutableMatch((EClass) match[POSITION_C]); | ||
445 | } catch(ClassCastException e) { | ||
446 | LOGGER.error("Element(s) in array not properly typed!",e); | ||
447 | return null; | ||
448 | } | ||
449 | } | ||
450 | |||
451 | /** | ||
452 | * @return the singleton instance of the query specification of this pattern | ||
453 | * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded | ||
454 | * | ||
455 | */ | ||
456 | public static IQuerySpecification<MoreThenFiveSuperTypes.Matcher> querySpecification() { | ||
457 | return MoreThenFiveSuperTypes.instance(); | ||
458 | } | ||
459 | } | ||
460 | |||
461 | private MoreThenFiveSuperTypes() { | ||
462 | super(GeneratedPQuery.INSTANCE); | ||
463 | } | ||
464 | |||
465 | /** | ||
466 | * @return the singleton instance of the query specification | ||
467 | * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded | ||
468 | * | ||
469 | */ | ||
470 | public static MoreThenFiveSuperTypes instance() { | ||
471 | try{ | ||
472 | return LazyHolder.INSTANCE; | ||
473 | } catch (ExceptionInInitializerError err) { | ||
474 | throw processInitializerError(err); | ||
475 | } | ||
476 | } | ||
477 | |||
478 | @Override | ||
479 | protected MoreThenFiveSuperTypes.Matcher instantiate(final ViatraQueryEngine engine) { | ||
480 | return MoreThenFiveSuperTypes.Matcher.on(engine); | ||
481 | } | ||
482 | |||
483 | @Override | ||
484 | public MoreThenFiveSuperTypes.Matcher instantiate() { | ||
485 | return MoreThenFiveSuperTypes.Matcher.create(); | ||
486 | } | ||
487 | |||
488 | @Override | ||
489 | public MoreThenFiveSuperTypes.Match newEmptyMatch() { | ||
490 | return MoreThenFiveSuperTypes.Match.newEmptyMatch(); | ||
491 | } | ||
492 | |||
493 | @Override | ||
494 | public MoreThenFiveSuperTypes.Match newMatch(final Object... parameters) { | ||
495 | return MoreThenFiveSuperTypes.Match.newMatch((org.eclipse.emf.ecore.EClass) parameters[0]); | ||
496 | } | ||
497 | |||
498 | /** | ||
499 | * Inner class allowing the singleton instance of {@link JvmGenericType: queries.MoreThenFiveSuperTypes (visibility: PUBLIC, simpleName: MoreThenFiveSuperTypes, identifier: queries.MoreThenFiveSuperTypes, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: queries) (interface: false, strictFloatingPoint: false, anonymous: false)} to be created | ||
500 | * <b>not</b> at the class load time of the outer class, | ||
501 | * but rather at the first call to {@link JvmGenericType: queries.MoreThenFiveSuperTypes (visibility: PUBLIC, simpleName: MoreThenFiveSuperTypes, identifier: queries.MoreThenFiveSuperTypes, deprecated: <unset>) (abstract: false, static: false, final: true, packageName: queries) (interface: false, strictFloatingPoint: false, anonymous: false)#instance()}. | ||
502 | * | ||
503 | * <p> This workaround is required e.g. to support recursion. | ||
504 | * | ||
505 | */ | ||
506 | private static class LazyHolder { | ||
507 | private static final MoreThenFiveSuperTypes INSTANCE = new MoreThenFiveSuperTypes(); | ||
508 | |||
509 | /** | ||
510 | * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned. | ||
511 | * This initialization order is required to support indirect recursion. | ||
512 | * | ||
513 | * <p> The static initializer is defined using a helper field to work around limitations of the code generator. | ||
514 | * | ||
515 | */ | ||
516 | private static final Object STATIC_INITIALIZER = ensureInitialized(); | ||
517 | |||
518 | public static Object ensureInitialized() { | ||
519 | INSTANCE.ensureInitializedInternal(); | ||
520 | return null; | ||
521 | } | ||
522 | } | ||
523 | |||
524 | private static class GeneratedPQuery extends BaseGeneratedEMFPQuery { | ||
525 | private static final MoreThenFiveSuperTypes.GeneratedPQuery INSTANCE = new GeneratedPQuery(); | ||
526 | |||
527 | private final PParameter parameter_c = new PParameter("c", "org.eclipse.emf.ecore.EClass", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.eclipse.org/emf/2002/Ecore", "EClass")), PParameterDirection.INOUT); | ||
528 | |||
529 | private final List<PParameter> parameters = Arrays.asList(parameter_c); | ||
530 | |||
531 | private GeneratedPQuery() { | ||
532 | super(PVisibility.PUBLIC); | ||
533 | } | ||
534 | |||
535 | @Override | ||
536 | public String getFullyQualifiedName() { | ||
537 | return "queries.moreThenFiveSuperTypes"; | ||
538 | } | ||
539 | |||
540 | @Override | ||
541 | public List<String> getParameterNames() { | ||
542 | return Arrays.asList("c"); | ||
543 | } | ||
544 | |||
545 | @Override | ||
546 | public List<PParameter> getParameters() { | ||
547 | return parameters; | ||
548 | } | ||
549 | |||
550 | @Override | ||
551 | public Set<PBody> doGetContainedBodies() { | ||
552 | setEvaluationHints(new QueryEvaluationHint(null, QueryEvaluationHint.BackendRequirement.UNSPECIFIED)); | ||
553 | Set<PBody> bodies = new LinkedHashSet<>(); | ||
554 | { | ||
555 | PBody body = new PBody(this); | ||
556 | PVariable var_c = body.getOrCreateVariableByName("c"); | ||
557 | PVariable var_c1 = body.getOrCreateVariableByName("c1"); | ||
558 | PVariable var_s1 = body.getOrCreateVariableByName("s1"); | ||
559 | PVariable var_s2 = body.getOrCreateVariableByName("s2"); | ||
560 | PVariable var_s3 = body.getOrCreateVariableByName("s3"); | ||
561 | PVariable var_s4 = body.getOrCreateVariableByName("s4"); | ||
562 | PVariable var_s5 = body.getOrCreateVariableByName("s5"); | ||
563 | new TypeConstraint(body, Tuples.flatTupleOf(var_c), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.eclipse.org/emf/2002/Ecore", "EClass"))); | ||
564 | body.setSymbolicParameters(Arrays.<ExportedParameter>asList( | ||
565 | new ExportedParameter(body, var_c, parameter_c) | ||
566 | )); | ||
567 | // find superTypes(c1, s1) | ||
568 | new PositivePatternCall(body, Tuples.flatTupleOf(var_c1, var_s1), SuperTypes.instance().getInternalQueryRepresentation()); | ||
569 | // find superTypes(c1, s2) | ||
570 | new PositivePatternCall(body, Tuples.flatTupleOf(var_c1, var_s2), SuperTypes.instance().getInternalQueryRepresentation()); | ||
571 | // find superTypes(c1, s3) | ||
572 | new PositivePatternCall(body, Tuples.flatTupleOf(var_c1, var_s3), SuperTypes.instance().getInternalQueryRepresentation()); | ||
573 | // find superTypes(c1, s4) | ||
574 | new PositivePatternCall(body, Tuples.flatTupleOf(var_c1, var_s4), SuperTypes.instance().getInternalQueryRepresentation()); | ||
575 | // find superTypes(c1, s5) | ||
576 | new PositivePatternCall(body, Tuples.flatTupleOf(var_c1, var_s5), SuperTypes.instance().getInternalQueryRepresentation()); | ||
577 | // s1 != s2 | ||
578 | new Inequality(body, var_s1, var_s2); | ||
579 | // s1 != s3 | ||
580 | new Inequality(body, var_s1, var_s3); | ||
581 | // s1 != s4 | ||
582 | new Inequality(body, var_s1, var_s4); | ||
583 | // s1 != s5 | ||
584 | new Inequality(body, var_s1, var_s5); | ||
585 | // s2 != s3 | ||
586 | new Inequality(body, var_s2, var_s3); | ||
587 | // s2 != s4 | ||
588 | new Inequality(body, var_s2, var_s4); | ||
589 | // s2 != s5 | ||
590 | new Inequality(body, var_s2, var_s5); | ||
591 | // s3 != s4 | ||
592 | new Inequality(body, var_s3, var_s4); | ||
593 | // s3 != s5 | ||
594 | new Inequality(body, var_s3, var_s5); | ||
595 | // s4 != s5 | ||
596 | new Inequality(body, var_s4, var_s5); | ||
597 | bodies.add(body); | ||
598 | } | ||
599 | { | ||
600 | PAnnotation annotation = new PAnnotation("Constraint"); | ||
601 | annotation.addAttribute("severity", "error"); | ||
602 | annotation.addAttribute("message", "error"); | ||
603 | annotation.addAttribute("key", Arrays.asList(new Object[] { | ||
604 | new ParameterReference("c") | ||
605 | })); | ||
606 | addAnnotation(annotation); | ||
607 | } | ||
608 | return bodies; | ||
609 | } | ||
610 | } | ||
611 | } | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv new file mode 100644 index 00000000..fd1af09c --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/100.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 5,1,InsuficientResourcesResultImpl,26,1815,305292,1000,16140,15,12210,260570,0,0, | ||
3 | 5,2,InsuficientResourcesResultImpl,26,1237,301846,700,14659,0,12249,259139,0,0, | ||
4 | 5,3,InsuficientResourcesResultImpl,26,1218,301687,600,15765,0,12876,256432,0,0, | ||
5 | 5,4,InsuficientResourcesResultImpl,26,1294,302248,800,18015,0,11131,255608,0,0, | ||
6 | 5,5,InsuficientResourcesResultImpl,26,1290,300894,900,14893,0,11118,259377,0,0, | ||
7 | 5,6,InsuficientResourcesResultImpl,26,1184,302351,900,16463,0,11499,258946,0,0, | ||
8 | 5,7,ModelResultImpl,26,1180,289935,35396400,17823,0,14375,240465,0,4,287519 | ||
9 | 5,8,InsuficientResourcesResultImpl,26,1298,304757,700,12762,0,10686,266461,0,0, | ||
10 | 5,9,ModelResultImpl,26,1166,287620,35860800,17055,0,15050,237850,0,1,285304 | ||
11 | 5,10,ModelResultImpl,26,1185,168322,32789700,15059,0,9955,132727,0,0,166044 | ||
12 | 5,11,InsuficientResourcesResultImpl,26,1176,302293,900,12773,0,10338,264930,0,0, | ||
13 | 5,12,InsuficientResourcesResultImpl,26,1200,300206,600,14139,0,11334,260462,0,0, | ||
14 | 5,13,InsuficientResourcesResultImpl,26,1199,305554,500,12939,0,11144,266919,0,0, | ||
15 | 5,14,InsuficientResourcesResultImpl,26,1193,300864,700,18895,0,14266,250111,0,0, | ||
16 | 5,15,InsuficientResourcesResultImpl,26,1197,303894,700,14501,0,12313,262474,0,0, | ||
17 | 5,16,InsuficientResourcesResultImpl,26,1171,303003,700,13178,0,11827,263585,0,0, | ||
18 | 5,17,InsuficientResourcesResultImpl,26,1169,305501,600,13479,0,11788,265540,0,0, | ||
19 | 5,18,InsuficientResourcesResultImpl,26,1175,301967,700,13531,0,11415,262420,0,0, | ||
20 | 5,19,InsuficientResourcesResultImpl,26,1274,300241,800,13254,0,11607,260895,0,0, | ||
21 | 5,20,ModelResultImpl,26,1166,269530,42362900,17007,0,13440,223316,0,1,267245 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv new file mode 100644 index 00000000..0022e984 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/30.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 2,1,ModelResultImpl,19,1721,35221,15771300,32311,7042,34,1895,16580,0,1 | ||
3 | 2,2,ModelResultImpl,19,1610,35749,11651300,32635,6745,1,1736,18895,0,1 | ||
4 | 2,3,ModelResultImpl,19,1640,27258,16117300,24303,6429,0,1323,12286,0,1 | ||
5 | 2,4,ModelResultImpl,19,1634,35933,20450700,33223,6381,0,1605,20611,0,2 | ||
6 | 2,5,ModelResultImpl,19,1612,23612,11651100,19721,6887,0,1099,8730,0,0 | ||
7 | 2,6,ModelResultImpl,19,1319,22727,9964000,20364,4974,0,1147,11737,0,0 | ||
8 | 2,7,ModelResultImpl,19,1278,22340,12342400,19967,4711,0,1078,11660,0,0 | ||
9 | 2,8,ModelResultImpl,19,1292,20551,10731500,18317,4260,0,1007,11070,0,0 | ||
10 | 2,9,ModelResultImpl,19,1378,18306,12922900,15874,4176,0,928,8796,0,1 | ||
11 | 2,10,ModelResultImpl,19,1330,25726,10084700,23254,6531,0,1345,10615,0,0 | ||
12 | 2,11,ModelResultImpl,19,1229,33084,12002300,30734,5309,0,1584,19392,0,0 | ||
13 | 2,12,ModelResultImpl,19,1240,24555,9818800,22179,5967,1,1405,10083,0,0 | ||
14 | 2,13,ModelResultImpl,19,1264,28275,11451700,25939,5692,0,1395,14547,0,0 | ||
15 | 2,14,ModelResultImpl,19,1276,36197,10007300,33900,5461,0,1659,22219,0,0 | ||
16 | 2,15,ModelResultImpl,19,1230,30436,9231400,28100,5354,0,1488,16718,0,0 | ||
17 | 2,16,ModelResultImpl,19,1217,22614,8885000,20287,6795,0,1371,7299,0,0 | ||
18 | 2,17,ModelResultImpl,19,1262,29600,12922400,27253,5298,0,1528,15895,0,0 | ||
19 | 2,18,ModelResultImpl,19,1243,28214,10765500,25879,5412,0,1292,15319,0,0 | ||
20 | 2,19,ModelResultImpl,19,1299,20845,11064400,18336,5327,0,1048,8903,0,0 | ||
21 | 2,20,ModelResultImpl,19,1280,26352,10670800,23901,6709,0,1454,11410,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv new file mode 100644 index 00000000..1ea0ccaf --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/50.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 3,1,ModelResultImpl,7,1300,78258,16468500,75732,13071,7,4896,46003,0,2 | ||
3 | 3,2,ModelResultImpl,7,1255,72729,15062600,70201,10011,0,4148,48760,0,0 | ||
4 | 3,3,ModelResultImpl,7,1284,85751,18952400,83381,10015,0,4783,59452,0,0 | ||
5 | 3,4,ModelResultImpl,7,1312,80702,18255000,78055,9873,0,3766,56886,0,1 | ||
6 | 3,5,ModelResultImpl,7,2192,111362,20902300,108184,12705,0,5062,79232,0,0 | ||
7 | 3,6,ModelResultImpl,7,1275,88255,20727400,85645,9667,0,3925,64755,0,0 | ||
8 | 3,7,ModelResultImpl,7,1228,95312,23184200,92818,9763,0,4466,69648,0,1 | ||
9 | 3,8,ModelResultImpl,7,1421,102160,16746000,99564,13923,0,5149,68705,0,1 | ||
10 | 3,9,ModelResultImpl,7,1542,74130,15142300,71709,10116,0,4021,50574,0,0 | ||
11 | 3,10,ModelResultImpl,7,1370,106586,18544500,103524,11809,0,4614,78092,0,1 | ||
12 | 3,11,ModelResultImpl,7,1977,81554,14689300,78988,9059,0,4109,58293,0,1 | ||
13 | 3,12,ModelResultImpl,7,1282,80592,17114200,77924,10654,0,4120,55221,0,0 | ||
14 | 3,13,ModelResultImpl,7,1470,50749,14006900,47249,7112,0,2464,34560,0,0 | ||
15 | 3,14,ModelResultImpl,7,1189,96780,16081900,94561,8346,0,4262,74850,0,0 | ||
16 | 3,15,ModelResultImpl,7,1187,104866,17029000,102503,8484,0,4673,81148,0,0 | ||
17 | 3,16,ModelResultImpl,7,1192,83407,19208900,81122,8548,0,4154,61175,0,1 | ||
18 | 3,17,ModelResultImpl,7,1291,84064,18326300,81220,10675,0,4308,57616,0,0 | ||
19 | 3,18,ModelResultImpl,7,1924,92524,20324400,89145,9764,0,4238,66918,0,1 | ||
20 | 3,19,ModelResultImpl,7,1284,85575,14840500,82932,10403,0,4104,60536,0,0 | ||
21 | 3,20,ModelResultImpl,7,1239,78254,21057200,75918,9173,0,3958,55242,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv new file mode 100644 index 00000000..034a2048 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/80.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 4,1,ModelResultImpl,10,1339,187225,43638100,184585,14565,8,8893,149868,0,0 | ||
3 | 4,2,ModelResultImpl,10,1336,258364,34407600,255655,14281,1,9835,217586,0,0 | ||
4 | 4,3,InsuficientResourcesResultImpl,10,1321,302464,3900,,14999,0,10218,258608,0,0 | ||
5 | 4,4,ModelResultImpl,10,1569,272300,28546600,269342,14187,0,9965,231046,0,0 | ||
6 | 4,5,ModelResultImpl,10,1315,244950,39639300,242286,14765,0,10575,202813,0,0 | ||
7 | 4,6,ModelResultImpl,10,1223,185629,34348900,183286,14074,0,9227,147910,0,0 | ||
8 | 4,7,ModelResultImpl,10,1271,243243,28619100,240866,16030,0,10594,199605,0,1 | ||
9 | 4,8,ModelResultImpl,10,1229,247712,31642900,244834,14393,0,9543,207278,0,0 | ||
10 | 4,9,ModelResultImpl,10,1284,209619,24479700,207199,18848,0,10225,164689,0,0 | ||
11 | 4,10,ModelResultImpl,10,1240,252740,36766100,250104,15959,0,10730,208822,0,1 | ||
12 | 4,11,ModelResultImpl,10,1315,192678,27966300,190097,15350,0,9230,152579,0,1 | ||
13 | 4,12,ModelResultImpl,10,1767,199644,24666200,195878,16171,0,9709,158015,0,1 | ||
14 | 4,13,ModelResultImpl,10,1411,209397,29226100,206486,17127,0,10334,164735,0,0 | ||
15 | 4,14,InsuficientResourcesResultImpl,10,1292,300133,800,,13558,0,10569,258303,0,0 | ||
16 | 4,15,ModelResultImpl,10,1188,277607,29611300,275175,13898,0,11204,234760,0,0 | ||
17 | 4,16,ModelResultImpl,10,1383,257815,41453700,255328,13012,0,10666,216491,0,1 | ||
18 | 4,17,ModelResultImpl,10,1335,217424,30586300,214754,15737,0,9889,176416,0,0 | ||
19 | 4,18,ModelResultImpl,10,1317,214706,28448000,211898,15332,0,9390,175241,0,1 | ||
20 | 4,19,ModelResultImpl,10,1429,235982,26350500,233087,15836,0,10258,192499,0,1 | ||
21 | 4,20,InsuficientResourcesResultImpl,10,1150,302957,1100,,16272,0,12639,253942,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv new file mode 100644 index 00000000..ad791735 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv | |||
@@ -0,0 +1,7 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 1,1,ModelResultImpl,1470,4786,7771,66116800,3921,1682,480,154,550,0,3 | ||
3 | 1,2,ModelResultImpl,1470,2113,8817,10699700,5927,1993,3,300,1326,0,1 | ||
4 | 1,3,ModelResultImpl,1470,1856,6810,12033700,3907,1602,1,111,692,0,1 | ||
5 | 1,4,ModelResultImpl,1470,2441,6387,8147100,3326,1412,2,100,427,0,1 | ||
6 | 1,5,ModelResultImpl,1470,1705,6328,8393300,2039,1123,0,56,190,0,1 | ||
7 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv new file mode 100644 index 00000000..d1ec723b --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/30.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 2,1,ModelResultImpl,5,753,17109,13399400,16654,1789,9,696,11984,0,0 | ||
3 | 2,2,ModelResultImpl,5,628,17801,12301800,17369,1678,0,715,12727,0,0 | ||
4 | 2,3,ModelResultImpl,5,610,15430,13989100,14970,1285,0,586,11377,0,0 | ||
5 | 2,4,ModelResultImpl,5,803,14781,11475500,14220,1483,0,640,10196,0,0 | ||
6 | 2,5,ModelResultImpl,5,581,22641,12669300,22193,1558,0,707,17778,0,0 | ||
7 | 2,6,ModelResultImpl,5,611,22649,11553300,22203,1508,0,660,17965,0,0 | ||
8 | 2,7,ModelResultImpl,5,548,12438,10128400,12033,1584,0,616,7995,0,0 | ||
9 | 2,8,ModelResultImpl,5,655,17624,10593200,17198,1404,0,619,13273,0,0 | ||
10 | 2,9,ModelResultImpl,5,596,16946,10102500,16528,1717,0,705,11847,0,0 | ||
11 | 2,10,ModelResultImpl,5,537,17896,10038000,17507,1414,0,626,13625,0,0 | ||
12 | 2,11,ModelResultImpl,5,535,13771,11741600,13353,1411,0,613,9547,0,0 | ||
13 | 2,12,ModelResultImpl,5,531,16728,11768600,16257,1448,0,635,12199,0,0 | ||
14 | 2,13,ModelResultImpl,5,549,14647,11546900,14254,1201,0,573,10920,0,0 | ||
15 | 2,14,ModelResultImpl,5,552,15942,10918300,15492,1502,0,610,11459,0,0 | ||
16 | 2,15,ModelResultImpl,5,563,15196,12483700,14773,1389,0,574,11130,0,0 | ||
17 | 2,16,ModelResultImpl,5,566,10267,10445100,9864,1364,0,523,6468,0,0 | ||
18 | 2,17,ModelResultImpl,5,600,15595,8099800,15147,1341,0,624,11381,0,0 | ||
19 | 2,18,ModelResultImpl,5,561,11172,9144100,10776,1167,0,487,7740,0,0 | ||
20 | 2,19,ModelResultImpl,5,548,14818,9372000,14441,1565,0,658,10261,0,0 | ||
21 | 2,20,ModelResultImpl,5,559,17497,9881500,17059,1532,0,651,12811,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv new file mode 100644 index 00000000..7ed016e0 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/50.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 4,1,ModelResultImpl,11,730,72467,34401400,71866,4026,10,1998,59824,0,0 | ||
3 | 4,2,ModelResultImpl,11,761,67853,11838400,67382,3819,0,1957,55882,0,0 | ||
4 | 4,3,ModelResultImpl,11,734,45541,10393700,45056,3529,0,1779,34849,0,0 | ||
5 | 4,4,ModelResultImpl,11,619,55697,17081600,55167,3617,0,1898,44356,0,0 | ||
6 | 4,5,ModelResultImpl,11,726,64846,29758900,64208,3905,0,2030,52466,0,0 | ||
7 | 4,6,ModelResultImpl,11,712,65893,13089200,65423,3972,0,2029,53618,0,0 | ||
8 | 4,7,ModelResultImpl,11,742,50982,16405400,50469,3638,0,1857,39804,0,0 | ||
9 | 4,8,ModelResultImpl,11,590,50309,15985400,49731,3572,0,1877,39187,0,0 | ||
10 | 4,9,ModelResultImpl,11,761,65533,23499900,65008,3890,0,2000,53225,0,0 | ||
11 | 4,10,ModelResultImpl,11,688,44853,23629200,44348,3255,0,1695,34758,0,0 | ||
12 | 4,11,ModelResultImpl,11,626,59167,38070600,58611,3942,0,1864,47290,0,0 | ||
13 | 4,12,ModelResultImpl,11,642,66860,18966400,66364,3732,0,1987,54960,0,0 | ||
14 | 4,13,ModelResultImpl,11,622,65317,12053900,64842,3176,0,1633,55177,0,1 | ||
15 | 4,14,ModelResultImpl,11,687,45481,79001300,44944,3485,0,1661,35036,0,0 | ||
16 | 4,15,ModelResultImpl,11,881,74988,14027700,74444,4150,0,2191,61881,0,0 | ||
17 | 4,16,ModelResultImpl,11,691,56609,11960900,56125,3776,0,1943,45015,0,0 | ||
18 | 4,17,ModelResultImpl,11,631,103459,26319900,102823,4720,0,2390,88314,0,1 | ||
19 | 4,18,ModelResultImpl,11,2263,61989,12371400,61101,3751,0,1902,50076,0,0 | ||
20 | 4,19,ModelResultImpl,11,575,75135,19514700,74621,4810,0,2552,60068,0,1 | ||
21 | 4,20,ModelResultImpl,11,1069,94884,21924000,94062,5623,0,3121,77010,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv new file mode 100644 index 00000000..257b7ddb --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/80.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 5,1,InsuficientResourcesResultImpl,8,1163,301236,6700,11611,7,8030,261757,0,0, | ||
3 | 5,2,ModelResultImpl,8,1125,214262,41193500,10675,0,7433,179009,0,1,213284 | ||
4 | 5,3,InsuficientResourcesResultImpl,8,1097,301100,1400,10110,0,6697,266325,0,0, | ||
5 | 5,4,ModelResultImpl,8,1202,243793,34411800,11329,0,7710,206562,0,0,242815 | ||
6 | 5,5,ModelResultImpl,8,1130,266540,38153400,12190,0,8455,225879,0,1,265458 | ||
7 | 5,6,ModelResultImpl,8,1136,244077,43614700,10925,0,7347,207698,0,0,243138 | ||
8 | 5,7,ModelResultImpl,8,1263,270364,44901700,10715,0,7520,233664,0,0,269383 | ||
9 | 5,8,ModelResultImpl,8,1062,228653,36320200,11042,0,7673,191829,0,0,227652 | ||
10 | 5,9,ModelResultImpl,8,1060,284484,38198200,12105,0,8129,244192,0,1,283520 | ||
11 | 5,10,ModelResultImpl,8,1087,245757,38745600,10898,0,7835,208781,0,0,244833 | ||
12 | 5,11,InsuficientResourcesResultImpl,8,1003,302539,1700,9666,0,6798,267961,0,0, | ||
13 | 5,12,ModelResultImpl,8,657,143583,35565200,6948,0,4448,120639,0,0,142951 | ||
14 | 5,13,ModelResultImpl,8,1061,292041,44607000,12010,0,8656,250579,0,1,291061 | ||
15 | 5,14,ModelResultImpl,8,1034,255307,37454100,11242,0,7789,217397,0,0,254393 | ||
16 | 5,15,InsuficientResourcesResultImpl,8,1194,300839,1500,9997,0,7300,265245,0,0, | ||
17 | 5,16,ModelResultImpl,8,1070,274358,38762800,11730,0,7864,235472,0,1,273383 | ||
18 | 5,17,ModelResultImpl,8,1099,259378,84148300,11340,0,7784,221204,0,0,258553 | ||
19 | 5,18,ModelResultImpl,8,1084,255262,38991800,11989,0,7795,215829,0,1,254328 | ||
20 | 5,19,ModelResultImpl,8,1111,293515,47026100,12037,0,8609,252172,0,1,292504 | ||
21 | 5,20,ModelResultImpl,8,1106,278558,32886300,12080,0,8000,237985,0,1,277745 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv new file mode 100644 index 00000000..989c2411 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Github/warmup.csv | |||
@@ -0,0 +1,7 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 1,1,ModelResultImpl,1483,2558,3108,60043900,1609,456,424,87,272,0,1 | ||
3 | 1,2,ModelResultImpl,1483,1126,1487,9020100,931,292,1,60,256,0,1 | ||
4 | 1,3,ModelResultImpl,1483,927,1424,9739900,827,263,0,51,217,0,0 | ||
5 | 1,4,ModelResultImpl,1483,886,1069,8613600,495,208,1,25,97,0,0 | ||
6 | 1,5,ModelResultImpl,1483,768,1268,9369800,856,262,0,35,223,0,0 | ||
7 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv new file mode 100644 index 00000000..a2628ad1 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/100.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 5,1,ModelResultImpl,12,865,91787,64960700,91078,17340,6,2469,61497,0,3 | ||
3 | 5,2,ModelResultImpl,12,956,118267,65616400,117553,16353,0,2810,85627,0,1 | ||
4 | 5,3,ModelResultImpl,12,900,116093,69616600,115364,17281,0,2800,82376,0,0 | ||
5 | 5,4,ModelResultImpl,12,907,96027,78796000,95287,19233,0,2643,63089,0,0 | ||
6 | 5,5,ModelResultImpl,12,961,133615,61595600,132840,17098,0,2970,99041,0,0 | ||
7 | 5,6,ModelResultImpl,12,917,120673,61159000,119930,18320,0,2889,85737,0,0 | ||
8 | 5,7,ModelResultImpl,12,941,101988,69310400,101183,18258,0,2694,69616,0,0 | ||
9 | 5,8,ModelResultImpl,12,910,117121,58731900,116373,16751,0,2954,83990,0,1 | ||
10 | 5,9,ModelResultImpl,12,939,98738,60204200,97988,15671,0,2643,69051,0,0 | ||
11 | 5,10,ModelResultImpl,12,907,109216,62901700,108450,18563,0,2855,74361,0,0 | ||
12 | 5,11,ModelResultImpl,12,989,101313,70288400,100570,19059,0,2653,68951,0,0 | ||
13 | 5,12,ModelResultImpl,12,847,110986,71960700,110229,20031,0,2484,77376,0,0 | ||
14 | 5,13,ModelResultImpl,12,924,99847,65101400,99083,18276,0,2732,67006,0,0 | ||
15 | 5,14,ModelResultImpl,12,908,113484,61073000,112675,20588,0,2760,77595,0,0 | ||
16 | 5,15,ModelResultImpl,12,859,107243,118083900,106494,16814,0,2826,74774,0,0 | ||
17 | 5,16,ModelResultImpl,12,896,101005,60113300,100198,16591,0,2670,70482,0,0 | ||
18 | 5,17,ModelResultImpl,12,909,150888,90178000,150032,18804,0,3644,112370,0,2 | ||
19 | 5,18,ModelResultImpl,12,1988,224882,111051700,223272,35288,0,5245,160716,0,2 | ||
20 | 5,19,ModelResultImpl,12,1710,180301,103042800,178853,31026,0,4421,125609,0,1 | ||
21 | 5,20,ModelResultImpl,12,2294,236789,120962500,234776,34043,0,4964,172403,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv new file mode 100644 index 00000000..03ee084b --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/120.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 2,1,ModelResultImpl,11,1049,149253,202983100,148329,21687,8,3820,108113,0,4 | ||
3 | 2,2,ModelResultImpl,11,1131,173214,111640800,172206,24930,0,3926,128120,0,1 | ||
4 | 2,3,ModelResultImpl,11,1027,157782,120804000,157006,19292,0,3948,119012,0,1 | ||
5 | 2,4,ModelResultImpl,11,1063,169577,126195200,168692,22819,0,4027,126643,0,1 | ||
6 | 2,5,ModelResultImpl,11,984,164004,93016300,163235,23449,0,3830,121474,0,1 | ||
7 | 2,6,ModelResultImpl,11,1005,146874,94077300,146111,20382,0,3734,108542,0,1 | ||
8 | 2,7,ModelResultImpl,11,904,148997,92734800,148172,19769,0,3763,111141,0,1 | ||
9 | 2,8,ModelResultImpl,11,911,145947,99103000,145197,21375,0,3757,106317,0,1 | ||
10 | 2,9,ModelResultImpl,11,911,154022,91420700,153225,21687,0,3781,113566,0,1 | ||
11 | 2,10,ModelResultImpl,11,994,144253,105623000,143479,19514,0,3736,106547,0,1 | ||
12 | 2,11,ModelResultImpl,11,943,146057,85565700,145235,20168,0,3830,107696,0,1 | ||
13 | 2,12,ModelResultImpl,11,933,153728,93877000,152956,18549,0,4136,115265,0,0 | ||
14 | 2,13,ModelResultImpl,11,989,135785,101796800,135043,19930,0,3590,98576,0,1 | ||
15 | 2,14,ModelResultImpl,11,942,158905,115031700,158150,21663,0,3796,118239,0,0 | ||
16 | 2,15,ModelResultImpl,11,897,138727,116266900,137918,19116,1,3652,102641,0,0 | ||
17 | 2,16,ModelResultImpl,11,851,145221,95232500,144453,18026,0,3913,108945,0,0 | ||
18 | 2,17,ModelResultImpl,11,928,154148,88476300,153396,21053,0,3827,113763,0,0 | ||
19 | 2,18,ModelResultImpl,11,859,166408,95546600,165666,22619,0,3922,123707,0,1 | ||
20 | 2,19,ModelResultImpl,11,909,136564,91353600,135766,17841,0,3665,101835,0,0 | ||
21 | 2,20,ModelResultImpl,11,873,147664,91153300,146866,17705,0,3874,111410,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv new file mode 100644 index 00000000..2ea01c80 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/140.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 2,1,ModelResultImpl,28,1125,232547,238441100,231464,32513,30,5381,174058,0,3 | ||
3 | 2,2,ModelResultImpl,28,932,262316,161173500,261382,26096,0,5936,207379,0,1 | ||
4 | 2,3,ModelResultImpl,28,1227,292535,143575400,291587,32776,0,5863,228470,0,1 | ||
5 | 2,4,ModelResultImpl,28,1048,291142,138985400,290250,31729,1,6141,227996,0,1 | ||
6 | 2,5,ModelResultImpl,28,962,226481,144946000,225670,28211,0,5305,172447,0,1 | ||
7 | 2,6,ModelResultImpl,28,913,236598,135164100,235765,24945,0,5586,184729,0,1 | ||
8 | 2,7,ModelResultImpl,28,885,234174,143088000,233346,27412,0,5184,182189,0,1 | ||
9 | 2,8,ModelResultImpl,28,879,205042,135824000,204263,25417,0,4926,157017,0,1 | ||
10 | 2,9,ModelResultImpl,28,975,237992,154320900,237160,26181,0,5287,185721,0,0 | ||
11 | 2,10,ModelResultImpl,28,908,213258,140980300,212461,28371,0,5041,161035,0,1 | ||
12 | 2,11,ModelResultImpl,28,868,220191,146847500,219407,29612,0,4923,167193,0,1 | ||
13 | 2,12,ModelResultImpl,28,986,217681,137838200,216908,27339,0,4956,166377,0,1 | ||
14 | 2,13,ModelResultImpl,28,930,228167,126599800,227404,30279,0,5075,174085,0,0 | ||
15 | 2,14,ModelResultImpl,28,878,246742,128511700,245938,21629,0,5670,199512,0,0 | ||
16 | 2,15,ModelResultImpl,28,903,212514,141892400,211665,31163,0,4913,158072,0,0 | ||
17 | 2,16,ModelResultImpl,28,928,233910,127925600,233102,23749,0,5410,184087,0,0 | ||
18 | 2,17,ModelResultImpl,28,901,248732,134197200,247867,25543,0,5436,198007,0,1 | ||
19 | 2,18,ModelResultImpl,28,926,277407,128580900,276418,27387,0,5841,220797,0,1 | ||
20 | 2,19,ModelResultImpl,28,1090,272687,171318300,271352,29653,0,5675,212248,0,1 | ||
21 | 2,20,ModelResultImpl,28,971,259569,148475200,258629,28250,0,5574,204259,0,2 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv new file mode 100644 index 00000000..ec0afb94 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/30.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 2,1,ModelResultImpl,37,1267,42409,28515700,41220,5066,11,614,29095,0,1 | ||
3 | 2,2,ModelResultImpl,37,1919,14164,22580700,12518,3986,2,344,5463,0,2 | ||
4 | 2,3,ModelResultImpl,37,1916,41597,31164300,40290,5050,1,614,28209,0,1 | ||
5 | 2,4,ModelResultImpl,37,2023,41518,20216100,40199,5825,0,549,27332,0,1 | ||
6 | 2,5,ModelResultImpl,37,2052,21630,32282400,20128,4713,0,456,10817,0,1 | ||
7 | 2,6,ModelResultImpl,37,2070,40984,24514000,39602,5997,0,528,26649,0,2 | ||
8 | 2,7,ModelResultImpl,37,2249,40677,22780300,39309,4977,0,600,27410,0,1 | ||
9 | 2,8,ModelResultImpl,37,1887,34102,17897400,32571,5103,0,524,21184,0,1 | ||
10 | 2,9,ModelResultImpl,37,1826,11685,12854100,10430,3316,0,298,4382,0,1 | ||
11 | 2,10,ModelResultImpl,37,1795,20933,19823700,19703,4431,0,435,10642,0,1 | ||
12 | 2,11,ModelResultImpl,37,1849,33111,18648500,31757,5743,0,375,20404,0,1 | ||
13 | 2,12,ModelResultImpl,37,1829,36099,18177300,34869,5689,0,525,22643,0,1 | ||
14 | 2,13,ModelResultImpl,37,1875,36431,20140100,35116,5371,0,500,23462,0,1 | ||
15 | 2,14,ModelResultImpl,37,1796,32322,24371800,31185,4939,0,493,20307,0,1 | ||
16 | 2,15,ModelResultImpl,37,1961,43764,24819800,42470,6248,0,593,27586,0,1 | ||
17 | 2,16,ModelResultImpl,37,1737,16231,16437300,14995,3805,0,388,7679,0,0 | ||
18 | 2,17,ModelResultImpl,37,1685,14223,36835700,12964,3783,0,338,6108,0,1 | ||
19 | 2,18,ModelResultImpl,37,1910,30550,21296200,29359,4813,0,517,18691,0,1 | ||
20 | 2,19,ModelResultImpl,37,1622,30723,17831800,29572,5299,0,560,18198,0,1 | ||
21 | 2,20,ModelResultImpl,37,1915,15410,15827800,14223,3856,0,353,7093,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv new file mode 100644 index 00000000..80122e3d --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/50.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 3,1,ModelResultImpl,16,1695,34619,47365200,33379,7951,23,1005,19203,0,0 | ||
3 | 3,2,ModelResultImpl,16,1952,66272,40194500,65033,10142,0,1381,45195,0,1 | ||
4 | 3,3,ModelResultImpl,16,1882,50684,57411900,49392,9412,0,1181,31167,0,2 | ||
5 | 3,4,ModelResultImpl,16,1835,52174,29585500,50841,9443,0,1265,32497,0,1 | ||
6 | 3,5,ModelResultImpl,16,1817,37087,24158900,35809,8374,0,1106,20620,0,1 | ||
7 | 3,6,ModelResultImpl,16,1822,96082,35393500,94837,10814,0,1314,71854,0,1 | ||
8 | 3,7,ModelResultImpl,16,1845,65727,37723300,64268,10857,0,1392,42620,0,1 | ||
9 | 3,8,ModelResultImpl,16,1715,36063,56419600,34810,8195,0,1065,19928,0,2 | ||
10 | 3,9,ModelResultImpl,16,1814,53418,68855200,52040,9364,0,1248,33127,0,1 | ||
11 | 3,10,ModelResultImpl,16,1688,146193,34004300,144953,23393,0,2677,96521,0,2 | ||
12 | 3,11,ModelResultImpl,16,1887,56839,38787000,55478,11029,0,1309,34905,0,1 | ||
13 | 3,12,ModelResultImpl,16,1852,43970,32684100,42779,10114,0,1121,25234,0,1 | ||
14 | 3,13,ModelResultImpl,16,1766,68078,29662000,66581,12700,0,1445,42619,0,1 | ||
15 | 3,14,ModelResultImpl,16,2033,137006,39601900,135475,10041,0,1736,110352,0,1 | ||
16 | 3,15,ModelResultImpl,16,1792,36929,30425200,35576,8499,0,1112,19855,0,1 | ||
17 | 3,16,ModelResultImpl,16,1861,79893,19417500,78581,10278,0,1253,56995,0,0 | ||
18 | 3,17,ModelResultImpl,16,1651,34149,32888300,33294,8334,0,1016,18514,0,1 | ||
19 | 3,18,ModelResultImpl,16,1799,51965,35639300,50624,11417,0,1355,29874,0,0 | ||
20 | 3,19,ModelResultImpl,16,2032,46469,44756500,45006,10308,0,1323,25809,0,1 | ||
21 | 3,20,ModelResultImpl,16,1839,75448,32863500,74051,11465,0,1499,50558,0,1 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv new file mode 100644 index 00000000..ae7f7ca1 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/80.csv | |||
@@ -0,0 +1,22 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 4,1,ModelResultImpl,20,2105,122193,47975800,120819,22172,21,3111,81933,0,0 | ||
3 | 4,2,ModelResultImpl,20,948,71430,38366700,70718,10799,0,1803,49089,0,0 | ||
4 | 4,3,ModelResultImpl,20,907,71011,42371700,70320,12614,0,1751,47228,0,0 | ||
5 | 4,4,ModelResultImpl,20,888,57574,43253600,56870,10097,0,1721,37819,0,0 | ||
6 | 4,5,ModelResultImpl,20,918,50961,39099900,50235,9718,0,1667,31881,0,0 | ||
7 | 4,6,ModelResultImpl,20,929,54262,48948700,53554,10095,0,1701,35294,0,0 | ||
8 | 4,7,ModelResultImpl,20,914,69271,42306400,68596,12610,0,1788,45775,0,0 | ||
9 | 4,8,ModelResultImpl,20,887,58304,42858800,57604,10861,0,1641,37653,0,0 | ||
10 | 4,9,ModelResultImpl,20,923,61436,40388600,60755,11478,0,1812,38983,0,0 | ||
11 | 4,10,ModelResultImpl,20,950,51010,44099800,50294,11361,0,1496,30951,0,1 | ||
12 | 4,11,ModelResultImpl,20,879,56153,40079800,55455,11776,0,1587,35227,0,0 | ||
13 | 4,12,ModelResultImpl,20,939,55164,41385200,54450,9786,0,1675,35778,0,0 | ||
14 | 4,13,ModelResultImpl,20,947,59424,49539400,58684,10955,0,1776,38126,0,0 | ||
15 | 4,14,ModelResultImpl,20,973,61843,36537600,61086,10883,0,1685,40830,0,0 | ||
16 | 4,15,ModelResultImpl,20,867,54362,38663100,53666,10015,0,1611,35234,0,0 | ||
17 | 4,16,ModelResultImpl,20,915,108777,49507000,108033,20987,0,2938,71959,0,1 | ||
18 | 4,17,ModelResultImpl,20,922,55218,41448600,54548,9665,0,1657,36387,0,0 | ||
19 | 4,18,ModelResultImpl,20,921,57210,60622400,56526,10429,0,1747,36425,0,0 | ||
20 | 4,19,ModelResultImpl,20,911,70900,47211300,70230,11669,0,1714,48547,0,0 | ||
21 | 4,20,ModelResultImpl,20,887,74363,36468500,73658,12552,0,1800,50208,0,0 | ||
22 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv new file mode 100644 index 00000000..94da3ec9 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv | |||
@@ -0,0 +1,7 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,_Solution0FoundAt,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime | ||
2 | 1,1,ModelResultImpl,494,2798,2766,45079800,1362,547,125,46,190,0,3 | ||
3 | 1,2,ModelResultImpl,494,1544,1988,11110900,1033,357,0,30,249,0,1 | ||
4 | 1,3,ModelResultImpl,494,1366,1867,7926900,1060,364,2,24,258,0,1 | ||
5 | 1,4,ModelResultImpl,494,1233,1588,8919800,863,312,0,19,146,0,1 | ||
6 | 1,5,ModelResultImpl,494,1253,1434,7416800,681,268,1,17,133,0,0 | ||
7 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv new file mode 100644 index 00000000..c3c77053 --- /dev/null +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/file.csv | |||
@@ -0,0 +1,4 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,TransformationExecutionTime,TypeAnalysisTime,MetricCalculationTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,_Solution0FoundAt | ||
2 | 1,1,InsuficientResourcesResultImpl,453,3378,5255,7500,1236,131,79,245,0,0, | ||
3 | 1,2,ModelResultImpl,453,1965,4628,31696400,1014,3,58,307,0,1,1957 | ||
4 | |||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig index 04351a6e..721d506a 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig | |||
@@ -9,11 +9,11 @@ generate { | |||
9 | solver = ViatraSolver | 9 | solver = ViatraSolver |
10 | 10 | ||
11 | scope = { | 11 | scope = { |
12 | #node = 30 | 12 | #node = 10 |
13 | } | 13 | } |
14 | 14 | ||
15 | number = 1 | 15 | number = 1 |
16 | runs = 100 | 16 | runs = 5 |
17 | config = { | 17 | config = { |
18 | log-level = none, | 18 | log-level = none, |
19 | "optional-wf" = "false", | 19 | "optional-wf" = "false", |
@@ -22,6 +22,85 @@ generate { | |||
22 | "domain" = "Yakindumm" | 22 | "domain" = "Yakindumm" |
23 | } | 23 | } |
24 | 24 | ||
25 | statistics = "statistics/Yakindu/warmup.csv" //give different set up different filenames | ||
25 | debug = "debug" | 26 | debug = "debug" |
26 | output = "output/real_30+v/" | 27 | output = "output/Yakindu/run_time/" |
28 | } | ||
29 | |||
30 | generate { | ||
31 | metamodel = { package yakindumm excluding { Synchronization}} | ||
32 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | ||
33 | partial-model = { "inputs/start.xmi"} | ||
34 | |||
35 | solver = ViatraSolver | ||
36 | |||
37 | scope = { | ||
38 | #node = 140 | ||
39 | } | ||
40 | |||
41 | number = 1 | ||
42 | runs = 20 | ||
43 | config = { | ||
44 | log-level = none, | ||
45 | "optional-wf" = "false", | ||
46 | "realistic-guidance" = "Composite", | ||
47 | "allow-must-violations" = "false", | ||
48 | "domain" = "Yakindumm" | ||
49 | } | ||
50 | |||
51 | statistics = "statistics/Yakindu/140.csv" //give different set up different filenames | ||
52 | debug = "debug" | ||
53 | output = "output/Yakindu/run_time/" | ||
54 | } | ||
55 | |||
56 | generate { | ||
57 | metamodel = { package yakindumm excluding { Synchronization}} | ||
58 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | ||
59 | partial-model = { "inputs/start.xmi"} | ||
60 | |||
61 | solver = ViatraSolver | ||
62 | |||
63 | scope = { | ||
64 | #node = 160 | ||
65 | } | ||
66 | |||
67 | number = 1 | ||
68 | runs = 20 | ||
69 | config = { | ||
70 | log-level = none, | ||
71 | "optional-wf" = "false", | ||
72 | "realistic-guidance" = "Composite", | ||
73 | "allow-must-violations" = "false", | ||
74 | "domain" = "Yakindumm" | ||
75 | } | ||
76 | |||
77 | statistics = "statistics/Yakindu/160.csv" //give different set up different filenames | ||
78 | debug = "debug" | ||
79 | output = "output/Yakindu/run_time/" | ||
80 | } | ||
81 | |||
82 | generate { | ||
83 | metamodel = { package yakindumm excluding { Synchronization}} | ||
84 | constraints = { package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu } | ||
85 | partial-model = { "inputs/start.xmi"} | ||
86 | |||
87 | solver = ViatraSolver | ||
88 | |||
89 | scope = { | ||
90 | #node = 180 | ||
91 | } | ||
92 | |||
93 | number = 1 | ||
94 | runs = 20 | ||
95 | config = { | ||
96 | log-level = none, | ||
97 | "optional-wf" = "false", | ||
98 | "realistic-guidance" = "Composite", | ||
99 | "allow-must-violations" = "false", | ||
100 | "domain" = "Yakindumm" | ||
101 | } | ||
102 | |||
103 | statistics = "statistics/Yakindu/180.csv" //give different set up different filenames | ||
104 | debug = "debug" | ||
105 | output = "output/Yakindu/run_time/" | ||
27 | } \ No newline at end of file | 106 | } \ No newline at end of file |