diff options
author | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-05 01:49:20 -0500 |
---|---|---|
committer | 20001LastOrder <boqi.chen@mail.mcgill.ca> | 2020-11-05 01:49:20 -0500 |
commit | f25435a9f151f0b24fd7f410f153ed76f8da9633 (patch) | |
tree | 00645d317175ef96f766666466eb6e99c5432d4f | |
parent | fix merging issue (diff) | |
download | VIATRA-Generator-f25435a9f151f0b24fd7f410f153ed76f8da9633.tar.gz VIATRA-Generator-f25435a9f151f0b24fd7f410f153ed76f8da9633.tar.zst VIATRA-Generator-f25435a9f151f0b24fd7f410f153ed76f8da9633.zip |
fix node type distance measure
17 files changed, 1128 insertions, 108 deletions
diff --git a/Domains/github-graph/bin/queries/github.vql b/Domains/github-graph/bin/queries/github.vql index 10b23d40..62853b3f 100644 --- a/Domains/github-graph/bin/queries/github.vql +++ b/Domains/github-graph/bin/queries/github.vql | |||
@@ -8,4 +8,12 @@ pattern directParent(a : Commit, b: Commit) { | |||
8 | @Constraint(key={a}, severity="error", message="error") | 8 | @Constraint(key={a}, severity="error", message="error") |
9 | pattern loopInParent(a){ | 9 | pattern loopInParent(a){ |
10 | find directParent+(a,a); | 10 | find directParent+(a,a); |
11 | } \ No newline at end of file | 11 | } |
12 | |||
13 | |||
14 | //1. issue with MERGED but no PullRequest | ||
15 | //2. issue with 2 CLOSED events without a REOPENED event | ||
16 | //3. issue with 2 REOPENED events without a CLOSED event | ||
17 | //4. user-issue pair with 2 SUBSCRIBED events without an UNSUBSCRIBED event | ||
18 | //5. user-issue pair with 2 UNSUBSCRIBED events without a SUBSCRIBED event | ||
19 | //6. User MERGED/CLOSED/REOPENED issue without being a projectMember of the Project \ No newline at end of file | ||
diff --git a/Domains/github-graph/model/github.aird b/Domains/github-graph/model/github.aird index 4c84ce44..cfa740e9 100644 --- a/Domains/github-graph/model/github.aird +++ b/Domains/github-graph/model/github.aird | |||
@@ -1,13 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> | 2 | <xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> |
3 | <viewpoint:DAnalysis uid="_0FNHILsFEemM79ftwH5Qng" selectedViews="_0V-uELsFEemM79ftwH5Qng _0WGC0LsFEemM79ftwH5Qng _0WHQ8LsFEemM79ftwH5Qng _0WKUQLsFEemM79ftwH5Qng" version="14.1.0.201810161215"> | 3 | <viewpoint:DAnalysis uid="_0FNHILsFEemM79ftwH5Qng" selectedViews="_0V-uELsFEemM79ftwH5Qng _0WGC0LsFEemM79ftwH5Qng _0WHQ8LsFEemM79ftwH5Qng _0WKUQLsFEemM79ftwH5Qng" version="14.3.0.201909031200"> |
4 | <semanticResources>github.ecore</semanticResources> | 4 | <semanticResources>github.ecore</semanticResources> |
5 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> | 5 | <semanticResources>http://www.eclipse.org/emf/2002/Ecore</semanticResources> |
6 | <semanticResources>http://www.eclipse.org/emf/2003/XMLType</semanticResources> | 6 | <semanticResources>http://www.eclipse.org/emf/2003/XMLType</semanticResources> |
7 | <semanticResources>github.genmodel</semanticResources> | 7 | <semanticResources>github.genmodel</semanticResources> |
8 | <ownedViews xmi:type="viewpoint:DView" uid="_0V-uELsFEemM79ftwH5Qng"> | 8 | <ownedViews xmi:type="viewpoint:DView" uid="_0V-uELsFEemM79ftwH5Qng"> |
9 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | 9 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> |
10 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_1FDakLsFEemM79ftwH5Qng" name="github class diagram" repPath="#_1C10ELsFEemM79ftwH5Qng"> | 10 | <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_1FDakLsFEemM79ftwH5Qng" name="github class diagram" repPath="#_1C10ELsFEemM79ftwH5Qng" changeId="42ce40af-60f0-4934-90b6-9d7b025dba8e"> |
11 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 11 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
12 | <target xmi:type="ecore:EPackage" href="github.ecore#/"/> | 12 | <target xmi:type="ecore:EPackage" href="github.ecore#/"/> |
13 | </ownedRepresentationDescriptors> | 13 | </ownedRepresentationDescriptors> |
@@ -26,7 +26,7 @@ | |||
26 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | 26 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> |
27 | </ownedViews> | 27 | </ownedViews> |
28 | </viewpoint:DAnalysis> | 28 | </viewpoint:DAnalysis> |
29 | <diagram:DSemanticDiagram uid="_1C10ELsFEemM79ftwH5Qng" name="github class diagram"> | 29 | <diagram:DSemanticDiagram uid="_1C10ELsFEemM79ftwH5Qng"> |
30 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1EmuoLsFEemM79ftwH5Qng" source="DANNOTATION_CUSTOMIZATION_KEY"> | 30 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1EmuoLsFEemM79ftwH5Qng" source="DANNOTATION_CUSTOMIZATION_KEY"> |
31 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_1EmuobsFEemM79ftwH5Qng"> | 31 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_1EmuobsFEemM79ftwH5Qng"> |
32 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_2DbuYLsFEemM79ftwH5Qng" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 32 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_2DbuYLsFEemM79ftwH5Qng" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
@@ -54,6 +54,12 @@ | |||
54 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | 54 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> |
55 | </endLabelStyleDescription> | 55 | </endLabelStyleDescription> |
56 | </computedStyleDescriptions> | 56 | </computedStyleDescriptions> |
57 | <computedStyleDescriptions xmi:type="style:FlatContainerStyleDescription" xmi:id="_LoNaUB67EeuFy6Pzdv-7xw" arcWidth="8" arcHeight="8" borderSizeComputationExpression="1" tooltipExpression="service:renderTooltip" roundedCorner="true" widthComputationExpression="12" heightComputationExpression="10" backgroundStyle="Liquid"> | ||
58 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
59 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
60 | <backgroundColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='white']"/> | ||
61 | <foregroundColor xmi:type="description:UserFixedColor" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@userColorsPalettes[name='Ecore%20Palette']/@entries[name='RoleColor']"/> | ||
62 | </computedStyleDescriptions> | ||
57 | </data> | 63 | </data> |
58 | </ownedAnnotationEntries> | 64 | </ownedAnnotationEntries> |
59 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1Fk_ALsFEemM79ftwH5Qng" source="GMF_DIAGRAMS"> | 65 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1Fk_ALsFEemM79ftwH5Qng" source="GMF_DIAGRAMS"> |
@@ -98,7 +104,7 @@ | |||
98 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D-g8rsFEemM79ftwH5Qng"/> | 104 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D-g8rsFEemM79ftwH5Qng"/> |
99 | </children> | 105 | </children> |
100 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D954rsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 106 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D954rsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
101 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D9547sFEemM79ftwH5Qng" x="459" y="162"/> | 107 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D9547sFEemM79ftwH5Qng" x="492" y="213"/> |
102 | </children> | 108 | </children> |
103 | <children xmi:type="notation:Node" xmi:id="_2D-g87sFEemM79ftwH5Qng" type="2003" element="_2DOTALsFEemM79ftwH5Qng"> | 109 | <children xmi:type="notation:Node" xmi:id="_2D-g87sFEemM79ftwH5Qng" type="2003" element="_2DOTALsFEemM79ftwH5Qng"> |
104 | <children xmi:type="notation:Node" xmi:id="_2D-g9rsFEemM79ftwH5Qng" type="5007"/> | 110 | <children xmi:type="notation:Node" xmi:id="_2D-g9rsFEemM79ftwH5Qng" type="5007"/> |
@@ -119,7 +125,7 @@ | |||
119 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D-g-bsFEemM79ftwH5Qng"/> | 125 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D-g-bsFEemM79ftwH5Qng"/> |
120 | </children> | 126 | </children> |
121 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D-g9LsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 127 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D-g9LsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
122 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D-g9bsFEemM79ftwH5Qng" x="621" y="135" height="84"/> | 128 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D-g9bsFEemM79ftwH5Qng" x="720" y="132" height="84"/> |
123 | </children> | 129 | </children> |
124 | <children xmi:type="notation:Node" xmi:id="_2D-g-rsFEemM79ftwH5Qng" type="2003" element="_2DPhILsFEemM79ftwH5Qng"> | 130 | <children xmi:type="notation:Node" xmi:id="_2D-g-rsFEemM79ftwH5Qng" type="2003" element="_2DPhILsFEemM79ftwH5Qng"> |
125 | <children xmi:type="notation:Node" xmi:id="_2D_IALsFEemM79ftwH5Qng" type="5007"/> | 131 | <children xmi:type="notation:Node" xmi:id="_2D_IALsFEemM79ftwH5Qng" type="5007"/> |
@@ -136,7 +142,7 @@ | |||
136 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D_IA7sFEemM79ftwH5Qng"/> | 142 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D_IA7sFEemM79ftwH5Qng"/> |
137 | </children> | 143 | </children> |
138 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D-g-7sFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 144 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D-g-7sFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
139 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D-g_LsFEemM79ftwH5Qng" x="387" y="288" height="66"/> | 145 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D-g_LsFEemM79ftwH5Qng" x="276" y="420" height="66"/> |
140 | </children> | 146 | </children> |
141 | <children xmi:type="notation:Node" xmi:id="_2D_IBLsFEemM79ftwH5Qng" type="2003" element="_2DQIMbsFEemM79ftwH5Qng"> | 147 | <children xmi:type="notation:Node" xmi:id="_2D_IBLsFEemM79ftwH5Qng" type="2003" element="_2DQIMbsFEemM79ftwH5Qng"> |
142 | <children xmi:type="notation:Node" xmi:id="_2D_IB7sFEemM79ftwH5Qng" type="5007"/> | 148 | <children xmi:type="notation:Node" xmi:id="_2D_IB7sFEemM79ftwH5Qng" type="5007"/> |
@@ -149,7 +155,7 @@ | |||
149 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D_ICrsFEemM79ftwH5Qng"/> | 155 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2D_ICrsFEemM79ftwH5Qng"/> |
150 | </children> | 156 | </children> |
151 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D_IBbsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 157 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D_IBbsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
152 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D_IBrsFEemM79ftwH5Qng" x="585" y="279" height="48"/> | 158 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D_IBrsFEemM79ftwH5Qng" x="708" y="396" height="48"/> |
153 | </children> | 159 | </children> |
154 | <children xmi:type="notation:Node" xmi:id="_2D_vELsFEemM79ftwH5Qng" type="2003" element="_2DRWUbsFEemM79ftwH5Qng"> | 160 | <children xmi:type="notation:Node" xmi:id="_2D_vELsFEemM79ftwH5Qng" type="2003" element="_2DRWUbsFEemM79ftwH5Qng"> |
155 | <children xmi:type="notation:Node" xmi:id="_2D_vE7sFEemM79ftwH5Qng" type="5007"/> | 161 | <children xmi:type="notation:Node" xmi:id="_2D_vE7sFEemM79ftwH5Qng" type="5007"/> |
@@ -223,70 +229,70 @@ | |||
223 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2EAWI7sFEemM79ftwH5Qng"/> | 229 | <styles xmi:type="notation:FilteringStyle" xmi:id="_2EAWI7sFEemM79ftwH5Qng"/> |
224 | </children> | 230 | </children> |
225 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D_vGLsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 231 | <styles xmi:type="notation:ShapeStyle" xmi:id="_2D_vGLsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
226 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D_vGbsFEemM79ftwH5Qng" x="297" y="162" height="84"/> | 232 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2D_vGbsFEemM79ftwH5Qng" x="144" y="156" height="84"/> |
227 | </children> | 233 | </children> |
228 | <styles xmi:type="notation:DiagramStyle" xmi:id="_1Fk_ArsFEemM79ftwH5Qng"/> | 234 | <styles xmi:type="notation:DiagramStyle" xmi:id="_1Fk_ArsFEemM79ftwH5Qng"/> |
229 | <edges xmi:type="notation:Edge" xmi:id="_2EKuMLsFEemM79ftwH5Qng" type="4001" element="_2DuCQLsFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D-g-rsFEemM79ftwH5Qng"> | 235 | <edges xmi:type="notation:Edge" xmi:id="_2EKuMLsFEemM79ftwH5Qng" type="4001" element="_2DuCQLsFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D-g-rsFEemM79ftwH5Qng"> |
230 | <children xmi:type="notation:Node" xmi:id="_2EMjYLsFEemM79ftwH5Qng" type="6001"> | 236 | <children xmi:type="notation:Node" xmi:id="_2EMjYLsFEemM79ftwH5Qng" type="6001"> |
231 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EMjYbsFEemM79ftwH5Qng" x="1" y="30"/> | 237 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EMjYbsFEemM79ftwH5Qng" x="-10"/> |
232 | </children> | 238 | </children> |
233 | <children xmi:type="notation:Node" xmi:id="_2EMjYrsFEemM79ftwH5Qng" type="6002"> | 239 | <children xmi:type="notation:Node" xmi:id="_2EMjYrsFEemM79ftwH5Qng" type="6002"> |
234 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EMjY7sFEemM79ftwH5Qng" x="13" y="-12"/> | 240 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EMjY7sFEemM79ftwH5Qng" y="-10"/> |
235 | </children> | 241 | </children> |
236 | <children xmi:type="notation:Node" xmi:id="_2ENKcLsFEemM79ftwH5Qng" type="6003"> | 242 | <children xmi:type="notation:Node" xmi:id="_2ENKcLsFEemM79ftwH5Qng" type="6003"> |
237 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2ENKcbsFEemM79ftwH5Qng" x="-7"/> | 243 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2ENKcbsFEemM79ftwH5Qng" x="-105"/> |
238 | </children> | 244 | </children> |
239 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EKuMbsFEemM79ftwH5Qng" routing="Rectilinear"/> | 245 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EKuMbsFEemM79ftwH5Qng" routing="Rectilinear"/> |
240 | <styles xmi:type="notation:FontStyle" xmi:id="_2EKuMrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 246 | <styles xmi:type="notation:FontStyle" xmi:id="_2EKuMrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
241 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EKuM7sFEemM79ftwH5Qng" points="[-18, 98, 54, -126]$[-18, 126, 54, -98]"/> | 247 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EKuM7sFEemM79ftwH5Qng" points="[-62, 61, 156, -244]$[-186, 61, 32, -244]$[-186, 207, 32, -98]"/> |
242 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EW7cLsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> | 248 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EW7cLsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> |
243 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EW7cbsFEemM79ftwH5Qng" id="(0.5084745762711864,1.53125)"/> | 249 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EW7cbsFEemM79ftwH5Qng" id="(0.5084745762711864,1.53125)"/> |
244 | </edges> | 250 | </edges> |
245 | <edges xmi:type="notation:Edge" xmi:id="_2EW7crsFEemM79ftwH5Qng" type="4001" element="_2DxFk7sFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> | 251 | <edges xmi:type="notation:Edge" xmi:id="_2EW7crsFEemM79ftwH5Qng" type="4001" element="_2DxFk7sFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> |
246 | <children xmi:type="notation:Node" xmi:id="_2EXigLsFEemM79ftwH5Qng" type="6001"> | 252 | <children xmi:type="notation:Node" xmi:id="_2EXigLsFEemM79ftwH5Qng" type="6001"> |
247 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXigbsFEemM79ftwH5Qng" x="7"/> | 253 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXigbsFEemM79ftwH5Qng" x="7" y="9"/> |
248 | </children> | 254 | </children> |
249 | <children xmi:type="notation:Node" xmi:id="_2EXigrsFEemM79ftwH5Qng" type="6002"> | 255 | <children xmi:type="notation:Node" xmi:id="_2EXigrsFEemM79ftwH5Qng" type="6002"> |
250 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXig7sFEemM79ftwH5Qng" x="-6"/> | 256 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXig7sFEemM79ftwH5Qng" x="42"/> |
251 | </children> | 257 | </children> |
252 | <children xmi:type="notation:Node" xmi:id="_2EXihLsFEemM79ftwH5Qng" type="6003"> | 258 | <children xmi:type="notation:Node" xmi:id="_2EXihLsFEemM79ftwH5Qng" type="6003"> |
253 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXihbsFEemM79ftwH5Qng" x="-6"/> | 259 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EXihbsFEemM79ftwH5Qng" x="-3"/> |
254 | </children> | 260 | </children> |
255 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EW7c7sFEemM79ftwH5Qng" routing="Rectilinear"/> | 261 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EW7c7sFEemM79ftwH5Qng" routing="Rectilinear"/> |
256 | <styles xmi:type="notation:FontStyle" xmi:id="_2EW7dLsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 262 | <styles xmi:type="notation:FontStyle" xmi:id="_2EW7dLsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
257 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EW7dbsFEemM79ftwH5Qng" points="[-2, 0, -20, 10]$[-2, -44, -20, -34]"/> | 263 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EW7dbsFEemM79ftwH5Qng" points="[0, 0, 17, 61]$[0, -73, 17, -12]$[37, -73, 54, -12]$[37, -95, 54, -34]"/> |
258 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EXihrsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> | 264 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EXihrsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> |
259 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EXih7sFEemM79ftwH5Qng" id="(0.5084745762711864,1.53125)"/> | 265 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EXih7sFEemM79ftwH5Qng" id="(0.5084745762711864,1.53125)"/> |
260 | </edges> | 266 | </edges> |
261 | <edges xmi:type="notation:Edge" xmi:id="_2EXiiLsFEemM79ftwH5Qng" type="4001" element="_2DyTsLsFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D-g87sFEemM79ftwH5Qng"> | 267 | <edges xmi:type="notation:Edge" xmi:id="_2EXiiLsFEemM79ftwH5Qng" type="4001" element="_2DyTsLsFEemM79ftwH5Qng" source="_2D954bsFEemM79ftwH5Qng" target="_2D-g87sFEemM79ftwH5Qng"> |
262 | <children xmi:type="notation:Node" xmi:id="_2EYJkLsFEemM79ftwH5Qng" type="6001"> | 268 | <children xmi:type="notation:Node" xmi:id="_2EYJkLsFEemM79ftwH5Qng" type="6001"> |
263 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJkbsFEemM79ftwH5Qng" x="-13" y="-7"/> | 269 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJkbsFEemM79ftwH5Qng" x="-48" y="-7"/> |
264 | </children> | 270 | </children> |
265 | <children xmi:type="notation:Node" xmi:id="_2EYJkrsFEemM79ftwH5Qng" type="6002"> | 271 | <children xmi:type="notation:Node" xmi:id="_2EYJkrsFEemM79ftwH5Qng" type="6002"> |
266 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJk7sFEemM79ftwH5Qng" x="2" y="10"/> | 272 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJk7sFEemM79ftwH5Qng" x="-10" y="10"/> |
267 | </children> | 273 | </children> |
268 | <children xmi:type="notation:Node" xmi:id="_2EYJlLsFEemM79ftwH5Qng" type="6003"> | 274 | <children xmi:type="notation:Node" xmi:id="_2EYJlLsFEemM79ftwH5Qng" type="6003"> |
269 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJlbsFEemM79ftwH5Qng" x="-4" y="10"/> | 275 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJlbsFEemM79ftwH5Qng" x="-68" y="10"/> |
270 | </children> | 276 | </children> |
271 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EXiibsFEemM79ftwH5Qng" routing="Rectilinear"/> | 277 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EXiibsFEemM79ftwH5Qng" routing="Rectilinear"/> |
272 | <styles xmi:type="notation:FontStyle" xmi:id="_2EXiirsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 278 | <styles xmi:type="notation:FontStyle" xmi:id="_2EXiirsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
273 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EXii7sFEemM79ftwH5Qng" points="[59, -10, -104, 17]$[103, -10, -60, 17]"/> | 279 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EXii7sFEemM79ftwH5Qng" points="[61, -13, -178, 68]$[167, -13, -72, 68]"/> |
274 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYJlrsFEemM79ftwH5Qng" id="(0.5,0.5)"/> | 280 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYJlrsFEemM79ftwH5Qng" id="(0.5,0.5)"/> |
275 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYJl7sFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> | 281 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYJl7sFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> |
276 | </edges> | 282 | </edges> |
277 | <edges xmi:type="notation:Edge" xmi:id="_2EYJmLsFEemM79ftwH5Qng" type="4001" element="_2Dy6w7sFEemM79ftwH5Qng" source="_2D-g87sFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> | 283 | <edges xmi:type="notation:Edge" xmi:id="_2EYJmLsFEemM79ftwH5Qng" type="4001" element="_2Dy6w7sFEemM79ftwH5Qng" source="_2D-g87sFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> |
278 | <children xmi:type="notation:Node" xmi:id="_2EYJnLsFEemM79ftwH5Qng" type="6001"> | 284 | <children xmi:type="notation:Node" xmi:id="_2EYJnLsFEemM79ftwH5Qng" type="6001"> |
279 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJnbsFEemM79ftwH5Qng" x="5" y="13"/> | 285 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJnbsFEemM79ftwH5Qng" x="53" y="13"/> |
280 | </children> | 286 | </children> |
281 | <children xmi:type="notation:Node" xmi:id="_2EYJnrsFEemM79ftwH5Qng" type="6002"> | 287 | <children xmi:type="notation:Node" xmi:id="_2EYJnrsFEemM79ftwH5Qng" type="6002"> |
282 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJn7sFEemM79ftwH5Qng" x="-15" y="-51"/> | 288 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYJn7sFEemM79ftwH5Qng" x="138" y="-21"/> |
283 | </children> | 289 | </children> |
284 | <children xmi:type="notation:Node" xmi:id="_2EYwoLsFEemM79ftwH5Qng" type="6003"> | 290 | <children xmi:type="notation:Node" xmi:id="_2EYwoLsFEemM79ftwH5Qng" type="6003"> |
285 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYwobsFEemM79ftwH5Qng" x="-11" y="-10"/> | 291 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EYwobsFEemM79ftwH5Qng" x="4" y="-10"/> |
286 | </children> | 292 | </children> |
287 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EYJmbsFEemM79ftwH5Qng" routing="Rectilinear"/> | 293 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EYJmbsFEemM79ftwH5Qng" routing="Rectilinear"/> |
288 | <styles xmi:type="notation:FontStyle" xmi:id="_2EYJmrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 294 | <styles xmi:type="notation:FontStyle" xmi:id="_2EYJmrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
289 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EYJm7sFEemM79ftwH5Qng" points="[1, -49, 146, 32]$[1, -72, 146, 9]$[-86, -72, 59, 9]"/> | 295 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EYJm7sFEemM79ftwH5Qng" points="[-5, -49, 251, 29]$[-5, -69, 251, 9]$[-197, -69, 59, 9]"/> |
290 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYworsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> | 296 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYworsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> |
291 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYwo7sFEemM79ftwH5Qng" id="(0.5,0.765625)"/> | 297 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EYwo7sFEemM79ftwH5Qng" id="(0.5,0.765625)"/> |
292 | </edges> | 298 | </edges> |
@@ -308,65 +314,65 @@ | |||
308 | </edges> | 314 | </edges> |
309 | <edges xmi:type="notation:Edge" xmi:id="_2EZXsrsFEemM79ftwH5Qng" type="4001" element="_2D0I5rsFEemM79ftwH5Qng" source="_2D-g-rsFEemM79ftwH5Qng" target="_2D_IBLsFEemM79ftwH5Qng"> | 315 | <edges xmi:type="notation:Edge" xmi:id="_2EZXsrsFEemM79ftwH5Qng" type="4001" element="_2D0I5rsFEemM79ftwH5Qng" source="_2D-g-rsFEemM79ftwH5Qng" target="_2D_IBLsFEemM79ftwH5Qng"> |
310 | <children xmi:type="notation:Node" xmi:id="_2EZXtrsFEemM79ftwH5Qng" type="6001"> | 316 | <children xmi:type="notation:Node" xmi:id="_2EZXtrsFEemM79ftwH5Qng" type="6001"> |
311 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXt7sFEemM79ftwH5Qng" x="-10" y="10"/> | 317 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXt7sFEemM79ftwH5Qng" x="49" y="10"/> |
312 | </children> | 318 | </children> |
313 | <children xmi:type="notation:Node" xmi:id="_2EZXuLsFEemM79ftwH5Qng" type="6002"> | 319 | <children xmi:type="notation:Node" xmi:id="_2EZXuLsFEemM79ftwH5Qng" type="6002"> |
314 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXubsFEemM79ftwH5Qng" x="-8" y="-10"/> | 320 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXubsFEemM79ftwH5Qng" x="87" y="-10"/> |
315 | </children> | 321 | </children> |
316 | <children xmi:type="notation:Node" xmi:id="_2EZXursFEemM79ftwH5Qng" type="6003"> | 322 | <children xmi:type="notation:Node" xmi:id="_2EZXursFEemM79ftwH5Qng" type="6003"> |
317 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXu7sFEemM79ftwH5Qng" x="-27" y="-10"/> | 323 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZXu7sFEemM79ftwH5Qng" y="10"/> |
318 | </children> | 324 | </children> |
319 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZXs7sFEemM79ftwH5Qng" routing="Rectilinear"/> | 325 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZXs7sFEemM79ftwH5Qng" routing="Rectilinear"/> |
320 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZXtLsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 326 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZXtLsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
321 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZXtbsFEemM79ftwH5Qng" points="[58, 5, -140, -84]$[138, 5, -60, -84]"/> | 327 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZXtbsFEemM79ftwH5Qng" points="[59, 5, -373, -69]$[372, 5, -60, -69]"/> |
322 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZXvLsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> | 328 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZXvLsFEemM79ftwH5Qng" id="(0.5084745762711864,0.0)"/> |
323 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZXvbsFEemM79ftwH5Qng" id="(0.5084745762711864,2.130434782608696)"/> | 329 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZXvbsFEemM79ftwH5Qng" id="(0.5084745762711864,2.130434782608696)"/> |
324 | </edges> | 330 | </edges> |
325 | <edges xmi:type="notation:Edge" xmi:id="_2EZ-wLsFEemM79ftwH5Qng" type="4001" element="_2D0v-bsFEemM79ftwH5Qng" source="_2D-g-rsFEemM79ftwH5Qng" target="_2D_vF7sFEemM79ftwH5Qng"> | 331 | <edges xmi:type="notation:Edge" xmi:id="_2EZ-wLsFEemM79ftwH5Qng" type="4001" element="_2D0v-bsFEemM79ftwH5Qng" source="_2D-g-rsFEemM79ftwH5Qng" target="_2D_vF7sFEemM79ftwH5Qng"> |
326 | <children xmi:type="notation:Node" xmi:id="_2EZ-xLsFEemM79ftwH5Qng" type="6001"> | 332 | <children xmi:type="notation:Node" xmi:id="_2EZ-xLsFEemM79ftwH5Qng" type="6001"> |
327 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-xbsFEemM79ftwH5Qng" x="-1" y="-45"/> | 333 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-xbsFEemM79ftwH5Qng" x="-14" y="-10"/> |
328 | </children> | 334 | </children> |
329 | <children xmi:type="notation:Node" xmi:id="_2EZ-xrsFEemM79ftwH5Qng" type="6002"> | 335 | <children xmi:type="notation:Node" xmi:id="_2EZ-xrsFEemM79ftwH5Qng" type="6002"> |
330 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-x7sFEemM79ftwH5Qng" x="4"/> | 336 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-x7sFEemM79ftwH5Qng" x="109"/> |
331 | </children> | 337 | </children> |
332 | <children xmi:type="notation:Node" xmi:id="_2EZ-yLsFEemM79ftwH5Qng" type="6003"> | 338 | <children xmi:type="notation:Node" xmi:id="_2EZ-yLsFEemM79ftwH5Qng" type="6003"> |
333 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-ybsFEemM79ftwH5Qng" x="-19" y="10"/> | 339 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2EZ-ybsFEemM79ftwH5Qng" x="-50" y="-7"/> |
334 | </children> | 340 | </children> |
335 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZ-wbsFEemM79ftwH5Qng" routing="Rectilinear"/> | 341 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZ-wbsFEemM79ftwH5Qng" routing="Rectilinear"/> |
336 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZ-wrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 342 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZ-wrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
337 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZ-w7sFEemM79ftwH5Qng" points="[-9, -49, 66, 77]$[-9, -93, 66, 33]"/> | 343 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZ-w7sFEemM79ftwH5Qng" points="[-24, -49, 78, 215]$[-24, -203, 78, 61]$[-87, -203, 15, 61]$[-87, -231, 15, 33]"/> |
338 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZ-yrsFEemM79ftwH5Qng" id="(0.5,0.765625)"/> | 344 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZ-yrsFEemM79ftwH5Qng" id="(0.5,0.765625)"/> |
339 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZ-y7sFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> | 345 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EZ-y7sFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> |
340 | </edges> | 346 | </edges> |
341 | <edges xmi:type="notation:Edge" xmi:id="_2EZ-zLsFEemM79ftwH5Qng" type="4001" element="_2D1XBrsFEemM79ftwH5Qng" source="_2D_vF7sFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> | 347 | <edges xmi:type="notation:Edge" xmi:id="_2EZ-zLsFEemM79ftwH5Qng" type="4001" element="_2D1XBrsFEemM79ftwH5Qng" source="_2D_vF7sFEemM79ftwH5Qng" target="_2D62kLsFEemM79ftwH5Qng"> |
342 | <children xmi:type="notation:Node" xmi:id="_2EZ-0LsFEemM79ftwH5Qng" type="6001"> | 348 | <children xmi:type="notation:Node" xmi:id="_2EZ-0LsFEemM79ftwH5Qng" type="6001"> |
343 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal0LsFEemM79ftwH5Qng" x="15" y="5"/> | 349 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal0LsFEemM79ftwH5Qng" x="84" y="-9"/> |
344 | </children> | 350 | </children> |
345 | <children xmi:type="notation:Node" xmi:id="_2Eal0bsFEemM79ftwH5Qng" type="6002"> | 351 | <children xmi:type="notation:Node" xmi:id="_2Eal0bsFEemM79ftwH5Qng" type="6002"> |
346 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal0rsFEemM79ftwH5Qng" x="22" y="3"/> | 352 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal0rsFEemM79ftwH5Qng" x="-6" y="3"/> |
347 | </children> | 353 | </children> |
348 | <children xmi:type="notation:Node" xmi:id="_2Eal07sFEemM79ftwH5Qng" type="6003"> | 354 | <children xmi:type="notation:Node" xmi:id="_2Eal07sFEemM79ftwH5Qng" type="6003"> |
349 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal1LsFEemM79ftwH5Qng" x="-7" y="10"/> | 355 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal1LsFEemM79ftwH5Qng" x="15" y="10"/> |
350 | </children> | 356 | </children> |
351 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZ-zbsFEemM79ftwH5Qng" routing="Rectilinear"/> | 357 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2EZ-zbsFEemM79ftwH5Qng" routing="Rectilinear"/> |
352 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZ-zrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> | 358 | <styles xmi:type="notation:FontStyle" xmi:id="_2EZ-zrsFEemM79ftwH5Qng" fontColor="7490599" fontName=".AppleSystemUIFont" fontHeight="8"/> |
353 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZ-z7sFEemM79ftwH5Qng" points="[61, -49, -104, 59]$[61, -99, -104, 9]$[106, -99, -59, 9]"/> | 359 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2EZ-z7sFEemM79ftwH5Qng" points="[53, -49, -250, 53]$[53, -93, -250, 9]$[244, -93, -59, 9]"/> |
354 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2Eal1bsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> | 360 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2Eal1bsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> |
355 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2Eal1rsFEemM79ftwH5Qng" id="(0.5,0.765625)"/> | 361 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2Eal1rsFEemM79ftwH5Qng" id="(0.5,0.765625)"/> |
356 | </edges> | 362 | </edges> |
357 | <edges xmi:type="notation:Edge" xmi:id="_2Eal17sFEemM79ftwH5Qng" type="4001" element="_2D2lILsFEemM79ftwH5Qng" source="_2D-g87sFEemM79ftwH5Qng" target="_2D_IBLsFEemM79ftwH5Qng"> | 363 | <edges xmi:type="notation:Edge" xmi:id="_2Eal17sFEemM79ftwH5Qng" type="4001" element="_2D2lILsFEemM79ftwH5Qng" source="_2D-g87sFEemM79ftwH5Qng" target="_2D_IBLsFEemM79ftwH5Qng"> |
358 | <children xmi:type="notation:Node" xmi:id="_2Eal27sFEemM79ftwH5Qng" type="6001"> | 364 | <children xmi:type="notation:Node" xmi:id="_2Eal27sFEemM79ftwH5Qng" type="6001"> |
359 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal3LsFEemM79ftwH5Qng" x="28" y="2"/> | 365 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal3LsFEemM79ftwH5Qng" x="-10"/> |
360 | </children> | 366 | </children> |
361 | <children xmi:type="notation:Node" xmi:id="_2Eal3bsFEemM79ftwH5Qng" type="6002"> | 367 | <children xmi:type="notation:Node" xmi:id="_2Eal3bsFEemM79ftwH5Qng" type="6002"> |
362 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal3rsFEemM79ftwH5Qng" x="4" y="36"/> | 368 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal3rsFEemM79ftwH5Qng" x="10"/> |
363 | </children> | 369 | </children> |
364 | <children xmi:type="notation:Node" xmi:id="_2Eal37sFEemM79ftwH5Qng" type="6003"> | 370 | <children xmi:type="notation:Node" xmi:id="_2Eal37sFEemM79ftwH5Qng" type="6003"> |
365 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal4LsFEemM79ftwH5Qng" x="4" y="42"/> | 371 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2Eal4LsFEemM79ftwH5Qng" x="-99" y="42"/> |
366 | </children> | 372 | </children> |
367 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2Eal2LsFEemM79ftwH5Qng" routing="Rectilinear"/> | 373 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_2Eal2LsFEemM79ftwH5Qng" routing="Rectilinear"/> |
368 | <styles xmi:type="notation:FontStyle" xmi:id="_2Eal2bsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> | 374 | <styles xmi:type="notation:FontStyle" xmi:id="_2Eal2bsFEemM79ftwH5Qng" fontName=".AppleSystemUIFont" fontHeight="8"/> |
369 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2Eal2rsFEemM79ftwH5Qng" points="[-24, 33, 13, -111]$[-24, 95, 13, -49]"/> | 375 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2Eal2rsFEemM79ftwH5Qng" points="[-11, 33, 14, -231]$[-11, 215, 14, -49]"/> |
370 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EbM4LsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> | 376 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EbM4LsFEemM79ftwH5Qng" id="(0.5,0.5975609756097561)"/> |
371 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EbM4bsFEemM79ftwH5Qng" id="(0.5,1.065217391304348)"/> | 377 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2EbM4bsFEemM79ftwH5Qng" id="(0.5,1.065217391304348)"/> |
372 | </edges> | 378 | </edges> |
@@ -448,9 +454,7 @@ | |||
448 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 454 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
449 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | 455 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> |
450 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | 456 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> |
451 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_2DO6ELsFEemM79ftwH5Qng" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 457 | <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_LoOocR67EeuFy6Pzdv-7xw" description="_LoNaUB67EeuFy6Pzdv-7xw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="250,240,180"/> |
452 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | ||
453 | </ownedStyle> | ||
454 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 458 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
455 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_2DjDILsFEemM79ftwH5Qng" name="created_at : EDate" tooltipText=""> | 459 | <ownedElements xmi:type="diagram:DNodeListElement" uid="_2DjDILsFEemM79ftwH5Qng" name="created_at : EDate" tooltipText=""> |
456 | <target xmi:type="ecore:EAttribute" href="github.ecore#//Commit/created_at"/> | 460 | <target xmi:type="ecore:EAttribute" href="github.ecore#//Commit/created_at"/> |
@@ -776,7 +780,7 @@ | |||
776 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> | 780 | <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/> |
777 | <target xmi:type="ecore:EPackage" href="github.ecore#/"/> | 781 | <target xmi:type="ecore:EPackage" href="github.ecore#/"/> |
778 | </diagram:DSemanticDiagram> | 782 | </diagram:DSemanticDiagram> |
779 | <diagram:DSemanticDiagram uid="_-hr6MMBBEemaJY-m3midoQ" name="github class diagram"> | 783 | <diagram:DSemanticDiagram uid="_-hr6MMBBEemaJY-m3midoQ"> |
780 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_-h6jsMBBEemaJY-m3midoQ" source="DANNOTATION_CUSTOMIZATION_KEY"> | 784 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_-h6jsMBBEemaJY-m3midoQ" source="DANNOTATION_CUSTOMIZATION_KEY"> |
781 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_-h6jscBBEemaJY-m3midoQ"> | 785 | <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_-h6jscBBEemaJY-m3midoQ"> |
782 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="__HEfMMBBEemaJY-m3midoQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | 786 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="__HEfMMBBEemaJY-m3midoQ" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> |
diff --git a/Domains/github-graph/queries/queries/github.vql b/Domains/github-graph/queries/queries/github.vql index 10b23d40..62853b3f 100644 --- a/Domains/github-graph/queries/queries/github.vql +++ b/Domains/github-graph/queries/queries/github.vql | |||
@@ -8,4 +8,12 @@ pattern directParent(a : Commit, b: Commit) { | |||
8 | @Constraint(key={a}, severity="error", message="error") | 8 | @Constraint(key={a}, severity="error", message="error") |
9 | pattern loopInParent(a){ | 9 | pattern loopInParent(a){ |
10 | find directParent+(a,a); | 10 | find directParent+(a,a); |
11 | } \ No newline at end of file | 11 | } |
12 | |||
13 | |||
14 | //1. issue with MERGED but no PullRequest | ||
15 | //2. issue with 2 CLOSED events without a REOPENED event | ||
16 | //3. issue with 2 REOPENED events without a CLOSED event | ||
17 | //4. user-issue pair with 2 SUBSCRIBED events without an UNSUBSCRIBED event | ||
18 | //5. user-issue pair with 2 UNSUBSCRIBED events without a SUBSCRIBED event | ||
19 | //6. User MERGED/CLOSED/REOPENED issue without being a projectMember of the Project \ No newline at end of file | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch index 968580f5..9162f976 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner.launch | |||
@@ -10,7 +10,8 @@ | |||
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> "/> | 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"/> | 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"/> | 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"/> | 13 | <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="SocialNetwork_plugin"/> |
14 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="yakinduGeneration.vsconfig"/> | ||
14 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="SocialNetwork_plugin"/> | 15 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="SocialNetwork_plugin"/> |
15 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx8G"/> | 16 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx8G"/> |
16 | </launchConfiguration> | 17 | </launchConfiguration> |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner_yakindu.launch b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner_yakindu.launch index c9301097..ae41d2c3 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner_yakindu.launch +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/Measurement_Runner_yakindu.launch | |||
@@ -11,7 +11,7 @@ | |||
11 | <booleanAttribute key="org.eclipse.jdt.launching.ATTR_EXCLUDE_TEST_CODE" value="true"/> | 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"/> | 12 | <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="ca.mcgill.ecse.socialnetwork.runner.Main"/> |
13 | <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="SocialNetwork_plugin"/> | 13 | <stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value="SocialNetwork_plugin"/> |
14 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="yakinduGeneration.vsconfig"/> | 14 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="ecore.vsconfig"/> |
15 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="SocialNetwork_plugin"/> | 15 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="SocialNetwork_plugin"/> |
16 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx8G -Djava.library.path="D:\Program Files\z3-4.8.8-x64-win\z3-4.8.8-x64-win\bin""/> | 16 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx8G"/> |
17 | </launchConfiguration> | 17 | </launchConfiguration> |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt index cbbf6c0f..44724f1a 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/debug/errors.txt | |||
@@ -1,10 +1,10 @@ | |||
1 | Error occured (NullPointerException): | 1 | Error occured (DiagnosticWrappedException): org.eclipse.emf.ecore.xmi.FeatureNotFoundException: Feature 'vertices' not found. (file:///C:/Users/chenp/Documents/Eclipse/VIATRA-Generator/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi, 3, 57) |
2 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner.lambda$23(ViatraReasoner.java:447) | 2 | org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.handleDemandLoadException(ResourceSetImpl.java:319) |
3 | org.eclipse.xtext.xbase.lib.ObjectExtensions.operator_doubleArrow(ObjectExtensions.java:140) | 3 | org.eclipse.emf.ecore.resource.impl.ResourceSetImpl.demandLoadHelper(ResourceSetImpl.java:278) |
4 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner.lambda$1(ViatraReasoner.java:451) | 4 | org.eclipse.xtext.resource.XtextResourceSet.getResource(XtextResourceSet.java:266) |
5 | org.eclipse.xtext.xbase.lib.ObjectExtensions.operator_doubleArrow(ObjectExtensions.java:140) | 5 | org.eclipse.xtext.resource.SynchronizedXtextResourceSet.getResource(SynchronizedXtextResourceSet.java:25) |
6 | hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ViatraReasoner.solve(ViatraReasoner.java:531) | 6 | hu.bme.mit.inf.dslreasoner.application.execution.ModelLoader.loadModel(ModelLoader.java:41) |
7 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:329) | 7 | hu.bme.mit.inf.dslreasoner.application.execution.GenerationTaskExecutor.executeGenerationTask(GenerationTaskExecutor.java:171) |
8 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:141) | 8 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor._execute(ScriptExecutor.java:141) |
9 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:382) | 9 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.execute(ScriptExecutor.java:382) |
10 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:122) | 10 | hu.bme.mit.inf.dslreasoner.application.execution.ScriptExecutor.executeScript(ScriptExecutor.java:122) |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi index f9a2a185..b0c669a5 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/inputs/start.xmi | |||
@@ -1,2 +1,3 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 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"/> | 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"> |
3 | </hu.bme.mit.inf.yakindumm:Statechart> \ No newline at end of file | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv index 13617342..4e752917 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Ecore/warmup.csv | |||
@@ -1,3 +1,3 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,Transformations,ScopePropagations,ScopePropagationsSolverCalls | 1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls |
2 | 1,1,ModelResultImpl,910,7801,7469,66,7546,765,258,95,0,228,1118,0,2,1495,2706,1379,10,0,1,0,1769,654,0 | 2 | 1,1,ModelResultImpl,1606,10223,12802,105,12895,1128,389,150,0,354,2147,0,8,1911,4420,2032,16,0,2,0,2105,2083,618,0 |
3 | 3 | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv index e874d546..12b0bf9d 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/statistics/Yakindu/warmup.csv | |||
@@ -1,3 +1,12 @@ | |||
1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls | 1 | Task,Run,Result,Domain to logic transformation time,Logic to solver transformation time,Solver time,Postprocessing time,Solution0FoundAt,ExplorationInitializationTime,TransformationExecutionTime,ScopePropagationTime,MustRelationPropagationTime,TypeAnalysisTime,StateCoderTime,StateCoderFailCount,SolutionCopyTime,States,ForwardTime,BacktrackingTime,GlobalConstraintEvaluationTime,FitnessCalculationTime,ActivationSelectionTime,Decisions,MetricCalculationTime,Transformations,ScopePropagations,ScopePropagationsSolverCalls |
2 | 1,1,ModelResultImpl,2352,10681,69124,604,69169,829,1295,348,0,1040,24989,0,6,15152,20133,10141,18,0,6,0,8446,15835,6904,0 | 2 | 1,1,ModelResultImpl,1643,5499,8730,150,8800,955,382,107,0,365,1483,0,6,1361,3560,1527,16,0,2,0,790,2113,919,0 |
3 | 1,2,ModelResultImpl,1643,3215,5612,28,5605,106,218,63,0,0,747,0,1,1428,2734,1077,16,0,1,0,493,1942,979,0 | ||
4 | 1,3,ModelResultImpl,1643,2911,6335,24,6328,102,206,54,0,0,1142,0,1,1884,2985,1085,24,0,1,0,560,2741,1014,0 | ||
5 | 1,4,ModelResultImpl,1643,2587,4554,22,4549,78,123,25,0,0,814,0,2,1151,2105,845,12,0,0,0,418,1833,531,0 | ||
6 | 1,5,ModelResultImpl,1643,2416,4379,16,4373,75,150,52,0,0,647,0,1,1556,2165,833,16,0,0,0,360,1967,1030,0 | ||
7 | 1,6,ModelResultImpl,1643,2028,4553,16,4547,65,123,25,0,0,814,0,2,1149,2127,821,12,0,0,0,417,1894,507,0 | ||
8 | 1,7,ModelResultImpl,1643,2041,4786,19,4777,59,154,44,0,0,755,0,1,1383,2264,901,15,0,0,0,474,2113,906,0 | ||
9 | 1,8,ModelResultImpl,1643,2032,6211,15,6202,57,208,46,0,0,1040,0,1,1798,3051,1088,12,0,0,0,561,2882,951,0 | ||
10 | 1,9,ModelResultImpl,1643,1958,4846,17,4839,75,122,26,0,0,876,0,1,1362,2205,892,16,0,0,0,421,1936,542,0 | ||
11 | 1,10,ModelResultImpl,1643,2092,5974,28,5964,71,199,58,0,0,930,0,2,1643,2898,1133,12,0,0,0,541,2259,993,0 | ||
3 | 12 | ||
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduGeneration.vsconfig index 618d7b48..1cbf8469 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 = 200 | 12 | #node = 30 |
13 | } | 13 | } |
14 | 14 | ||
15 | number = 1 | 15 | number = 1 |
16 | runs = 1 | 16 | runs = 10 |
17 | config = { | 17 | config = { |
18 | log-level = none, | 18 | log-level = none, |
19 | "optional-wf" = "false", | 19 | "optional-wf" = "false", |
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.aird b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.aird new file mode 100644 index 00000000..cdb9a76a --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.aird | |||
@@ -0,0 +1,16 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <viewpoint:DAnalysis xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description" uid="_NKCnMB7AEeuFy6Pzdv-7xw" selectedViews="_NNQTQB7AEeuFy6Pzdv-7xw _NNotwB7AEeuFy6Pzdv-7xw _NNsYIB7AEeuFy6Pzdv-7xw _NN3-UB7AEeuFy6Pzdv-7xw" version="14.3.0.201909031200"> | ||
3 | <semanticResources>ecore_no_an.ecore</semanticResources> | ||
4 | <ownedViews xmi:type="viewpoint:DView" uid="_NNQTQB7AEeuFy6Pzdv-7xw"> | ||
5 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> | ||
6 | </ownedViews> | ||
7 | <ownedViews xmi:type="viewpoint:DView" uid="_NNotwB7AEeuFy6Pzdv-7xw"> | ||
8 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/> | ||
9 | </ownedViews> | ||
10 | <ownedViews xmi:type="viewpoint:DView" uid="_NNsYIB7AEeuFy6Pzdv-7xw"> | ||
11 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/> | ||
12 | </ownedViews> | ||
13 | <ownedViews xmi:type="viewpoint:DView" uid="_NN3-UB7AEeuFy6Pzdv-7xw"> | ||
14 | <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/> | ||
15 | </ownedViews> | ||
16 | </viewpoint:DAnalysis> | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.ecore b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.ecore new file mode 100644 index 00000000..88f88be7 --- /dev/null +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/ecore_no_an.ecore | |||
@@ -0,0 +1,967 @@ | |||
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="EAttribute" eSuperTypes="#//EStructuralFeature"> | ||
5 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
6 | <details key="name" value="EAttribute"/> | ||
7 | <details key="kind" value="elementOnly"/> | ||
8 | </eAnnotations> | ||
9 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
10 | <details key="constraints" value="ConsistentTransient"/> | ||
11 | </eAnnotations> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAttributeType" lowerBound="1" | ||
13 | eType="#//EDataType" changeable="false" volatile="true" transient="true" derived="true"> | ||
14 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
15 | <details key="kind" value="attribute"/> | ||
16 | <details key="name" value="eAttributeType"/> | ||
17 | </eAnnotations> | ||
18 | </eStructuralFeatures> | ||
19 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="iD" eType="#//EBoolean"> | ||
20 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
21 | <details key="kind" value="attribute"/> | ||
22 | <details key="name" value="iD"/> | ||
23 | </eAnnotations> | ||
24 | </eStructuralFeatures> | ||
25 | </eClassifiers> | ||
26 | <eClassifiers xsi:type="ecore:EDataType" name="EBigDecimal" instanceClassName="java.math.BigDecimal"> | ||
27 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
28 | <details key="name" value="EBigDecimal"/> | ||
29 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#decimal"/> | ||
30 | </eAnnotations> | ||
31 | </eClassifiers> | ||
32 | <eClassifiers xsi:type="ecore:EDataType" name="EBigInteger" instanceClassName="java.math.BigInteger"> | ||
33 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
34 | <details key="name" value="EBigInteger"/> | ||
35 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#integer"/> | ||
36 | </eAnnotations> | ||
37 | </eClassifiers> | ||
38 | <eClassifiers xsi:type="ecore:EDataType" name="EBoolean" instanceClassName="boolean"> | ||
39 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
40 | <details key="name" value="EBoolean"/> | ||
41 | </eAnnotations> | ||
42 | </eClassifiers> | ||
43 | <eClassifiers xsi:type="ecore:EDataType" name="EBooleanObject" instanceClassName="java.lang.Boolean"> | ||
44 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
45 | <details key="name" value="EBoolean:Object"/> | ||
46 | <details key="baseType" value="EBoolean"/> | ||
47 | </eAnnotations> | ||
48 | </eClassifiers> | ||
49 | <eClassifiers xsi:type="ecore:EDataType" name="EByte" instanceClassName="byte"> | ||
50 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
51 | <details key="name" value="EByte"/> | ||
52 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#byte"/> | ||
53 | </eAnnotations> | ||
54 | </eClassifiers> | ||
55 | <eClassifiers xsi:type="ecore:EDataType" name="EByteArray" instanceClassName="byte[]"> | ||
56 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
57 | <details key="name" value="EByteArray"/> | ||
58 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#hexBinary"/> | ||
59 | </eAnnotations> | ||
60 | </eClassifiers> | ||
61 | <eClassifiers xsi:type="ecore:EDataType" name="EByteObject" instanceClassName="java.lang.Byte"> | ||
62 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
63 | <details key="name" value="EByte:Object"/> | ||
64 | <details key="baseType" value="EByte"/> | ||
65 | </eAnnotations> | ||
66 | </eClassifiers> | ||
67 | <eClassifiers xsi:type="ecore:EDataType" name="EChar" instanceClassName="char"> | ||
68 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
69 | <details key="name" value="EChar"/> | ||
70 | </eAnnotations> | ||
71 | </eClassifiers> | ||
72 | <eClassifiers xsi:type="ecore:EDataType" name="ECharacterObject" instanceClassName="java.lang.Character"> | ||
73 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
74 | <details key="name" value="EChar:Object"/> | ||
75 | <details key="baseType" value="EChar"/> | ||
76 | </eAnnotations> | ||
77 | </eClassifiers> | ||
78 | <eClassifiers xsi:type="ecore:EClass" name="EClass" eSuperTypes="#//EClassifier"> | ||
79 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
80 | <details key="name" value="EClass"/> | ||
81 | <details key="kind" value="elementOnly"/> | ||
82 | </eAnnotations> | ||
83 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
84 | <details key="constraints" value="InterfaceIsAbstract AtMostOneID UniqueFeatureNames UniqueOperationSignatures NoCircularSuperTypes WellFormedMapEntryClass ConsistentSuperTypes DisjointFeatureAndOperationSignatures"/> | ||
85 | </eAnnotations> | ||
86 | <eOperations name="isSuperTypeOf" eType="#//EBoolean"> | ||
87 | <eParameters name="someClass" eType="#//EClass"/> | ||
88 | </eOperations> | ||
89 | <eOperations name="getFeatureCount" eType="#//EInt"/> | ||
90 | <eOperations name="getEStructuralFeature" eType="#//EStructuralFeature"> | ||
91 | <eParameters name="featureID" eType="#//EInt"/> | ||
92 | </eOperations> | ||
93 | <eOperations name="getFeatureID" eType="#//EInt"> | ||
94 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
95 | </eOperations> | ||
96 | <eOperations name="getEStructuralFeature" eType="#//EStructuralFeature"> | ||
97 | <eParameters name="featureName" eType="#//EString"/> | ||
98 | </eOperations> | ||
99 | <eOperations name="getOperationCount" eType="#//EInt"/> | ||
100 | <eOperations name="getEOperation" eType="#//EOperation"> | ||
101 | <eParameters name="operationID" eType="#//EInt"/> | ||
102 | </eOperations> | ||
103 | <eOperations name="getOperationID" eType="#//EInt"> | ||
104 | <eParameters name="operation" eType="#//EOperation"/> | ||
105 | </eOperations> | ||
106 | <eOperations name="getOverride" eType="#//EOperation"> | ||
107 | <eParameters name="operation" eType="#//EOperation"/> | ||
108 | </eOperations> | ||
109 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOperations" upperBound="-1" | ||
110 | eType="#//EOperation" containment="true" resolveProxies="false" eOpposite="#//EOperation/eContainingClass"> | ||
111 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
112 | <details key="kind" value="element"/> | ||
113 | <details key="name" value="eOperations"/> | ||
114 | </eAnnotations> | ||
115 | </eStructuralFeatures> | ||
116 | <eStructuralFeatures xsi:type="ecore:EReference" name="eStructuralFeatures" upperBound="-1" | ||
117 | eType="#//EStructuralFeature" containment="true" resolveProxies="false" eOpposite="#//EStructuralFeature/eContainingClass"> | ||
118 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
119 | <details key="kind" value="element"/> | ||
120 | <details key="name" value="eStructuralFeatures"/> | ||
121 | </eAnnotations> | ||
122 | </eStructuralFeatures> | ||
123 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericSuperTypes" upperBound="-1" | ||
124 | eType="#//EGenericType" unsettable="true" containment="true" resolveProxies="false"> | ||
125 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
126 | <details key="kind" value="element"/> | ||
127 | <details key="name" value="eGenericSuperTypes"/> | ||
128 | </eAnnotations> | ||
129 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
130 | <details key="suppressedIsSetVisibility" value="true"/> | ||
131 | <details key="suppressedUnsetVisibility" value="true"/> | ||
132 | </eAnnotations> | ||
133 | </eStructuralFeatures> | ||
134 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="abstract" eType="#//EBoolean"> | ||
135 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
136 | <details key="kind" value="attribute"/> | ||
137 | <details key="name" value="abstract"/> | ||
138 | </eAnnotations> | ||
139 | </eStructuralFeatures> | ||
140 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllAttributes" upperBound="-1" | ||
141 | eType="#//EAttribute" changeable="false" volatile="true" transient="true" | ||
142 | derived="true"> | ||
143 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
144 | <details key="kind" value="attribute"/> | ||
145 | <details key="name" value="eAllAttributes"/> | ||
146 | </eAnnotations> | ||
147 | </eStructuralFeatures> | ||
148 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllContainments" upperBound="-1" | ||
149 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
150 | derived="true"> | ||
151 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
152 | <details key="kind" value="attribute"/> | ||
153 | <details key="name" value="eAllContainments"/> | ||
154 | </eAnnotations> | ||
155 | </eStructuralFeatures> | ||
156 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllGenericSuperTypes" | ||
157 | upperBound="-1" eType="#//EGenericType" changeable="false" volatile="true" | ||
158 | transient="true" derived="true"> | ||
159 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
160 | <details key="kind" value="attribute"/> | ||
161 | <details key="name" value="eAllGenericSuperTypes"/> | ||
162 | </eAnnotations> | ||
163 | </eStructuralFeatures> | ||
164 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllOperations" upperBound="-1" | ||
165 | eType="#//EOperation" changeable="false" volatile="true" transient="true" | ||
166 | derived="true"> | ||
167 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
168 | <details key="kind" value="attribute"/> | ||
169 | <details key="name" value="eAllOperations"/> | ||
170 | </eAnnotations> | ||
171 | </eStructuralFeatures> | ||
172 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllReferences" upperBound="-1" | ||
173 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
174 | derived="true"> | ||
175 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
176 | <details key="kind" value="attribute"/> | ||
177 | <details key="name" value="eAllReferences"/> | ||
178 | </eAnnotations> | ||
179 | </eStructuralFeatures> | ||
180 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllStructuralFeatures" | ||
181 | upperBound="-1" eType="#//EStructuralFeature" changeable="false" volatile="true" | ||
182 | transient="true" derived="true"> | ||
183 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
184 | <details key="kind" value="attribute"/> | ||
185 | <details key="name" value="eAllStructuralFeatures"/> | ||
186 | </eAnnotations> | ||
187 | </eStructuralFeatures> | ||
188 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAllSuperTypes" upperBound="-1" | ||
189 | eType="#//EClass" changeable="false" volatile="true" transient="true" derived="true"> | ||
190 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
191 | <details key="kind" value="attribute"/> | ||
192 | <details key="name" value="eAllSuperTypes"/> | ||
193 | </eAnnotations> | ||
194 | </eStructuralFeatures> | ||
195 | <eStructuralFeatures xsi:type="ecore:EReference" name="eAttributes" upperBound="-1" | ||
196 | eType="#//EAttribute" changeable="false" volatile="true" transient="true" | ||
197 | derived="true"> | ||
198 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
199 | <details key="kind" value="attribute"/> | ||
200 | <details key="name" value="eAttributes"/> | ||
201 | </eAnnotations> | ||
202 | </eStructuralFeatures> | ||
203 | <eStructuralFeatures xsi:type="ecore:EReference" name="eIDAttribute" eType="#//EAttribute" | ||
204 | changeable="false" volatile="true" transient="true" derived="true" resolveProxies="false"> | ||
205 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
206 | <details key="kind" value="attribute"/> | ||
207 | <details key="name" value="eIDAttribute"/> | ||
208 | </eAnnotations> | ||
209 | </eStructuralFeatures> | ||
210 | <eStructuralFeatures xsi:type="ecore:EReference" name="eReferences" upperBound="-1" | ||
211 | eType="#//EReference" changeable="false" volatile="true" transient="true" | ||
212 | derived="true"> | ||
213 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
214 | <details key="kind" value="attribute"/> | ||
215 | <details key="name" value="eReferences"/> | ||
216 | </eAnnotations> | ||
217 | </eStructuralFeatures> | ||
218 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSuperTypes" upperBound="-1" | ||
219 | eType="#//EClass" unsettable="true"> | ||
220 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
221 | <details key="kind" value="attribute"/> | ||
222 | <details key="name" value="eSuperTypes"/> | ||
223 | </eAnnotations> | ||
224 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
225 | <details key="suppressedIsSetVisibility" value="true"/> | ||
226 | <details key="suppressedUnsetVisibility" value="true"/> | ||
227 | </eAnnotations> | ||
228 | </eStructuralFeatures> | ||
229 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="interface" eType="#//EBoolean"> | ||
230 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
231 | <details key="kind" value="attribute"/> | ||
232 | <details key="name" value="interface"/> | ||
233 | </eAnnotations> | ||
234 | </eStructuralFeatures> | ||
235 | </eClassifiers> | ||
236 | <eClassifiers xsi:type="ecore:EClass" name="EClassifier" abstract="true" eSuperTypes="#//ENamedElement"> | ||
237 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
238 | <details key="name" value="EClassifier"/> | ||
239 | <details key="kind" value="elementOnly"/> | ||
240 | </eAnnotations> | ||
241 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
242 | <details key="constraints" value="WellFormedInstanceTypeName UniqueTypeParameterNames"/> | ||
243 | </eAnnotations> | ||
244 | <eOperations name="isInstance" eType="#//EBoolean"> | ||
245 | <eParameters name="object" eType="#//EJavaObject"/> | ||
246 | </eOperations> | ||
247 | <eOperations name="getClassifierID" eType="#//EInt"/> | ||
248 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameters" upperBound="-1" | ||
249 | eType="#//ETypeParameter" containment="true"> | ||
250 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
251 | <details key="kind" value="element"/> | ||
252 | <details key="name" value="eTypeParameters"/> | ||
253 | </eAnnotations> | ||
254 | </eStructuralFeatures> | ||
255 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValue" eType="#//EJavaObject" | ||
256 | changeable="false" volatile="true" transient="true" derived="true"> | ||
257 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
258 | <details key="kind" value="attribute"/> | ||
259 | <details key="name" value="defaultValue"/> | ||
260 | </eAnnotations> | ||
261 | </eStructuralFeatures> | ||
262 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceClass" changeable="false" | ||
263 | volatile="true" transient="true" derived="true"> | ||
264 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
265 | <details key="kind" value="attribute"/> | ||
266 | <details key="name" value="instanceClass"/> | ||
267 | </eAnnotations> | ||
268 | <eGenericType eClassifier="#//EJavaClass"> | ||
269 | <eTypeArguments/> | ||
270 | </eGenericType> | ||
271 | </eStructuralFeatures> | ||
272 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceClassName" eType="#//EString" | ||
273 | volatile="true" unsettable="true"> | ||
274 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
275 | <details key="kind" value="attribute"/> | ||
276 | <details key="name" value="instanceClassName"/> | ||
277 | </eAnnotations> | ||
278 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
279 | <details key="suppressedIsSetVisibility" value="true"/> | ||
280 | <details key="suppressedUnsetVisibility" value="true"/> | ||
281 | </eAnnotations> | ||
282 | </eStructuralFeatures> | ||
283 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instanceTypeName" eType="#//EString" | ||
284 | volatile="true" unsettable="true"> | ||
285 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
286 | <details key="kind" value="attribute"/> | ||
287 | <details key="name" value="instanceTypeName"/> | ||
288 | </eAnnotations> | ||
289 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
290 | <details key="suppressedIsSetVisibility" value="true"/> | ||
291 | <details key="suppressedUnsetVisibility" value="true"/> | ||
292 | </eAnnotations> | ||
293 | </eStructuralFeatures> | ||
294 | <eStructuralFeatures xsi:type="ecore:EReference" name="ePackage" eType="#//EPackage" | ||
295 | transient="true" eOpposite="#//EPackage/eClassifiers"/> | ||
296 | </eClassifiers> | ||
297 | <eClassifiers xsi:type="ecore:EClass" name="EDataType" eSuperTypes="#//EClassifier"> | ||
298 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
299 | <details key="name" value="EDataType"/> | ||
300 | <details key="kind" value="elementOnly"/> | ||
301 | </eAnnotations> | ||
302 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="serializable" eType="#//EBoolean" | ||
303 | defaultValueLiteral="true"> | ||
304 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
305 | <details key="kind" value="attribute"/> | ||
306 | <details key="name" value="serializable"/> | ||
307 | </eAnnotations> | ||
308 | </eStructuralFeatures> | ||
309 | </eClassifiers> | ||
310 | <eClassifiers xsi:type="ecore:EDataType" name="EDate" instanceClassName="java.util.Date"> | ||
311 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
312 | <details key="name" value="EDate"/> | ||
313 | </eAnnotations> | ||
314 | </eClassifiers> | ||
315 | <eClassifiers xsi:type="ecore:EDataType" name="EDiagnosticChain" instanceClassName="org.eclipse.emf.common.util.DiagnosticChain" | ||
316 | serializable="false"> | ||
317 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
318 | <details key="name" value="EDiagnosticChain"/> | ||
319 | </eAnnotations> | ||
320 | </eClassifiers> | ||
321 | <eClassifiers xsi:type="ecore:EDataType" name="EDouble" instanceClassName="double"> | ||
322 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
323 | <details key="name" value="EDouble"/> | ||
324 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#double"/> | ||
325 | </eAnnotations> | ||
326 | </eClassifiers> | ||
327 | <eClassifiers xsi:type="ecore:EDataType" name="EDoubleObject" instanceClassName="java.lang.Double"> | ||
328 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
329 | <details key="name" value="EDouble:Object"/> | ||
330 | <details key="baseType" value="EDouble"/> | ||
331 | </eAnnotations> | ||
332 | </eClassifiers> | ||
333 | <eClassifiers xsi:type="ecore:EDataType" name="EEList" instanceClassName="org.eclipse.emf.common.util.EList" | ||
334 | serializable="false"> | ||
335 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
336 | <details key="name" value="EEList"/> | ||
337 | </eAnnotations> | ||
338 | <eTypeParameters name="E"/> | ||
339 | </eClassifiers> | ||
340 | <eClassifiers xsi:type="ecore:EClass" name="EEnum" eSuperTypes="#//EDataType"> | ||
341 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
342 | <details key="name" value="EEnum"/> | ||
343 | <details key="kind" value="elementOnly"/> | ||
344 | </eAnnotations> | ||
345 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
346 | <details key="constraints" value="UniqueEnumeratorNames UniqueEnumeratorLiterals"/> | ||
347 | </eAnnotations> | ||
348 | <eOperations name="getEEnumLiteral" eType="#//EEnumLiteral"> | ||
349 | <eParameters name="name" eType="#//EString"/> | ||
350 | </eOperations> | ||
351 | <eOperations name="getEEnumLiteral" eType="#//EEnumLiteral"> | ||
352 | <eParameters name="value" eType="#//EInt"/> | ||
353 | </eOperations> | ||
354 | <eOperations name="getEEnumLiteralByLiteral" eType="#//EEnumLiteral"> | ||
355 | <eParameters name="literal" eType="#//EString"/> | ||
356 | </eOperations> | ||
357 | <eStructuralFeatures xsi:type="ecore:EReference" name="eLiterals" upperBound="-1" | ||
358 | eType="#//EEnumLiteral" containment="true" resolveProxies="false" eOpposite="#//EEnumLiteral/eEnum"> | ||
359 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
360 | <details key="kind" value="element"/> | ||
361 | <details key="name" value="eLiterals"/> | ||
362 | </eAnnotations> | ||
363 | </eStructuralFeatures> | ||
364 | </eClassifiers> | ||
365 | <eClassifiers xsi:type="ecore:EDataType" name="EEnumerator" instanceClassName="org.eclipse.emf.common.util.Enumerator" | ||
366 | serializable="false"> | ||
367 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
368 | <details key="name" value="EEnumerator"/> | ||
369 | </eAnnotations> | ||
370 | </eClassifiers> | ||
371 | <eClassifiers xsi:type="ecore:EClass" name="EEnumLiteral" eSuperTypes="#//ENamedElement"> | ||
372 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
373 | <details key="name" value="EEnumLiteral"/> | ||
374 | <details key="kind" value="elementOnly"/> | ||
375 | </eAnnotations> | ||
376 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="instance" eType="#//EEnumerator" | ||
377 | transient="true"> | ||
378 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
379 | <details key="kind" value="attribute"/> | ||
380 | <details key="name" value="instance"/> | ||
381 | </eAnnotations> | ||
382 | </eStructuralFeatures> | ||
383 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="literal" eType="#//EString"> | ||
384 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
385 | <details key="kind" value="attribute"/> | ||
386 | <details key="name" value="literal"/> | ||
387 | </eAnnotations> | ||
388 | </eStructuralFeatures> | ||
389 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//EInt"> | ||
390 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
391 | <details key="kind" value="attribute"/> | ||
392 | <details key="name" value="value"/> | ||
393 | </eAnnotations> | ||
394 | </eStructuralFeatures> | ||
395 | <eStructuralFeatures xsi:type="ecore:EReference" name="eEnum" eType="#//EEnum" | ||
396 | transient="true" eOpposite="#//EEnum/eLiterals"/> | ||
397 | </eClassifiers> | ||
398 | <eClassifiers xsi:type="ecore:EClass" name="EFactory" eSuperTypes="#//EModelElement"> | ||
399 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
400 | <details key="name" value="EFactory"/> | ||
401 | <details key="kind" value="elementOnly"/> | ||
402 | </eAnnotations> | ||
403 | <eOperations name="create" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"> | ||
404 | <eParameters name="eClass" eType="#//EClass"/> | ||
405 | </eOperations> | ||
406 | <eOperations name="createFromString" eType="#//EJavaObject"> | ||
407 | <eParameters name="eDataType" eType="#//EDataType"/> | ||
408 | <eParameters name="literalValue" eType="#//EString"/> | ||
409 | </eOperations> | ||
410 | <eOperations name="convertToString" eType="#//EString"> | ||
411 | <eParameters name="eDataType" eType="#//EDataType"/> | ||
412 | <eParameters name="instanceValue" eType="#//EJavaObject"/> | ||
413 | </eOperations> | ||
414 | <eStructuralFeatures xsi:type="ecore:EReference" name="ePackage" lowerBound="1" | ||
415 | eType="#//EPackage" transient="true" resolveProxies="false"> | ||
416 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
417 | <details key="kind" value="attribute"/> | ||
418 | <details key="name" value="ePackage"/> | ||
419 | </eAnnotations> | ||
420 | </eStructuralFeatures> | ||
421 | </eClassifiers> | ||
422 | <eClassifiers xsi:type="ecore:EDataType" name="EFeatureMap" instanceClassName="org.eclipse.emf.ecore.util.FeatureMap" | ||
423 | serializable="false"> | ||
424 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
425 | <details key="name" value="EFeatureMap"/> | ||
426 | </eAnnotations> | ||
427 | </eClassifiers> | ||
428 | <eClassifiers xsi:type="ecore:EDataType" name="EFeatureMapEntry" instanceClassName="org.eclipse.emf.ecore.util.FeatureMap$Entry" | ||
429 | serializable="false"> | ||
430 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
431 | <details key="name" value="EFeatureMapEntry"/> | ||
432 | </eAnnotations> | ||
433 | </eClassifiers> | ||
434 | <eClassifiers xsi:type="ecore:EDataType" name="EFloat" instanceClassName="float"> | ||
435 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
436 | <details key="name" value="EFloat"/> | ||
437 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#float"/> | ||
438 | </eAnnotations> | ||
439 | </eClassifiers> | ||
440 | <eClassifiers xsi:type="ecore:EDataType" name="EFloatObject" instanceClassName="java.lang.Float"> | ||
441 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
442 | <details key="name" value="EFloat:Object"/> | ||
443 | <details key="baseType" value="EFloat"/> | ||
444 | </eAnnotations> | ||
445 | </eClassifiers> | ||
446 | <eClassifiers xsi:type="ecore:EClass" name="EGenericType"> | ||
447 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
448 | <details key="name" value="EGenericType"/> | ||
449 | <details key="kind" value="elementOnly"/> | ||
450 | </eAnnotations> | ||
451 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
452 | <details key="constraints" value="ConsistentType ConsistentBounds ConsistentArguments"/> | ||
453 | </eAnnotations> | ||
454 | <eStructuralFeatures xsi:type="ecore:EReference" name="eUpperBound" eType="#//EGenericType" | ||
455 | containment="true" resolveProxies="false"> | ||
456 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
457 | <details key="kind" value="element"/> | ||
458 | <details key="name" value="eUpperBound"/> | ||
459 | </eAnnotations> | ||
460 | </eStructuralFeatures> | ||
461 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeArguments" upperBound="-1" | ||
462 | eType="#//EGenericType" containment="true" resolveProxies="false"> | ||
463 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
464 | <details key="kind" value="element"/> | ||
465 | <details key="name" value="eTypeArguments"/> | ||
466 | </eAnnotations> | ||
467 | </eStructuralFeatures> | ||
468 | <eStructuralFeatures xsi:type="ecore:EReference" name="eLowerBound" eType="#//EGenericType" | ||
469 | containment="true" resolveProxies="false"> | ||
470 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
471 | <details key="kind" value="element"/> | ||
472 | <details key="name" value="eLowerBound"/> | ||
473 | </eAnnotations> | ||
474 | </eStructuralFeatures> | ||
475 | <eStructuralFeatures xsi:type="ecore:EReference" name="eClassifier" eType="#//EClassifier"> | ||
476 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
477 | <details key="kind" value="attribute"/> | ||
478 | <details key="name" value="eClassifier"/> | ||
479 | </eAnnotations> | ||
480 | </eStructuralFeatures> | ||
481 | <eStructuralFeatures xsi:type="ecore:EReference" name="eRawType" lowerBound="1" | ||
482 | eType="#//EClassifier" changeable="false" transient="true" derived="true"> | ||
483 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
484 | <details key="kind" value="attribute"/> | ||
485 | <details key="name" value="eRawType"/> | ||
486 | </eAnnotations> | ||
487 | </eStructuralFeatures> | ||
488 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameter" eType="#//ETypeParameter" | ||
489 | resolveProxies="false"> | ||
490 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
491 | <details key="kind" value="attribute"/> | ||
492 | <details key="name" value="eTypeParameter"/> | ||
493 | </eAnnotations> | ||
494 | </eStructuralFeatures> | ||
495 | </eClassifiers> | ||
496 | <eClassifiers xsi:type="ecore:EDataType" name="EInt" instanceClassName="int"> | ||
497 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
498 | <details key="name" value="EInt"/> | ||
499 | </eAnnotations> | ||
500 | </eClassifiers> | ||
501 | <eClassifiers xsi:type="ecore:EDataType" name="EIntegerObject" instanceClassName="java.lang.Integer"> | ||
502 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
503 | <details key="name" value="EInt:Object"/> | ||
504 | <details key="baseType" value="EInt"/> | ||
505 | </eAnnotations> | ||
506 | </eClassifiers> | ||
507 | <eClassifiers xsi:type="ecore:EDataType" name="EInvocationTargetException" instanceClassName="java.lang.reflect.InvocationTargetException" | ||
508 | serializable="false"> | ||
509 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
510 | <details key="name" value="EInvocationTargetException"/> | ||
511 | </eAnnotations> | ||
512 | </eClassifiers> | ||
513 | <eClassifiers xsi:type="ecore:EDataType" name="EJavaClass" instanceClassName="java.lang.Class"> | ||
514 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
515 | <details key="name" value="EJavaClass"/> | ||
516 | </eAnnotations> | ||
517 | <eTypeParameters name="T"/> | ||
518 | </eClassifiers> | ||
519 | <eClassifiers xsi:type="ecore:EDataType" name="EJavaObject" instanceClassName="java.lang.Object"> | ||
520 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
521 | <details key="name" value="EJavaObject"/> | ||
522 | </eAnnotations> | ||
523 | </eClassifiers> | ||
524 | <eClassifiers xsi:type="ecore:EDataType" name="ELong" instanceClassName="long"> | ||
525 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
526 | <details key="name" value="ELong"/> | ||
527 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#long"/> | ||
528 | </eAnnotations> | ||
529 | </eClassifiers> | ||
530 | <eClassifiers xsi:type="ecore:EDataType" name="ELongObject" instanceClassName="java.lang.Long"> | ||
531 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
532 | <details key="name" value="ELong:Object"/> | ||
533 | <details key="baseType" value="ELong"/> | ||
534 | </eAnnotations> | ||
535 | </eClassifiers> | ||
536 | <eClassifiers xsi:type="ecore:EDataType" name="EMap" instanceClassName="java.util.Map" | ||
537 | serializable="false"> | ||
538 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
539 | <details key="name" value="EMap"/> | ||
540 | </eAnnotations> | ||
541 | <eTypeParameters name="K"/> | ||
542 | <eTypeParameters name="V"/> | ||
543 | </eClassifiers> | ||
544 | <eClassifiers xsi:type="ecore:EClass" name="EModelElement" abstract="true"> | ||
545 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
546 | <details key="name" value="EModelElement"/> | ||
547 | <details key="kind" value="elementOnly"/> | ||
548 | </eAnnotations> | ||
549 | </eClassifiers> | ||
550 | <eClassifiers xsi:type="ecore:EClass" name="ENamedElement" abstract="true" eSuperTypes="#//EModelElement"> | ||
551 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
552 | <details key="name" value="ENamedElement"/> | ||
553 | <details key="kind" value="elementOnly"/> | ||
554 | </eAnnotations> | ||
555 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
556 | <details key="constraints" value="WellFormedName"/> | ||
557 | </eAnnotations> | ||
558 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="#//EString"> | ||
559 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
560 | <details key="kind" value="attribute"/> | ||
561 | <details key="name" value="name"/> | ||
562 | </eAnnotations> | ||
563 | </eStructuralFeatures> | ||
564 | </eClassifiers> | ||
565 | <eClassifiers xsi:type="ecore:EClass" name="EObject"> | ||
566 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
567 | <details key="name" value="EObject"/> | ||
568 | <details key="kind" value="empty"/> | ||
569 | </eAnnotations> | ||
570 | <eOperations name="eClass" eType="#//EClass"/> | ||
571 | <eOperations name="eIsProxy" eType="#//EBoolean"/> | ||
572 | <eOperations name="eResource" eType="#//EResource"/> | ||
573 | <eOperations name="eContainer" eType="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
574 | <eOperations name="eContainingFeature" eType="#//EStructuralFeature"/> | ||
575 | <eOperations name="eContainmentFeature" eType="#//EReference"/> | ||
576 | <eOperations name="eContents"> | ||
577 | <eGenericType eClassifier="#//EEList"> | ||
578 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
579 | </eGenericType> | ||
580 | </eOperations> | ||
581 | <eOperations name="eAllContents"> | ||
582 | <eGenericType eClassifier="#//ETreeIterator"> | ||
583 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
584 | </eGenericType> | ||
585 | </eOperations> | ||
586 | <eOperations name="eCrossReferences"> | ||
587 | <eGenericType eClassifier="#//EEList"> | ||
588 | <eTypeArguments eClassifier="ecore:EClass http://www.eclipse.org/emf/2002/Ecore#//EObject"/> | ||
589 | </eGenericType> | ||
590 | </eOperations> | ||
591 | <eOperations name="eGet" eType="#//EJavaObject"> | ||
592 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
593 | </eOperations> | ||
594 | <eOperations name="eGet" eType="#//EJavaObject"> | ||
595 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
596 | <eParameters name="resolve" eType="#//EBoolean"/> | ||
597 | </eOperations> | ||
598 | <eOperations name="eSet"> | ||
599 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
600 | <eParameters name="newValue" eType="#//EJavaObject"/> | ||
601 | </eOperations> | ||
602 | <eOperations name="eIsSet" eType="#//EBoolean"> | ||
603 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
604 | </eOperations> | ||
605 | <eOperations name="eUnset"> | ||
606 | <eParameters name="feature" eType="#//EStructuralFeature"/> | ||
607 | </eOperations> | ||
608 | <eOperations name="eInvoke" eType="#//EJavaObject" eExceptions="#//EInvocationTargetException"> | ||
609 | <eParameters name="operation" eType="#//EOperation"/> | ||
610 | <eParameters name="arguments"> | ||
611 | <eGenericType eClassifier="#//EEList"> | ||
612 | <eTypeArguments/> | ||
613 | </eGenericType> | ||
614 | </eParameters> | ||
615 | </eOperations> | ||
616 | </eClassifiers> | ||
617 | <eClassifiers xsi:type="ecore:EClass" name="EOperation" eSuperTypes="#//ETypedElement"> | ||
618 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
619 | <details key="name" value="EOperation"/> | ||
620 | <details key="kind" value="elementOnly"/> | ||
621 | </eAnnotations> | ||
622 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
623 | <details key="constraints" value="UniqueParameterNames UniqueTypeParameterNames NoRepeatingVoid"/> | ||
624 | </eAnnotations> | ||
625 | <eOperations name="getOperationID" eType="#//EInt"/> | ||
626 | <eOperations name="isOverrideOf" eType="#//EBoolean"> | ||
627 | <eParameters name="someOperation" eType="#//EOperation"/> | ||
628 | </eOperations> | ||
629 | <eStructuralFeatures xsi:type="ecore:EReference" name="eTypeParameters" upperBound="-1" | ||
630 | eType="#//ETypeParameter" containment="true"> | ||
631 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
632 | <details key="kind" value="element"/> | ||
633 | <details key="name" value="eTypeParameters"/> | ||
634 | </eAnnotations> | ||
635 | </eStructuralFeatures> | ||
636 | <eStructuralFeatures xsi:type="ecore:EReference" name="eParameters" upperBound="-1" | ||
637 | eType="#//EParameter" containment="true" resolveProxies="false" eOpposite="#//EParameter/eOperation"> | ||
638 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
639 | <details key="kind" value="element"/> | ||
640 | <details key="name" value="eParameters"/> | ||
641 | </eAnnotations> | ||
642 | </eStructuralFeatures> | ||
643 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericExceptions" upperBound="-1" | ||
644 | eType="#//EGenericType" unsettable="true" containment="true" resolveProxies="false"> | ||
645 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
646 | <details key="kind" value="element"/> | ||
647 | <details key="name" value="eGenericExceptions"/> | ||
648 | </eAnnotations> | ||
649 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
650 | <details key="suppressedIsSetVisibility" value="true"/> | ||
651 | <details key="suppressedUnsetVisibility" value="true"/> | ||
652 | </eAnnotations> | ||
653 | </eStructuralFeatures> | ||
654 | <eStructuralFeatures xsi:type="ecore:EReference" name="eExceptions" upperBound="-1" | ||
655 | eType="#//EClassifier" unsettable="true"> | ||
656 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
657 | <details key="kind" value="attribute"/> | ||
658 | <details key="name" value="eExceptions"/> | ||
659 | </eAnnotations> | ||
660 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
661 | <details key="suppressedIsSetVisibility" value="true"/> | ||
662 | <details key="suppressedUnsetVisibility" value="true"/> | ||
663 | </eAnnotations> | ||
664 | </eStructuralFeatures> | ||
665 | <eStructuralFeatures xsi:type="ecore:EReference" name="eContainingClass" eType="#//EClass" | ||
666 | transient="true" eOpposite="#//EClass/eOperations"/> | ||
667 | </eClassifiers> | ||
668 | <eClassifiers xsi:type="ecore:EClass" name="EPackage" eSuperTypes="#//ENamedElement"> | ||
669 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
670 | <details key="name" value="EPackage"/> | ||
671 | <details key="kind" value="elementOnly"/> | ||
672 | </eAnnotations> | ||
673 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
674 | <details key="constraints" value="WellFormedNsURI WellFormedNsPrefix UniqueSubpackageNames UniqueClassifierNames UniqueNsURIs"/> | ||
675 | </eAnnotations> | ||
676 | <eOperations name="getEClassifier" eType="#//EClassifier"> | ||
677 | <eParameters name="name" eType="#//EString"/> | ||
678 | </eOperations> | ||
679 | <eStructuralFeatures xsi:type="ecore:EReference" name="eClassifiers" upperBound="-1" | ||
680 | eType="#//EClassifier" containment="true" eOpposite="#//EClassifier/ePackage"> | ||
681 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
682 | <details key="kind" value="element"/> | ||
683 | <details key="name" value="eClassifiers"/> | ||
684 | </eAnnotations> | ||
685 | </eStructuralFeatures> | ||
686 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSubpackages" upperBound="-1" | ||
687 | eType="#//EPackage" containment="true" eOpposite="#//EPackage/eSuperPackage"> | ||
688 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
689 | <details key="kind" value="element"/> | ||
690 | <details key="name" value="eSubpackages"/> | ||
691 | </eAnnotations> | ||
692 | </eStructuralFeatures> | ||
693 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="nsPrefix" eType="#//EString"> | ||
694 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
695 | <details key="kind" value="attribute"/> | ||
696 | <details key="name" value="nsPrefix"/> | ||
697 | </eAnnotations> | ||
698 | </eStructuralFeatures> | ||
699 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="nsURI" eType="#//EString"> | ||
700 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
701 | <details key="kind" value="attribute"/> | ||
702 | <details key="name" value="nsURI"/> | ||
703 | </eAnnotations> | ||
704 | </eStructuralFeatures> | ||
705 | <eStructuralFeatures xsi:type="ecore:EReference" name="eSuperPackage" eType="#//EPackage" | ||
706 | transient="true" eOpposite="#//EPackage/eSubpackages"/> | ||
707 | </eClassifiers> | ||
708 | <eClassifiers xsi:type="ecore:EClass" name="EParameter" eSuperTypes="#//ETypedElement"> | ||
709 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
710 | <details key="name" value="EParameter"/> | ||
711 | <details key="kind" value="elementOnly"/> | ||
712 | </eAnnotations> | ||
713 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOperation" eType="#//EOperation" | ||
714 | transient="true" eOpposite="#//EOperation/eParameters"/> | ||
715 | </eClassifiers> | ||
716 | <eClassifiers xsi:type="ecore:EClass" name="EReference" eSuperTypes="#//EStructuralFeature"> | ||
717 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
718 | <details key="name" value="EReference"/> | ||
719 | <details key="kind" value="elementOnly"/> | ||
720 | </eAnnotations> | ||
721 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
722 | <details key="constraints" value="ConsistentOpposite SingleContainer ConsistentKeys ConsistentUnique ConsistentContainer"/> | ||
723 | </eAnnotations> | ||
724 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="container" eType="#//EBoolean" | ||
725 | changeable="false" volatile="true" transient="true" derived="true"> | ||
726 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
727 | <details key="kind" value="attribute"/> | ||
728 | <details key="name" value="container"/> | ||
729 | </eAnnotations> | ||
730 | </eStructuralFeatures> | ||
731 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="containment" eType="#//EBoolean"> | ||
732 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
733 | <details key="kind" value="attribute"/> | ||
734 | <details key="name" value="containment"/> | ||
735 | </eAnnotations> | ||
736 | </eStructuralFeatures> | ||
737 | <eStructuralFeatures xsi:type="ecore:EReference" name="eKeys" upperBound="-1" | ||
738 | eType="#//EAttribute"> | ||
739 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
740 | <details key="kind" value="attribute"/> | ||
741 | <details key="name" value="eKeys"/> | ||
742 | </eAnnotations> | ||
743 | </eStructuralFeatures> | ||
744 | <eStructuralFeatures xsi:type="ecore:EReference" name="eOpposite" eType="#//EReference"> | ||
745 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
746 | <details key="kind" value="attribute"/> | ||
747 | <details key="name" value="eOpposite"/> | ||
748 | </eAnnotations> | ||
749 | </eStructuralFeatures> | ||
750 | <eStructuralFeatures xsi:type="ecore:EReference" name="eReferenceType" lowerBound="1" | ||
751 | eType="#//EClass" changeable="false" volatile="true" transient="true" derived="true"> | ||
752 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
753 | <details key="kind" value="attribute"/> | ||
754 | <details key="name" value="eReferenceType"/> | ||
755 | </eAnnotations> | ||
756 | </eStructuralFeatures> | ||
757 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="resolveProxies" eType="#//EBoolean" | ||
758 | defaultValueLiteral="true"> | ||
759 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
760 | <details key="kind" value="attribute"/> | ||
761 | <details key="name" value="resolveProxies"/> | ||
762 | </eAnnotations> | ||
763 | </eStructuralFeatures> | ||
764 | </eClassifiers> | ||
765 | <eClassifiers xsi:type="ecore:EDataType" name="EResource" instanceClassName="org.eclipse.emf.ecore.resource.Resource" | ||
766 | serializable="false"> | ||
767 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
768 | <details key="name" value="EResource"/> | ||
769 | </eAnnotations> | ||
770 | </eClassifiers> | ||
771 | <eClassifiers xsi:type="ecore:EDataType" name="EResourceSet" instanceClassName="org.eclipse.emf.ecore.resource.ResourceSet" | ||
772 | serializable="false"> | ||
773 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
774 | <details key="name" value="EResourceSet"/> | ||
775 | </eAnnotations> | ||
776 | </eClassifiers> | ||
777 | <eClassifiers xsi:type="ecore:EDataType" name="EShort" instanceClassName="short"> | ||
778 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
779 | <details key="name" value="EShort"/> | ||
780 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#short"/> | ||
781 | </eAnnotations> | ||
782 | </eClassifiers> | ||
783 | <eClassifiers xsi:type="ecore:EDataType" name="EShortObject" instanceClassName="java.lang.Short"> | ||
784 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
785 | <details key="name" value="EShort:Object"/> | ||
786 | <details key="baseType" value="EShort"/> | ||
787 | </eAnnotations> | ||
788 | </eClassifiers> | ||
789 | <eClassifiers xsi:type="ecore:EDataType" name="EString" instanceClassName="java.lang.String"> | ||
790 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
791 | <details key="name" value="EString"/> | ||
792 | <details key="baseType" value="http://www.eclipse.org/emf/2003/XMLType#string"/> | ||
793 | </eAnnotations> | ||
794 | </eClassifiers> | ||
795 | <eClassifiers xsi:type="ecore:EClass" name="EStringToStringMapEntry" instanceClassName="java.util.Map$Entry"> | ||
796 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
797 | <details key="name" value="EStringToStringMapEntry"/> | ||
798 | <details key="kind" value="empty"/> | ||
799 | </eAnnotations> | ||
800 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="key" eType="#//EString"> | ||
801 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
802 | <details key="kind" value="attribute"/> | ||
803 | <details key="name" value="key"/> | ||
804 | </eAnnotations> | ||
805 | </eStructuralFeatures> | ||
806 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="#//EString"> | ||
807 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
808 | <details key="kind" value="attribute"/> | ||
809 | <details key="name" value="value"/> | ||
810 | </eAnnotations> | ||
811 | </eStructuralFeatures> | ||
812 | </eClassifiers> | ||
813 | <eClassifiers xsi:type="ecore:EClass" name="EStructuralFeature" abstract="true" | ||
814 | eSuperTypes="#//ETypedElement"> | ||
815 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
816 | <details key="name" value="EStructuralFeature"/> | ||
817 | <details key="kind" value="elementOnly"/> | ||
818 | </eAnnotations> | ||
819 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
820 | <details key="constraints" value="ValidDefaultValueLiteral"/> | ||
821 | </eAnnotations> | ||
822 | <eOperations name="getFeatureID" eType="#//EInt"/> | ||
823 | <eOperations name="getContainerClass"> | ||
824 | <eGenericType eClassifier="#//EJavaClass"> | ||
825 | <eTypeArguments/> | ||
826 | </eGenericType> | ||
827 | </eOperations> | ||
828 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="changeable" eType="#//EBoolean" | ||
829 | defaultValueLiteral="true"> | ||
830 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
831 | <details key="kind" value="attribute"/> | ||
832 | <details key="name" value="changeable"/> | ||
833 | </eAnnotations> | ||
834 | </eStructuralFeatures> | ||
835 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValue" eType="#//EJavaObject" | ||
836 | changeable="false" volatile="true" transient="true" derived="true"> | ||
837 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
838 | <details key="kind" value="attribute"/> | ||
839 | <details key="name" value="defaultValue"/> | ||
840 | </eAnnotations> | ||
841 | </eStructuralFeatures> | ||
842 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="defaultValueLiteral" eType="#//EString"> | ||
843 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
844 | <details key="kind" value="attribute"/> | ||
845 | <details key="name" value="defaultValueLiteral"/> | ||
846 | </eAnnotations> | ||
847 | </eStructuralFeatures> | ||
848 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="derived" eType="#//EBoolean"> | ||
849 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
850 | <details key="kind" value="attribute"/> | ||
851 | <details key="name" value="derived"/> | ||
852 | </eAnnotations> | ||
853 | </eStructuralFeatures> | ||
854 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="transient" eType="#//EBoolean"> | ||
855 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
856 | <details key="kind" value="attribute"/> | ||
857 | <details key="name" value="transient"/> | ||
858 | </eAnnotations> | ||
859 | </eStructuralFeatures> | ||
860 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="unsettable" eType="#//EBoolean"> | ||
861 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
862 | <details key="kind" value="attribute"/> | ||
863 | <details key="name" value="unsettable"/> | ||
864 | </eAnnotations> | ||
865 | </eStructuralFeatures> | ||
866 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="volatile" eType="#//EBoolean"> | ||
867 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
868 | <details key="kind" value="attribute"/> | ||
869 | <details key="name" value="volatile"/> | ||
870 | </eAnnotations> | ||
871 | </eStructuralFeatures> | ||
872 | <eStructuralFeatures xsi:type="ecore:EReference" name="eContainingClass" eType="#//EClass" | ||
873 | transient="true" eOpposite="#//EClass/eStructuralFeatures"/> | ||
874 | </eClassifiers> | ||
875 | <eClassifiers xsi:type="ecore:EDataType" name="ETreeIterator" instanceClassName="org.eclipse.emf.common.util.TreeIterator" | ||
876 | serializable="false"> | ||
877 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
878 | <details key="name" value="ETreeIterator"/> | ||
879 | </eAnnotations> | ||
880 | <eTypeParameters name="E"/> | ||
881 | </eClassifiers> | ||
882 | <eClassifiers xsi:type="ecore:EClass" name="ETypedElement" abstract="true" eSuperTypes="#//ENamedElement"> | ||
883 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
884 | <details key="name" value="ETypedElement"/> | ||
885 | <details key="kind" value="elementOnly"/> | ||
886 | </eAnnotations> | ||
887 | <eAnnotations source="http://www.eclipse.org/emf/2002/Ecore"> | ||
888 | <details key="constraints" value="ValidLowerBound ValidUpperBound ConsistentBounds ValidType"/> | ||
889 | </eAnnotations> | ||
890 | <eStructuralFeatures xsi:type="ecore:EReference" name="eGenericType" eType="#//EGenericType" | ||
891 | volatile="true" unsettable="true" containment="true" resolveProxies="false"> | ||
892 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
893 | <details key="kind" value="element"/> | ||
894 | <details key="name" value="eGenericType"/> | ||
895 | </eAnnotations> | ||
896 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
897 | <details key="suppressedIsSetVisibility" value="true"/> | ||
898 | <details key="suppressedUnsetVisibility" value="true"/> | ||
899 | </eAnnotations> | ||
900 | </eStructuralFeatures> | ||
901 | <eStructuralFeatures xsi:type="ecore:EReference" name="eType" eType="#//EClassifier" | ||
902 | volatile="true" unsettable="true"> | ||
903 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
904 | <details key="kind" value="attribute"/> | ||
905 | <details key="name" value="eType"/> | ||
906 | </eAnnotations> | ||
907 | <eAnnotations source="http://www.eclipse.org/emf/2002/GenModel"> | ||
908 | <details key="suppressedIsSetVisibility" value="true"/> | ||
909 | <details key="suppressedUnsetVisibility" value="true"/> | ||
910 | </eAnnotations> | ||
911 | </eStructuralFeatures> | ||
912 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="lowerBound" eType="#//EInt"> | ||
913 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
914 | <details key="kind" value="attribute"/> | ||
915 | <details key="name" value="lowerBound"/> | ||
916 | </eAnnotations> | ||
917 | </eStructuralFeatures> | ||
918 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="many" eType="#//EBoolean" | ||
919 | changeable="false" volatile="true" transient="true" derived="true"> | ||
920 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
921 | <details key="kind" value="attribute"/> | ||
922 | <details key="name" value="many"/> | ||
923 | </eAnnotations> | ||
924 | </eStructuralFeatures> | ||
925 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="ordered" eType="#//EBoolean" | ||
926 | defaultValueLiteral="true"> | ||
927 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
928 | <details key="kind" value="attribute"/> | ||
929 | <details key="name" value="ordered"/> | ||
930 | </eAnnotations> | ||
931 | </eStructuralFeatures> | ||
932 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="required" eType="#//EBoolean" | ||
933 | changeable="false" volatile="true" transient="true" derived="true"> | ||
934 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
935 | <details key="kind" value="attribute"/> | ||
936 | <details key="name" value="required"/> | ||
937 | </eAnnotations> | ||
938 | </eStructuralFeatures> | ||
939 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="unique" eType="#//EBoolean" | ||
940 | defaultValueLiteral="true"> | ||
941 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
942 | <details key="kind" value="attribute"/> | ||
943 | <details key="name" value="unique"/> | ||
944 | </eAnnotations> | ||
945 | </eStructuralFeatures> | ||
946 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="upperBound" eType="#//EInt" | ||
947 | defaultValueLiteral="1"> | ||
948 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
949 | <details key="kind" value="attribute"/> | ||
950 | <details key="name" value="upperBound"/> | ||
951 | </eAnnotations> | ||
952 | </eStructuralFeatures> | ||
953 | </eClassifiers> | ||
954 | <eClassifiers xsi:type="ecore:EClass" name="ETypeParameter" eSuperTypes="#//ENamedElement"> | ||
955 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
956 | <details key="name" value="ETypeParameter"/> | ||
957 | <details key="kind" value="elementOnly"/> | ||
958 | </eAnnotations> | ||
959 | <eStructuralFeatures xsi:type="ecore:EReference" name="eBounds" upperBound="-1" | ||
960 | eType="#//EGenericType" containment="true" resolveProxies="false"> | ||
961 | <eAnnotations source="http:///org/eclipse/emf/ecore/util/ExtendedMetaData"> | ||
962 | <details key="kind" value="element"/> | ||
963 | <details key="name" value="eBounds"/> | ||
964 | </eAnnotations> | ||
965 | </eStructuralFeatures> | ||
966 | </eClassifiers> | ||
967 | </ecore:EPackage> | ||
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/app/Main.xtend b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/app/Main.xtend index dfde6593..8d936a88 100644 --- a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/app/Main.xtend +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/app/Main.xtend | |||
@@ -16,11 +16,13 @@ import org.eclipse.emf.ecore.EReference | |||
16 | //import yakindumm2.impl.Yakindumm2PackageImpl | 16 | //import yakindumm2.impl.Yakindumm2PackageImpl |
17 | 17 | ||
18 | class Main { | 18 | class Main { |
19 | var static Domain d = Domain.Yakindumm; | 19 | var static Domain d = Domain.Ecore; |
20 | val static String suffix = '.xmi' | 20 | val static String suffix = '.xmi' |
21 | val static String OUTPUT_FOLDER = "Inputs/measurement2/yakindu/Alloy/"; | 21 | val static String OUTPUT_FOLDER = "Inputs/random/ecore/"; |
22 | val static String INPUT_FOLDER = "outputs/measurement2/yakindu/Alloy/"; | 22 | val static String INPUT_FOLDER = "outputs/random/ecore/"; |
23 | val static int NUM_RUNS = 1; | 23 | val static int NUM_RUNS = 1; |
24 | var static validFiles = 0; | ||
25 | var static totalFiles = 0; | ||
24 | 26 | ||
25 | static class RWInformation{ | 27 | static class RWInformation{ |
26 | public var String inputFolder; | 28 | public var String inputFolder; |
@@ -56,6 +58,7 @@ class Main { | |||
56 | 58 | ||
57 | val models = new RWInformation(OUTPUT_FOLDER, INPUT_FOLDER, NUM_RUNS); | 59 | val models = new RWInformation(OUTPUT_FOLDER, INPUT_FOLDER, NUM_RUNS); |
58 | calculateAllModels(models.inputFolder, models.outputFolder,models.numRuns, reader); | 60 | calculateAllModels(models.inputFolder, models.outputFolder,models.numRuns, reader); |
61 | println("Valid File Ratio: " + (validFiles as double) / totalFiles) | ||
59 | println("finished"); | 62 | println("finished"); |
60 | } | 63 | } |
61 | 64 | ||
@@ -88,7 +91,10 @@ class Main { | |||
88 | 91 | ||
89 | var outputs = model.evaluateAllMetrics(); | 92 | var outputs = model.evaluateAllMetrics(); |
90 | var violations = ViolationCheck.calculateViolationCounts(model.root, d); | 93 | var violations = ViolationCheck.calculateViolationCounts(model.root, d); |
91 | println(violations); | 94 | if (violations == 0) { |
95 | validFiles += 1; | ||
96 | } | ||
97 | totalFiles += 1; | ||
92 | var violationsOutput = newArrayList('violations', violations+''); | 98 | var violationsOutput = newArrayList('violations', violations+''); |
93 | outputs.add(violationsOutput); | 99 | outputs.add(violationsOutput); |
94 | CsvFileWriter.write(outputs, fileName); | 100 | CsvFileWriter.write(outputs, fileName); |
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/distance/KSDistance.xtend b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/distance/KSDistance.xtend index c486a328..eec3a880 100644 --- a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/distance/KSDistance.xtend +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/distance/KSDistance.xtend | |||
@@ -60,17 +60,18 @@ class KSDistance extends CostDistance { | |||
60 | return value; | 60 | return value; |
61 | } | 61 | } |
62 | 62 | ||
63 | // actually calculates Manhattan Distance due to KS-Distance does not make sense for discrete distributions | ||
63 | def nodeTypeDistance(HashMap<String, Double> samples){ | 64 | def nodeTypeDistance(HashMap<String, Double> samples){ |
64 | var typesDistMap = g.nodeTypeSamples; | 65 | var typesDistMap = g.nodeTypeSamples; |
65 | var sourceDist = newArrayList(); | 66 | var keys = new HashSet<String>(typesDistMap.keySet()); |
66 | var instanceDist = newArrayList(); | 67 | keys.addAll(samples.keySet()); |
68 | var distance = 0.0; | ||
67 | 69 | ||
68 | for(key : typesDistMap.keySet()){ | 70 | for(key : keys){ |
69 | sourceDist.add(typesDistMap.get(key)); | 71 | distance += Math.abs(typesDistMap.getOrDefault(key, 0.0) - samples.getOrDefault(key, 0.0)); |
70 | instanceDist.add(samples.getOrDefault(key, 0.0)); | ||
71 | } | 72 | } |
72 | 73 | ||
73 | return ks_distance_two_dist(sourceDist, instanceDist); | 74 | return distance; |
74 | } | 75 | } |
75 | 76 | ||
76 | def edgeTypeDistance(HashMap<String, Double> samples){ | 77 | def edgeTypeDistance(HashMap<String, Double> samples){ |
diff --git a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.xtend b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.xtend index 4db5f940..5e660111 100644 --- a/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.xtend +++ b/Metrics/Metrics-Calculation/ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator/src/ca/mcgill/ecse/dslreasoner/realistic/metrics/calculator/validation/ViolationCheck.xtend | |||
@@ -12,50 +12,50 @@ class ViolationCheck { | |||
12 | /** | 12 | /** |
13 | * Return the total number of violations | 13 | * Return the total number of violations |
14 | */ | 14 | */ |
15 | def static int calculateViolationCounts(EObject root, Domain d){ | 15 | def static int calculateViolationCounts(EObject root, Domain d) { |
16 | var packageName = ''; | 16 | var packageName = ''; |
17 | if(d == Domain.Yakindumm){ | 17 | if (d == Domain.Yakindumm) { |
18 | packageName = 'constraints.yakindumm'; | 18 | packageName = 'constraints.yakindumm'; |
19 | }else if (d == Domain.Ecore){ | 19 | } else if (d == Domain.Ecore) { |
20 | packageName = 'constraints.ecore'; | 20 | packageName = 'constraints.ecore'; |
21 | }else if (d == Domain.Github){ | 21 | } else if (d == Domain.Github) { |
22 | return -1; | 22 | return -1; |
23 | } | 23 | } |
24 | 24 | ||
25 | var constriants = loadConstraints(packageName); | 25 | var constriants = loadConstraints(packageName); |
26 | var collections = new ConstraintCollection(constriants, Ecore.instance); | 26 | var collections = new ConstraintCollection(constriants, Ecore.instance); |
27 | collections.addModel(root); | 27 | collections.addModel(root); |
28 | var results = collections.calculateViolations(); | 28 | var results = collections.calculateViolations(); |
29 | if(results.size > 0){ | 29 | if (results.size > 0) { |
30 | return results.get(0); | 30 | return results.get(0); |
31 | }else{ | 31 | } else { |
32 | throw new IllegalArgumentException("Calculate Violation Failed"); | 32 | throw new IllegalArgumentException("Calculate Violation Failed"); |
33 | } | 33 | } |
34 | } | 34 | } |
35 | 35 | ||
36 | /** | 36 | /** |
37 | * return a map contain the count for each type of violation | 37 | * return a map contain the count for each type of violation |
38 | */ | 38 | */ |
39 | def static violationMaps(EObject root){ | 39 | def static violationMaps(EObject root) { |
40 | var constriants = loadConstraints('hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu'); | 40 | var constriants = loadConstraints('hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu'); |
41 | var collections = new ConstraintCollection(constriants, Patterns.instance); | 41 | var collections = new ConstraintCollection(constriants, Patterns.instance); |
42 | collections.addModel(root); | 42 | collections.addModel(root); |
43 | var results = collections.calculateViolationMaps(); | 43 | var results = collections.calculateViolationMaps(); |
44 | if(results.size > 0){ | 44 | if (results.size > 0) { |
45 | return results.get(0); | 45 | return results.get(0); |
46 | }else{ | 46 | } else { |
47 | throw new IllegalArgumentException("Calculate Violation Failed"); | 47 | throw new IllegalArgumentException("Calculate Violation Failed"); |
48 | } | 48 | } |
49 | } | 49 | } |
50 | 50 | ||
51 | def static loadConstraints(String packageName){ | 51 | def static loadConstraints(String packageName) { |
52 | val constraints = new ArrayList<IConstraintSpecification>(); | 52 | val constraints = new ArrayList<IConstraintSpecification>(); |
53 | 53 | ||
54 | val classPath = ClassPath.from(ClassLoader.systemClassLoader); | 54 | val classPath = ClassPath.from(ClassLoader.systemClassLoader); |
55 | val classInfos = classPath.getTopLevelClasses(packageName); | 55 | val classInfos = classPath.getTopLevelClasses(packageName); |
56 | for(info : classInfos){ | 56 | for (info : classInfos) { |
57 | if(info.load.interfaces.contains(IConstraintSpecification)){ | 57 | if (info.load.interfaces.contains(IConstraintSpecification)) { |
58 | //IConstraintSpecification only has one constructor with empty argument list | 58 | // IConstraintSpecification only has one constructor with empty argument list |
59 | var constructor = info.load.constructors.get(0); | 59 | var constructor = info.load.constructors.get(0); |
60 | var instance = constructor.newInstance(); | 60 | var instance = constructor.newInstance(); |
61 | constraints.add(instance as IConstraintSpecification); | 61 | constraints.add(instance as IConstraintSpecification); |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend index 628844de..e8bb11df 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasonerConfiguration.xtend | |||
@@ -62,31 +62,30 @@ class ViatraReasonerConfiguration extends LogicSolverConfiguration { | |||
62 | * Configuration for cutting search space. | 62 | * Configuration for cutting search space. |
63 | */ | 63 | */ |
64 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint | 64 | public var SearchSpaceConstraint searchSpaceConstraints = new SearchSpaceConstraint |
65 | 65 | ||
66 | public var runIntermediateNumericalConsistencyChecks = true | 66 | public var runIntermediateNumericalConsistencyChecks = true |
67 | 67 | ||
68 | public var punishSize = PunishSizeStrategy.NONE | 68 | public var punishSize = PunishSizeStrategy.NONE |
69 | public var scopeWeight = 1 | 69 | public var scopeWeight = 1 |
70 | public var conaintmentWeight = 2 | 70 | public var conaintmentWeight = 2 |
71 | public var nonContainmentWeight = 1 | 71 | public var nonContainmentWeight = 1 |
72 | public var unfinishedWFWeight = 1 | 72 | public var unfinishedWFWeight = 1 |
73 | public var calculateObjectCreationCosts = false | 73 | public var calculateObjectCreationCosts = false |
74 | 74 | ||
75 | public var RealisticGuidance realisticGuidance = RealisticGuidance.Composite; | 75 | public var RealisticGuidance realisticGuidance = RealisticGuidance.Composite; |
76 | 76 | ||
77 | public var isWFOptional = false; | 77 | public var isWFOptional = false; |
78 | 78 | ||
79 | public var allowMustViolations = false; | 79 | public var allowMustViolations = false; |
80 | 80 | ||
81 | public var String domain = ''; | 81 | public var String domain = ''; |
82 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( | 82 | public var ScopePropagatorStrategy scopePropagatorStrategy = new ScopePropagatorStrategy.Polyhedral( |
83 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) | 83 | PolyhedralScopePropagatorConstraints.Relational, PolyhedralScopePropagatorSolver.Clp) |
84 | // public var ScopePropagatorStrategy scopePropagatorStrategy = ScopePropagatorStrategy.BasicTypeHierarchy | 84 | // public var ScopePropagatorStrategy scopePropagatorStrategy = ScopePropagatorStrategy.BasicTypeHierarchy |
85 | |||
86 | public var List<LinearTypeConstraintHint> hints = newArrayList | 85 | public var List<LinearTypeConstraintHint> hints = newArrayList |
87 | 86 | ||
88 | public var List<CostObjectiveConfiguration> costObjectives = newArrayList | 87 | public var List<CostObjectiveConfiguration> costObjectives = newArrayList |
89 | 88 | ||
90 | public var List<UnitPropagationPatternGenerator> unitPropagationPatternGenerators = newArrayList | 89 | public var List<UnitPropagationPatternGenerator> unitPropagationPatternGenerators = newArrayList |
91 | } | 90 | } |
92 | 91 | ||
@@ -117,7 +116,7 @@ class SearchSpaceConstraint { | |||
117 | public var List<Function1<ModelGenerationMethod, ModelGenerationMethodBasedGlobalConstraint>> additionalGlobalConstraints = new LinkedList | 116 | public var List<Function1<ModelGenerationMethod, ModelGenerationMethodBasedGlobalConstraint>> additionalGlobalConstraints = new LinkedList |
118 | } | 117 | } |
119 | 118 | ||
120 | public enum RealisticGuidance{ | 119 | public enum RealisticGuidance { |
121 | MPC, | 120 | MPC, |
122 | NodeActivity, | 121 | NodeActivity, |
123 | OutDegree, | 122 | OutDegree, |
@@ -126,6 +125,7 @@ public enum RealisticGuidance{ | |||
126 | Composite_Without_Violations, | 125 | Composite_Without_Violations, |
127 | Violations | 126 | Violations |
128 | } | 127 | } |
128 | |||
129 | class CostObjectiveConfiguration { | 129 | class CostObjectiveConfiguration { |
130 | public var List<CostObjectiveElementConfiguration> elements = newArrayList | 130 | public var List<CostObjectiveElementConfiguration> elements = newArrayList |
131 | public var ObjectiveKind kind | 131 | public var ObjectiveKind kind |
@@ -138,4 +138,3 @@ class CostObjectiveElementConfiguration { | |||
138 | public var String patternQualifiedName | 138 | public var String patternQualifiedName |
139 | public var int weight | 139 | public var int weight |
140 | } | 140 | } |
141 | |||
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/HillClimbingOnRealisticMetricStrategyForModelGeneration.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/HillClimbingOnRealisticMetricStrategyForModelGeneration.java index d9f84b36..293cd232 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/HillClimbingOnRealisticMetricStrategyForModelGeneration.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/HillClimbingOnRealisticMetricStrategyForModelGeneration.java | |||
@@ -12,6 +12,7 @@ import java.util.LinkedList; | |||
12 | import java.util.List; | 12 | import java.util.List; |
13 | import java.util.Map; | 13 | import java.util.Map; |
14 | import java.util.PriorityQueue; | 14 | import java.util.PriorityQueue; |
15 | import java.util.Queue; | ||
15 | import java.util.Random; | 16 | import java.util.Random; |
16 | import java.util.Set; | 17 | import java.util.Set; |
17 | 18 | ||
@@ -58,7 +59,7 @@ public class HillClimbingOnRealisticMetricStrategyForModelGeneration implements | |||
58 | public NumericSolver numericSolver = null; | 59 | public NumericSolver numericSolver = null; |
59 | 60 | ||
60 | // Running | 61 | // Running |
61 | private PriorityQueue<TrajectoryWithFitness> trajectoiresToExplore; | 62 | private Queue<TrajectoryWithFitness> trajectoiresToExplore; |
62 | private SolutionStore solutionStore; | 63 | private SolutionStore solutionStore; |
63 | private SolutionStoreWithCopy solutionStoreWithCopy; | 64 | private SolutionStoreWithCopy solutionStoreWithCopy; |
64 | private SolutionStoreWithDiversityDescriptor solutionStoreWithDiversityDescriptor; | 65 | private SolutionStoreWithDiversityDescriptor solutionStoreWithDiversityDescriptor; |
@@ -150,7 +151,7 @@ public class HillClimbingOnRealisticMetricStrategyForModelGeneration implements | |||
150 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); | 151 | this.solutionStoreWithCopy = new SolutionStoreWithCopy(); |
151 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); | 152 | this.solutionStoreWithDiversityDescriptor = new SolutionStoreWithDiversityDescriptor(configuration.diversityRequirement); |
152 | 153 | ||
153 | trajectoiresToExplore = new PriorityQueue<TrajectoryWithFitness>(11, comparator); | 154 | trajectoiresToExplore = new LinkedList<TrajectoryWithFitness>(); |
154 | stateAndActivations = new HashMap<Object, List<Object>>(); | 155 | stateAndActivations = new HashMap<Object, List<Object>>(); |
155 | metricDistance = new PartialInterpretationMetricDistance(domain); | 156 | metricDistance = new PartialInterpretationMetricDistance(domain); |
156 | 157 | ||
@@ -218,9 +219,8 @@ public class HillClimbingOnRealisticMetricStrategyForModelGeneration implements | |||
218 | } | 219 | } |
219 | 220 | ||
220 | // calculate values for epsilon greedy | 221 | // calculate values for epsilon greedy |
221 | double epsilon = 1.0/count; | 222 | double epsilon = 1.0/model.getNewElements().size(); |
222 | double draw = Math.random(); | 223 | double draw = Math.random(); |
223 | count++; | ||
224 | this.currentNodeTypeDistance = heuristics.getNodeTypeDistance(); | 224 | this.currentNodeTypeDistance = heuristics.getNodeTypeDistance(); |
225 | numNodesToGenerate = model.getMaxNewElements(); | 225 | numNodesToGenerate = model.getMaxNewElements(); |
226 | System.out.println("NA distance: " + heuristics.getNADistance()); | 226 | System.out.println("NA distance: " + heuristics.getNADistance()); |
@@ -262,7 +262,7 @@ public class HillClimbingOnRealisticMetricStrategyForModelGeneration implements | |||
262 | if((getNumberOfViolations(mustMatchers) > 0|| getNumberOfViolations(mayMatchers) > targetDiff) && !allowMustViolation && !shouldFinish) { | 262 | if((getNumberOfViolations(mustMatchers) > 0|| getNumberOfViolations(mayMatchers) > targetDiff) && !allowMustViolation && !shouldFinish) { |
263 | context.backtrack(); | 263 | context.backtrack(); |
264 | }else { | 264 | }else { |
265 | final Fitness nextFitness = context.calculateFitness(); | 265 | final Fitness nextFitness = calculateFitness(); |
266 | 266 | ||
267 | // the only hard objectives are configured in the config file | 267 | // the only hard objectives are configured in the config file |
268 | checkForSolution(nextFitness); | 268 | checkForSolution(nextFitness); |
@@ -634,7 +634,7 @@ public class HillClimbingOnRealisticMetricStrategyForModelGeneration implements | |||
634 | } | 634 | } |
635 | 635 | ||
636 | protected void removeSubtreeFromQueue(TrajectoryWithFitness t) { | 636 | protected void removeSubtreeFromQueue(TrajectoryWithFitness t) { |
637 | PriorityQueue<TrajectoryWithFitness> previous = this.trajectoiresToExplore; | 637 | Queue<TrajectoryWithFitness> previous = this.trajectoiresToExplore; |
638 | this.trajectoiresToExplore = new PriorityQueue<>(this.comparator); | 638 | this.trajectoiresToExplore = new PriorityQueue<>(this.comparator); |
639 | for (TrajectoryWithFitness trajectoryWithFitness : previous) { | 639 | for (TrajectoryWithFitness trajectoryWithFitness : previous) { |
640 | if (!containsAsSubstring(trajectoryWithFitness.trajectory, t.trajectory)) { | 640 | if (!containsAsSubstring(trajectoryWithFitness.trajectory, t.trajectory)) { |