diff options
Diffstat (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs')
15 files changed, 8050 insertions, 0 deletions
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..ef560678 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/IRREALISTIC1NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,440 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x -352.0 | ||
15 | y -118.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[Entry class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 319.0 | ||
40 | y 34.0 | ||
41 | w 137.5 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[State class] (4)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x 75.0 | ||
65 | y -196.0 | ||
66 | w 176.0 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[Statechart class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x 90.0 | ||
90 | y 247.0 | ||
91 | w 137.5 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[State class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | edge | ||
109 | [ | ||
110 | source 0 | ||
111 | target 3 | ||
112 | label "entry reference Entry" | ||
113 | graphics | ||
114 | [ | ||
115 | fill "#000000" | ||
116 | targetArrow "standard" | ||
117 | Line | ||
118 | [ | ||
119 | point | ||
120 | [ | ||
121 | x -352.0 | ||
122 | y -118.0 | ||
123 | ] | ||
124 | point | ||
125 | [ | ||
126 | x -362.0 | ||
127 | y 247.0 | ||
128 | ] | ||
129 | point | ||
130 | [ | ||
131 | x 90.0 | ||
132 | y 247.0 | ||
133 | ] | ||
134 | ] | ||
135 | ] | ||
136 | edgeAnchor | ||
137 | [ | ||
138 | xSource -0.14545454545454545 | ||
139 | ] | ||
140 | LabelGraphics | ||
141 | [ | ||
142 | text "entry reference Entry" | ||
143 | fontSize 12 | ||
144 | fontName "Dialog" | ||
145 | configuration "AutoFlippingLabel" | ||
146 | contentWidth 116.048828125 | ||
147 | contentHeight 18.701171875 | ||
148 | model "six_pos" | ||
149 | position "head" | ||
150 | ] | ||
151 | LabelGraphics | ||
152 | [ | ||
153 | text "[1]" | ||
154 | fontSize 12 | ||
155 | fontName "Dialog" | ||
156 | configuration "AutoFlippingLabel" | ||
157 | contentWidth 17.341796875 | ||
158 | contentHeight 18.701171875 | ||
159 | model "six_pos" | ||
160 | position "stail" | ||
161 | ] | ||
162 | LabelGraphics | ||
163 | [ | ||
164 | text "[1]" | ||
165 | fontSize 12 | ||
166 | fontName "Dialog" | ||
167 | configuration "AutoFlippingLabel" | ||
168 | contentWidth 17.341796875 | ||
169 | contentHeight 18.701171875 | ||
170 | model "six_pos" | ||
171 | position "ttail" | ||
172 | ] | ||
173 | ] | ||
174 | edge | ||
175 | [ | ||
176 | source 1 | ||
177 | target 1 | ||
178 | label "next reference State" | ||
179 | graphics | ||
180 | [ | ||
181 | fill "#000000" | ||
182 | targetArrow "standard" | ||
183 | Line | ||
184 | [ | ||
185 | point | ||
186 | [ | ||
187 | x 319.0 | ||
188 | y 34.0 | ||
189 | ] | ||
190 | point | ||
191 | [ | ||
192 | x 319.0 | ||
193 | y -122.0 | ||
194 | ] | ||
195 | point | ||
196 | [ | ||
197 | x 319.0 | ||
198 | y 34.0 | ||
199 | ] | ||
200 | ] | ||
201 | ] | ||
202 | LabelGraphics | ||
203 | [ | ||
204 | text "next reference State" | ||
205 | fontSize 12 | ||
206 | fontName "Dialog" | ||
207 | configuration "AutoFlippingLabel" | ||
208 | contentWidth 112.064453125 | ||
209 | contentHeight 18.701171875 | ||
210 | model "six_pos" | ||
211 | position "head" | ||
212 | ] | ||
213 | LabelGraphics | ||
214 | [ | ||
215 | text "[1, 1, 1]" | ||
216 | fontSize 12 | ||
217 | fontName "Dialog" | ||
218 | configuration "AutoFlippingLabel" | ||
219 | contentWidth 44.025390625 | ||
220 | contentHeight 18.701171875 | ||
221 | model "six_pos" | ||
222 | position "stail" | ||
223 | ] | ||
224 | LabelGraphics | ||
225 | [ | ||
226 | text "[1, 1, 0]" | ||
227 | fontSize 12 | ||
228 | fontName "Dialog" | ||
229 | configuration "AutoFlippingLabel" | ||
230 | contentWidth 44.025390625 | ||
231 | contentHeight 18.701171875 | ||
232 | model "six_pos" | ||
233 | position "shead" | ||
234 | ] | ||
235 | ] | ||
236 | edge | ||
237 | [ | ||
238 | source 2 | ||
239 | target 3 | ||
240 | label "state reference Statechart" | ||
241 | graphics | ||
242 | [ | ||
243 | fill "#000000" | ||
244 | targetArrow "standard" | ||
245 | Line | ||
246 | [ | ||
247 | point | ||
248 | [ | ||
249 | x 75.0 | ||
250 | y -196.0 | ||
251 | ] | ||
252 | point | ||
253 | [ | ||
254 | x 65.0 | ||
255 | y 173.5 | ||
256 | ] | ||
257 | point | ||
258 | [ | ||
259 | x 90.0 | ||
260 | y 173.5 | ||
261 | ] | ||
262 | point | ||
263 | [ | ||
264 | x 90.0 | ||
265 | y 247.0 | ||
266 | ] | ||
267 | ] | ||
268 | ] | ||
269 | edgeAnchor | ||
270 | [ | ||
271 | xSource -0.11363636363636363 | ||
272 | ] | ||
273 | LabelGraphics | ||
274 | [ | ||
275 | text "state reference Statechart" | ||
276 | fontSize 12 | ||
277 | fontName "Dialog" | ||
278 | configuration "AutoFlippingLabel" | ||
279 | contentWidth 142.076171875 | ||
280 | contentHeight 18.701171875 | ||
281 | model "six_pos" | ||
282 | position "head" | ||
283 | ] | ||
284 | LabelGraphics | ||
285 | [ | ||
286 | text "[4, 1]" | ||
287 | fontSize 12 | ||
288 | fontName "Dialog" | ||
289 | configuration "AutoFlippingLabel" | ||
290 | contentWidth 30.68359375 | ||
291 | contentHeight 18.701171875 | ||
292 | model "six_pos" | ||
293 | position "stail" | ||
294 | ] | ||
295 | LabelGraphics | ||
296 | [ | ||
297 | text "[1]" | ||
298 | fontSize 12 | ||
299 | fontName "Dialog" | ||
300 | configuration "AutoFlippingLabel" | ||
301 | contentWidth 17.341796875 | ||
302 | contentHeight 18.701171875 | ||
303 | model "six_pos" | ||
304 | position "ttail" | ||
305 | ] | ||
306 | ] | ||
307 | edge | ||
308 | [ | ||
309 | source 2 | ||
310 | target 0 | ||
311 | label "entry reference Statechart" | ||
312 | graphics | ||
313 | [ | ||
314 | fill "#000000" | ||
315 | targetArrow "standard" | ||
316 | Line | ||
317 | [ | ||
318 | point | ||
319 | [ | ||
320 | x 75.0 | ||
321 | y -196.0 | ||
322 | ] | ||
323 | point | ||
324 | [ | ||
325 | x -377.0 | ||
326 | y -196.0 | ||
327 | ] | ||
328 | point | ||
329 | [ | ||
330 | x -352.0 | ||
331 | y -118.0 | ||
332 | ] | ||
333 | ] | ||
334 | ] | ||
335 | edgeAnchor | ||
336 | [ | ||
337 | xTarget -0.36363636363636365 | ||
338 | ] | ||
339 | LabelGraphics | ||
340 | [ | ||
341 | text "entry reference Statechart" | ||
342 | fontSize 12 | ||
343 | fontName "Dialog" | ||
344 | configuration "AutoFlippingLabel" | ||
345 | contentWidth 142.73828125 | ||
346 | contentHeight 18.701171875 | ||
347 | model "six_pos" | ||
348 | position "head" | ||
349 | ] | ||
350 | LabelGraphics | ||
351 | [ | ||
352 | text "[1]" | ||
353 | fontSize 12 | ||
354 | fontName "Dialog" | ||
355 | configuration "AutoFlippingLabel" | ||
356 | contentWidth 17.341796875 | ||
357 | contentHeight 18.701171875 | ||
358 | model "six_pos" | ||
359 | position "stail" | ||
360 | ] | ||
361 | LabelGraphics | ||
362 | [ | ||
363 | text "[1]" | ||
364 | fontSize 12 | ||
365 | fontName "Dialog" | ||
366 | configuration "AutoFlippingLabel" | ||
367 | contentWidth 17.341796875 | ||
368 | contentHeight 18.701171875 | ||
369 | model "six_pos" | ||
370 | position "ttail" | ||
371 | ] | ||
372 | ] | ||
373 | edge | ||
374 | [ | ||
375 | source 3 | ||
376 | target 1 | ||
377 | label "next reference State" | ||
378 | graphics | ||
379 | [ | ||
380 | fill "#000000" | ||
381 | targetArrow "standard" | ||
382 | Line | ||
383 | [ | ||
384 | point | ||
385 | [ | ||
386 | x 90.0 | ||
387 | y 247.0 | ||
388 | ] | ||
389 | point | ||
390 | [ | ||
391 | x 309.0 | ||
392 | y 241.5 | ||
393 | ] | ||
394 | point | ||
395 | [ | ||
396 | x 319.0 | ||
397 | y 34.0 | ||
398 | ] | ||
399 | ] | ||
400 | ] | ||
401 | edgeAnchor | ||
402 | [ | ||
403 | ySource -0.275 | ||
404 | xTarget -0.14545454545454545 | ||
405 | ] | ||
406 | LabelGraphics | ||
407 | [ | ||
408 | text "next reference State" | ||
409 | fontSize 12 | ||
410 | fontName "Dialog" | ||
411 | configuration "AutoFlippingLabel" | ||
412 | contentWidth 112.064453125 | ||
413 | contentHeight 18.701171875 | ||
414 | model "six_pos" | ||
415 | position "head" | ||
416 | ] | ||
417 | LabelGraphics | ||
418 | [ | ||
419 | text "[1]" | ||
420 | fontSize 12 | ||
421 | fontName "Dialog" | ||
422 | configuration "AutoFlippingLabel" | ||
423 | contentWidth 17.341796875 | ||
424 | contentHeight 18.701171875 | ||
425 | model "six_pos" | ||
426 | position "stail" | ||
427 | ] | ||
428 | LabelGraphics | ||
429 | [ | ||
430 | text "[1, 0, 0]" | ||
431 | fontSize 12 | ||
432 | fontName "Dialog" | ||
433 | configuration "AutoFlippingLabel" | ||
434 | contentWidth 44.025390625 | ||
435 | contentHeight 18.701171875 | ||
436 | model "six_pos" | ||
437 | position "ttail" | ||
438 | ] | ||
439 | ] | ||
440 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..6df09856 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/REALISTIC1NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,520 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x -117.0 | ||
15 | y -42.5 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x -357.0 | ||
40 | y -128.0 | ||
41 | w 137.5 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[Entry class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x -366.0 | ||
65 | y 195.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[State class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x -127.0 | ||
90 | y 356.0 | ||
91 | w 137.5 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[State class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 4 | ||
111 | label "" | ||
112 | graphics | ||
113 | [ | ||
114 | x 196.0 | ||
115 | y 265.0 | ||
116 | w 137.5 | ||
117 | h 40.0 | ||
118 | type "roundrectangle" | ||
119 | fill "#FFCC00" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | ] | ||
125 | LabelGraphics | ||
126 | [ | ||
127 | text "[State class] (2)" | ||
128 | fontSize 14 | ||
129 | fontName "Dialog" | ||
130 | anchor "c" | ||
131 | ] | ||
132 | ] | ||
133 | node | ||
134 | [ | ||
135 | id 5 | ||
136 | label "" | ||
137 | graphics | ||
138 | [ | ||
139 | x 111.0 | ||
140 | y -185.0 | ||
141 | w 176.0 | ||
142 | h 40.0 | ||
143 | type "roundrectangle" | ||
144 | fill "#FFCC00" | ||
145 | outline "#000000" | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[Statechart class] (1)" | ||
153 | fontSize 14 | ||
154 | fontName "Dialog" | ||
155 | anchor "c" | ||
156 | ] | ||
157 | ] | ||
158 | edge | ||
159 | [ | ||
160 | source 1 | ||
161 | target 2 | ||
162 | label "entry reference Entry" | ||
163 | graphics | ||
164 | [ | ||
165 | fill "#000000" | ||
166 | targetArrow "standard" | ||
167 | ] | ||
168 | edgeAnchor | ||
169 | [ | ||
170 | xSource -0.13090909090909092 | ||
171 | ] | ||
172 | LabelGraphics | ||
173 | [ | ||
174 | text "entry reference Entry" | ||
175 | fontSize 12 | ||
176 | fontName "Dialog" | ||
177 | configuration "AutoFlippingLabel" | ||
178 | contentWidth 116.048828125 | ||
179 | contentHeight 18.701171875 | ||
180 | model "six_pos" | ||
181 | position "head" | ||
182 | ] | ||
183 | LabelGraphics | ||
184 | [ | ||
185 | text "[1]" | ||
186 | fontSize 12 | ||
187 | fontName "Dialog" | ||
188 | configuration "AutoFlippingLabel" | ||
189 | contentWidth 17.341796875 | ||
190 | contentHeight 18.701171875 | ||
191 | model "six_pos" | ||
192 | position "stail" | ||
193 | ] | ||
194 | LabelGraphics | ||
195 | [ | ||
196 | text "[1]" | ||
197 | fontSize 12 | ||
198 | fontName "Dialog" | ||
199 | configuration "AutoFlippingLabel" | ||
200 | contentWidth 17.341796875 | ||
201 | contentHeight 18.701171875 | ||
202 | model "six_pos" | ||
203 | position "ttail" | ||
204 | ] | ||
205 | ] | ||
206 | edge | ||
207 | [ | ||
208 | source 3 | ||
209 | target 0 | ||
210 | label "next reference State" | ||
211 | graphics | ||
212 | [ | ||
213 | fill "#000000" | ||
214 | targetArrow "standard" | ||
215 | ] | ||
216 | edgeAnchor | ||
217 | [ | ||
218 | xTarget -0.14545454545454545 | ||
219 | ] | ||
220 | LabelGraphics | ||
221 | [ | ||
222 | text "next reference State" | ||
223 | fontSize 12 | ||
224 | fontName "Dialog" | ||
225 | configuration "AutoFlippingLabel" | ||
226 | contentWidth 112.064453125 | ||
227 | contentHeight 18.701171875 | ||
228 | model "six_pos" | ||
229 | position "head" | ||
230 | ] | ||
231 | LabelGraphics | ||
232 | [ | ||
233 | text "[2, 1, 1]" | ||
234 | fontSize 12 | ||
235 | fontName "Dialog" | ||
236 | configuration "AutoFlippingLabel" | ||
237 | contentWidth 44.025390625 | ||
238 | contentHeight 18.701171875 | ||
239 | model "six_pos" | ||
240 | position "stail" | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text "[1]" | ||
245 | fontSize 12 | ||
246 | fontName "Dialog" | ||
247 | configuration "AutoFlippingLabel" | ||
248 | contentWidth 17.341796875 | ||
249 | contentHeight 18.701171875 | ||
250 | model "six_pos" | ||
251 | position "ttail" | ||
252 | ] | ||
253 | ] | ||
254 | edge | ||
255 | [ | ||
256 | source 2 | ||
257 | target 3 | ||
258 | label "next reference State" | ||
259 | graphics | ||
260 | [ | ||
261 | fill "#000000" | ||
262 | targetArrow "standard" | ||
263 | Line | ||
264 | [ | ||
265 | point | ||
266 | [ | ||
267 | x -366.0 | ||
268 | y 195.0 | ||
269 | ] | ||
270 | point | ||
271 | [ | ||
272 | x -390.0 | ||
273 | y 215.0 | ||
274 | ] | ||
275 | point | ||
276 | [ | ||
277 | x -390.0 | ||
278 | y 356.0 | ||
279 | ] | ||
280 | point | ||
281 | [ | ||
282 | x -127.0 | ||
283 | y 356.0 | ||
284 | ] | ||
285 | ] | ||
286 | ] | ||
287 | edgeAnchor | ||
288 | [ | ||
289 | ySource 1.0 | ||
290 | xTarget -0.2909090909090909 | ||
291 | ] | ||
292 | LabelGraphics | ||
293 | [ | ||
294 | text "next reference State" | ||
295 | fontSize 12 | ||
296 | fontName "Dialog" | ||
297 | configuration "AutoFlippingLabel" | ||
298 | contentWidth 112.064453125 | ||
299 | contentHeight 18.701171875 | ||
300 | model "six_pos" | ||
301 | position "head" | ||
302 | ] | ||
303 | LabelGraphics | ||
304 | [ | ||
305 | text "[1]" | ||
306 | fontSize 12 | ||
307 | fontName "Dialog" | ||
308 | configuration "AutoFlippingLabel" | ||
309 | contentWidth 17.341796875 | ||
310 | contentHeight 18.701171875 | ||
311 | model "six_pos" | ||
312 | position "stail" | ||
313 | ] | ||
314 | LabelGraphics | ||
315 | [ | ||
316 | text "[1]" | ||
317 | fontSize 12 | ||
318 | fontName "Dialog" | ||
319 | configuration "AutoFlippingLabel" | ||
320 | contentWidth 17.341796875 | ||
321 | contentHeight 18.701171875 | ||
322 | model "six_pos" | ||
323 | position "ttail" | ||
324 | ] | ||
325 | ] | ||
326 | edge | ||
327 | [ | ||
328 | source 4 | ||
329 | target 3 | ||
330 | label "next reference State" | ||
331 | graphics | ||
332 | [ | ||
333 | fill "#000000" | ||
334 | targetArrow "standard" | ||
335 | Line | ||
336 | [ | ||
337 | point | ||
338 | [ | ||
339 | x 196.0 | ||
340 | y 265.0 | ||
341 | ] | ||
342 | point | ||
343 | [ | ||
344 | x 196.0 | ||
345 | y 356.0 | ||
346 | ] | ||
347 | point | ||
348 | [ | ||
349 | x -127.0 | ||
350 | y 356.0 | ||
351 | ] | ||
352 | ] | ||
353 | ] | ||
354 | LabelGraphics | ||
355 | [ | ||
356 | text "next reference State" | ||
357 | fontSize 12 | ||
358 | fontName "Dialog" | ||
359 | configuration "AutoFlippingLabel" | ||
360 | contentWidth 112.064453125 | ||
361 | contentHeight 18.701171875 | ||
362 | model "six_pos" | ||
363 | position "head" | ||
364 | ] | ||
365 | LabelGraphics | ||
366 | [ | ||
367 | text "[1, 1]" | ||
368 | fontSize 12 | ||
369 | fontName "Dialog" | ||
370 | configuration "AutoFlippingLabel" | ||
371 | contentWidth 30.68359375 | ||
372 | contentHeight 18.701171875 | ||
373 | model "six_pos" | ||
374 | position "stail" | ||
375 | ] | ||
376 | LabelGraphics | ||
377 | [ | ||
378 | text "[1]" | ||
379 | fontSize 12 | ||
380 | fontName "Dialog" | ||
381 | configuration "AutoFlippingLabel" | ||
382 | contentWidth 17.341796875 | ||
383 | contentHeight 18.701171875 | ||
384 | model "six_pos" | ||
385 | position "ttail" | ||
386 | ] | ||
387 | ] | ||
388 | edge | ||
389 | [ | ||
390 | source 5 | ||
391 | target 0 | ||
392 | label "state reference Statechart" | ||
393 | graphics | ||
394 | [ | ||
395 | fill "#000000" | ||
396 | targetArrow "standard" | ||
397 | Line | ||
398 | [ | ||
399 | point | ||
400 | [ | ||
401 | x 111.0 | ||
402 | y -185.0 | ||
403 | ] | ||
404 | point | ||
405 | [ | ||
406 | x 111.0 | ||
407 | y -42.5 | ||
408 | ] | ||
409 | point | ||
410 | [ | ||
411 | x -117.0 | ||
412 | y -42.5 | ||
413 | ] | ||
414 | ] | ||
415 | ] | ||
416 | edgeAnchor | ||
417 | [ | ||
418 | xTarget 0.16 | ||
419 | ] | ||
420 | LabelGraphics | ||
421 | [ | ||
422 | text "state reference Statechart" | ||
423 | fontSize 12 | ||
424 | fontName "Dialog" | ||
425 | configuration "AutoFlippingLabel" | ||
426 | contentWidth 142.076171875 | ||
427 | contentHeight 18.701171875 | ||
428 | model "six_pos" | ||
429 | position "head" | ||
430 | ] | ||
431 | LabelGraphics | ||
432 | [ | ||
433 | text "[1, 2, 1, 1]" | ||
434 | fontSize 12 | ||
435 | fontName "Dialog" | ||
436 | configuration "AutoFlippingLabel" | ||
437 | contentWidth 57.3671875 | ||
438 | contentHeight 18.701171875 | ||
439 | model "six_pos" | ||
440 | position "stail" | ||
441 | ] | ||
442 | LabelGraphics | ||
443 | [ | ||
444 | text "[1]" | ||
445 | fontSize 12 | ||
446 | fontName "Dialog" | ||
447 | configuration "AutoFlippingLabel" | ||
448 | contentWidth 17.341796875 | ||
449 | contentHeight 18.701171875 | ||
450 | model "six_pos" | ||
451 | position "ttail" | ||
452 | ] | ||
453 | ] | ||
454 | edge | ||
455 | [ | ||
456 | source 5 | ||
457 | target 1 | ||
458 | label "entry reference Statechart" | ||
459 | graphics | ||
460 | [ | ||
461 | fill "#000000" | ||
462 | targetArrow "standard" | ||
463 | Line | ||
464 | [ | ||
465 | point | ||
466 | [ | ||
467 | x 111.0 | ||
468 | y -185.0 | ||
469 | ] | ||
470 | point | ||
471 | [ | ||
472 | x -346.0 | ||
473 | y -185.0 | ||
474 | ] | ||
475 | point | ||
476 | [ | ||
477 | x -357.0 | ||
478 | y -128.0 | ||
479 | ] | ||
480 | ] | ||
481 | ] | ||
482 | edgeAnchor | ||
483 | [ | ||
484 | xTarget 0.16 | ||
485 | ] | ||
486 | LabelGraphics | ||
487 | [ | ||
488 | text "entry reference Statechart" | ||
489 | fontSize 12 | ||
490 | fontName "Dialog" | ||
491 | configuration "AutoFlippingLabel" | ||
492 | contentWidth 142.73828125 | ||
493 | contentHeight 18.701171875 | ||
494 | model "six_pos" | ||
495 | position "head" | ||
496 | ] | ||
497 | LabelGraphics | ||
498 | [ | ||
499 | text "[1]" | ||
500 | fontSize 12 | ||
501 | fontName "Dialog" | ||
502 | configuration "AutoFlippingLabel" | ||
503 | contentWidth 17.341796875 | ||
504 | contentHeight 18.701171875 | ||
505 | model "six_pos" | ||
506 | position "stail" | ||
507 | ] | ||
508 | LabelGraphics | ||
509 | [ | ||
510 | text "[1]" | ||
511 | fontSize 12 | ||
512 | fontName "Dialog" | ||
513 | configuration "AutoFlippingLabel" | ||
514 | contentWidth 17.341796875 | ||
515 | contentHeight 18.701171875 | ||
516 | model "six_pos" | ||
517 | position "ttail" | ||
518 | ] | ||
519 | ] | ||
520 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml new file mode 100644 index 00000000..2dd8a1d8 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleMODEL.gml | |||
@@ -0,0 +1,752 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 41.800000000000004 | ||
9 | h 26 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "true" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | " | ||
30 | fontSize 14 | ||
31 | fontName "Consolas" | ||
32 | alignment "left" | ||
33 | anchor "tl" | ||
34 | borderDistance 6 | ||
35 | ] | ||
36 | ] | ||
37 | |||
38 | node | ||
39 | [ | ||
40 | id 1 | ||
41 | graphics | ||
42 | [ | ||
43 | w 50.6 | ||
44 | h 26 | ||
45 | type "rectangle" | ||
46 | fill "#FFFFFF" | ||
47 | fill2 "#FFFFFF" | ||
48 | outline "#000000" | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "false" | ||
53 | outline "#000000" | ||
54 | fill "#FFFFFF" | ||
55 | fontSize 16 | ||
56 | fontName "Monospace" | ||
57 | autoSizePolicy "node_width" | ||
58 | anchor "t" | ||
59 | borderDistance 0.0 | ||
60 | ] | ||
61 | LabelGraphics | ||
62 | [ | ||
63 | text " | ||
64 | " | ||
65 | fontSize 14 | ||
66 | fontName "Consolas" | ||
67 | alignment "left" | ||
68 | anchor "tl" | ||
69 | borderDistance 6 | ||
70 | ] | ||
71 | ] | ||
72 | |||
73 | node | ||
74 | [ | ||
75 | id 2 | ||
76 | graphics | ||
77 | [ | ||
78 | w 115.50000000000001 | ||
79 | h 40 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "null" | ||
88 | outline "#000000" | ||
89 | fill "#FFFFFF" | ||
90 | fontSize 16 | ||
91 | fontName "Monospace" | ||
92 | autoSizePolicy "node_width" | ||
93 | anchor "t" | ||
94 | borderDistance 0.0 | ||
95 | ] | ||
96 | LabelGraphics | ||
97 | [ | ||
98 | text " | ||
99 | Element class | ||
100 | " | ||
101 | fontSize 14 | ||
102 | fontName "Consolas" | ||
103 | alignment "left" | ||
104 | anchor "tl" | ||
105 | borderDistance 6 | ||
106 | ] | ||
107 | ] | ||
108 | |||
109 | node | ||
110 | [ | ||
111 | id 3 | ||
112 | graphics | ||
113 | [ | ||
114 | w 115.50000000000001 | ||
115 | h 40 | ||
116 | type "rectangle" | ||
117 | fill "#FFFFFF" | ||
118 | fill2 "#FFFFFF" | ||
119 | outline "#000000" | ||
120 | ] | ||
121 | LabelGraphics | ||
122 | [ | ||
123 | text "null" | ||
124 | outline "#000000" | ||
125 | fill "#FFFFFF" | ||
126 | fontSize 16 | ||
127 | fontName "Monospace" | ||
128 | autoSizePolicy "node_width" | ||
129 | anchor "t" | ||
130 | borderDistance 0.0 | ||
131 | ] | ||
132 | LabelGraphics | ||
133 | [ | ||
134 | text " | ||
135 | Element class | ||
136 | " | ||
137 | fontSize 14 | ||
138 | fontName "Consolas" | ||
139 | alignment "left" | ||
140 | anchor "tl" | ||
141 | borderDistance 6 | ||
142 | ] | ||
143 | ] | ||
144 | |||
145 | node | ||
146 | [ | ||
147 | id 4 | ||
148 | graphics | ||
149 | [ | ||
150 | w 107.80000000000001 | ||
151 | h 40 | ||
152 | type "rectangle" | ||
153 | fill "#FFFFFF" | ||
154 | fill2 "#FFFFFF" | ||
155 | outline "#000000" | ||
156 | ] | ||
157 | LabelGraphics | ||
158 | [ | ||
159 | text "null" | ||
160 | outline "#000000" | ||
161 | fill "#FFFFFF" | ||
162 | fontSize 16 | ||
163 | fontName "Monospace" | ||
164 | autoSizePolicy "node_width" | ||
165 | anchor "t" | ||
166 | borderDistance 0.0 | ||
167 | ] | ||
168 | LabelGraphics | ||
169 | [ | ||
170 | text " | ||
171 | Object class | ||
172 | " | ||
173 | fontSize 14 | ||
174 | fontName "Consolas" | ||
175 | alignment "left" | ||
176 | anchor "tl" | ||
177 | borderDistance 6 | ||
178 | ] | ||
179 | ] | ||
180 | |||
181 | node | ||
182 | [ | ||
183 | id 5 | ||
184 | graphics | ||
185 | [ | ||
186 | w 115.50000000000001 | ||
187 | h 40 | ||
188 | type "rectangle" | ||
189 | fill "#FFFFFF" | ||
190 | fill2 "#FFFFFF" | ||
191 | outline "#000000" | ||
192 | ] | ||
193 | LabelGraphics | ||
194 | [ | ||
195 | text "null" | ||
196 | outline "#000000" | ||
197 | fill "#FFFFFF" | ||
198 | fontSize 16 | ||
199 | fontName "Monospace" | ||
200 | autoSizePolicy "node_width" | ||
201 | anchor "t" | ||
202 | borderDistance 0.0 | ||
203 | ] | ||
204 | LabelGraphics | ||
205 | [ | ||
206 | text " | ||
207 | Element class | ||
208 | " | ||
209 | fontSize 14 | ||
210 | fontName "Consolas" | ||
211 | alignment "left" | ||
212 | anchor "tl" | ||
213 | borderDistance 6 | ||
214 | ] | ||
215 | ] | ||
216 | |||
217 | node | ||
218 | [ | ||
219 | id 6 | ||
220 | graphics | ||
221 | [ | ||
222 | w 107.80000000000001 | ||
223 | h 40 | ||
224 | type "rectangle" | ||
225 | fill "#FFFFFF" | ||
226 | fill2 "#FFFFFF" | ||
227 | outline "#000000" | ||
228 | ] | ||
229 | LabelGraphics | ||
230 | [ | ||
231 | text "null" | ||
232 | outline "#000000" | ||
233 | fill "#FFFFFF" | ||
234 | fontSize 16 | ||
235 | fontName "Monospace" | ||
236 | autoSizePolicy "node_width" | ||
237 | anchor "t" | ||
238 | borderDistance 0.0 | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text " | ||
243 | Object class | ||
244 | " | ||
245 | fontSize 14 | ||
246 | fontName "Consolas" | ||
247 | alignment "left" | ||
248 | anchor "tl" | ||
249 | borderDistance 6 | ||
250 | ] | ||
251 | ] | ||
252 | |||
253 | node | ||
254 | [ | ||
255 | id 7 | ||
256 | graphics | ||
257 | [ | ||
258 | w 115.50000000000001 | ||
259 | h 40 | ||
260 | type "rectangle" | ||
261 | fill "#FFFFFF" | ||
262 | fill2 "#FFFFFF" | ||
263 | outline "#000000" | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "null" | ||
268 | outline "#000000" | ||
269 | fill "#FFFFFF" | ||
270 | fontSize 16 | ||
271 | fontName "Monospace" | ||
272 | autoSizePolicy "node_width" | ||
273 | anchor "t" | ||
274 | borderDistance 0.0 | ||
275 | ] | ||
276 | LabelGraphics | ||
277 | [ | ||
278 | text " | ||
279 | Element class | ||
280 | " | ||
281 | fontSize 14 | ||
282 | fontName "Consolas" | ||
283 | alignment "left" | ||
284 | anchor "tl" | ||
285 | borderDistance 6 | ||
286 | ] | ||
287 | ] | ||
288 | |||
289 | node | ||
290 | [ | ||
291 | id 8 | ||
292 | graphics | ||
293 | [ | ||
294 | w 107.80000000000001 | ||
295 | h 40 | ||
296 | type "rectangle" | ||
297 | fill "#FFFFFF" | ||
298 | fill2 "#FFFFFF" | ||
299 | outline "#000000" | ||
300 | ] | ||
301 | LabelGraphics | ||
302 | [ | ||
303 | text "null" | ||
304 | outline "#000000" | ||
305 | fill "#FFFFFF" | ||
306 | fontSize 16 | ||
307 | fontName "Monospace" | ||
308 | autoSizePolicy "node_width" | ||
309 | anchor "t" | ||
310 | borderDistance 0.0 | ||
311 | ] | ||
312 | LabelGraphics | ||
313 | [ | ||
314 | text " | ||
315 | Object class | ||
316 | " | ||
317 | fontSize 14 | ||
318 | fontName "Consolas" | ||
319 | alignment "left" | ||
320 | anchor "tl" | ||
321 | borderDistance 6 | ||
322 | ] | ||
323 | ] | ||
324 | |||
325 | node | ||
326 | [ | ||
327 | id 9 | ||
328 | graphics | ||
329 | [ | ||
330 | w 115.50000000000001 | ||
331 | h 40 | ||
332 | type "rectangle" | ||
333 | fill "#FFFFFF" | ||
334 | fill2 "#FFFFFF" | ||
335 | outline "#000000" | ||
336 | ] | ||
337 | LabelGraphics | ||
338 | [ | ||
339 | text "null" | ||
340 | outline "#000000" | ||
341 | fill "#FFFFFF" | ||
342 | fontSize 16 | ||
343 | fontName "Monospace" | ||
344 | autoSizePolicy "node_width" | ||
345 | anchor "t" | ||
346 | borderDistance 0.0 | ||
347 | ] | ||
348 | LabelGraphics | ||
349 | [ | ||
350 | text " | ||
351 | Element class | ||
352 | " | ||
353 | fontSize 14 | ||
354 | fontName "Consolas" | ||
355 | alignment "left" | ||
356 | anchor "tl" | ||
357 | borderDistance 6 | ||
358 | ] | ||
359 | ] | ||
360 | |||
361 | node | ||
362 | [ | ||
363 | id 10 | ||
364 | graphics | ||
365 | [ | ||
366 | w 107.80000000000001 | ||
367 | h 40 | ||
368 | type "rectangle" | ||
369 | fill "#FFFFFF" | ||
370 | fill2 "#FFFFFF" | ||
371 | outline "#000000" | ||
372 | ] | ||
373 | LabelGraphics | ||
374 | [ | ||
375 | text "null" | ||
376 | outline "#000000" | ||
377 | fill "#FFFFFF" | ||
378 | fontSize 16 | ||
379 | fontName "Monospace" | ||
380 | autoSizePolicy "node_width" | ||
381 | anchor "t" | ||
382 | borderDistance 0.0 | ||
383 | ] | ||
384 | LabelGraphics | ||
385 | [ | ||
386 | text " | ||
387 | Object class | ||
388 | " | ||
389 | fontSize 14 | ||
390 | fontName "Consolas" | ||
391 | alignment "left" | ||
392 | anchor "tl" | ||
393 | borderDistance 6 | ||
394 | ] | ||
395 | ] | ||
396 | |||
397 | node | ||
398 | [ | ||
399 | id 11 | ||
400 | graphics | ||
401 | [ | ||
402 | w 115.50000000000001 | ||
403 | h 40 | ||
404 | type "rectangle" | ||
405 | fill "#FFFFFF" | ||
406 | fill2 "#FFFFFF" | ||
407 | outline "#000000" | ||
408 | ] | ||
409 | LabelGraphics | ||
410 | [ | ||
411 | text "null" | ||
412 | outline "#000000" | ||
413 | fill "#FFFFFF" | ||
414 | fontSize 16 | ||
415 | fontName "Monospace" | ||
416 | autoSizePolicy "node_width" | ||
417 | anchor "t" | ||
418 | borderDistance 0.0 | ||
419 | ] | ||
420 | LabelGraphics | ||
421 | [ | ||
422 | text " | ||
423 | Element class | ||
424 | " | ||
425 | fontSize 14 | ||
426 | fontName "Consolas" | ||
427 | alignment "left" | ||
428 | anchor "tl" | ||
429 | borderDistance 6 | ||
430 | ] | ||
431 | ] | ||
432 | |||
433 | node | ||
434 | [ | ||
435 | id 12 | ||
436 | graphics | ||
437 | [ | ||
438 | w 112.2 | ||
439 | h 26 | ||
440 | type "rectangle" | ||
441 | fill "#FFFFFF" | ||
442 | fill2 "#FFFFFF" | ||
443 | outline "#000000" | ||
444 | ] | ||
445 | LabelGraphics | ||
446 | [ | ||
447 | text "New Integers" | ||
448 | outline "#000000" | ||
449 | fill "#FFFFFF" | ||
450 | fontSize 16 | ||
451 | fontName "Monospace" | ||
452 | autoSizePolicy "node_width" | ||
453 | anchor "t" | ||
454 | borderDistance 0.0 | ||
455 | ] | ||
456 | LabelGraphics | ||
457 | [ | ||
458 | text " | ||
459 | " | ||
460 | fontSize 14 | ||
461 | fontName "Consolas" | ||
462 | alignment "left" | ||
463 | anchor "tl" | ||
464 | borderDistance 6 | ||
465 | ] | ||
466 | ] | ||
467 | |||
468 | node | ||
469 | [ | ||
470 | id 13 | ||
471 | graphics | ||
472 | [ | ||
473 | w 85.80000000000001 | ||
474 | h 26 | ||
475 | type "rectangle" | ||
476 | fill "#FFFFFF" | ||
477 | fill2 "#FFFFFF" | ||
478 | outline "#000000" | ||
479 | ] | ||
480 | LabelGraphics | ||
481 | [ | ||
482 | text "New Reals" | ||
483 | outline "#000000" | ||
484 | fill "#FFFFFF" | ||
485 | fontSize 16 | ||
486 | fontName "Monospace" | ||
487 | autoSizePolicy "node_width" | ||
488 | anchor "t" | ||
489 | borderDistance 0.0 | ||
490 | ] | ||
491 | LabelGraphics | ||
492 | [ | ||
493 | text " | ||
494 | " | ||
495 | fontSize 14 | ||
496 | fontName "Consolas" | ||
497 | alignment "left" | ||
498 | anchor "tl" | ||
499 | borderDistance 6 | ||
500 | ] | ||
501 | ] | ||
502 | |||
503 | node | ||
504 | [ | ||
505 | id 14 | ||
506 | graphics | ||
507 | [ | ||
508 | w 103.4 | ||
509 | h 26 | ||
510 | type "rectangle" | ||
511 | fill "#FFFFFF" | ||
512 | fill2 "#FFFFFF" | ||
513 | outline "#000000" | ||
514 | ] | ||
515 | LabelGraphics | ||
516 | [ | ||
517 | text "New Strings" | ||
518 | outline "#000000" | ||
519 | fill "#FFFFFF" | ||
520 | fontSize 16 | ||
521 | fontName "Monospace" | ||
522 | autoSizePolicy "node_width" | ||
523 | anchor "t" | ||
524 | borderDistance 0.0 | ||
525 | ] | ||
526 | LabelGraphics | ||
527 | [ | ||
528 | text " | ||
529 | " | ||
530 | fontSize 14 | ||
531 | fontName "Consolas" | ||
532 | alignment "left" | ||
533 | anchor "tl" | ||
534 | borderDistance 6 | ||
535 | ] | ||
536 | ] | ||
537 | |||
538 | node | ||
539 | [ | ||
540 | id 15 | ||
541 | graphics | ||
542 | [ | ||
543 | w 103.4 | ||
544 | h 26 | ||
545 | type "rectangle" | ||
546 | fill "#FFFFFF" | ||
547 | fill2 "#FFFFFF" | ||
548 | outline "#000000" | ||
549 | ] | ||
550 | LabelGraphics | ||
551 | [ | ||
552 | text "New Objects" | ||
553 | outline "#000000" | ||
554 | fill "#FFFFFF" | ||
555 | fontSize 16 | ||
556 | fontName "Monospace" | ||
557 | autoSizePolicy "node_width" | ||
558 | anchor "t" | ||
559 | borderDistance 0.0 | ||
560 | ] | ||
561 | LabelGraphics | ||
562 | [ | ||
563 | text " | ||
564 | " | ||
565 | fontSize 14 | ||
566 | fontName "Consolas" | ||
567 | alignment "left" | ||
568 | anchor "tl" | ||
569 | borderDistance 6 | ||
570 | ] | ||
571 | ] | ||
572 | edge | ||
573 | [ | ||
574 | source 3 | ||
575 | target 4 | ||
576 | graphics | ||
577 | [ | ||
578 | fill "#000000" | ||
579 | width 3 | ||
580 | targetArrow "standard" | ||
581 | ] | ||
582 | LabelGraphics | ||
583 | [ | ||
584 | text "value reference Element" | ||
585 | fontSize 14 | ||
586 | fontName "Consolas" | ||
587 | configuration "AutoFlippingLabel" | ||
588 | model "six_pos" | ||
589 | position "thead" | ||
590 | ] | ||
591 | ] | ||
592 | edge | ||
593 | [ | ||
594 | source 5 | ||
595 | target 6 | ||
596 | graphics | ||
597 | [ | ||
598 | fill "#000000" | ||
599 | width 3 | ||
600 | targetArrow "standard" | ||
601 | ] | ||
602 | LabelGraphics | ||
603 | [ | ||
604 | text "value reference Element" | ||
605 | fontSize 14 | ||
606 | fontName "Consolas" | ||
607 | configuration "AutoFlippingLabel" | ||
608 | model "six_pos" | ||
609 | position "thead" | ||
610 | ] | ||
611 | ] | ||
612 | edge | ||
613 | [ | ||
614 | source 7 | ||
615 | target 8 | ||
616 | graphics | ||
617 | [ | ||
618 | fill "#000000" | ||
619 | width 3 | ||
620 | targetArrow "standard" | ||
621 | ] | ||
622 | LabelGraphics | ||
623 | [ | ||
624 | text "value reference Element" | ||
625 | fontSize 14 | ||
626 | fontName "Consolas" | ||
627 | configuration "AutoFlippingLabel" | ||
628 | model "six_pos" | ||
629 | position "thead" | ||
630 | ] | ||
631 | ] | ||
632 | edge | ||
633 | [ | ||
634 | source 9 | ||
635 | target 10 | ||
636 | graphics | ||
637 | [ | ||
638 | fill "#000000" | ||
639 | width 3 | ||
640 | targetArrow "standard" | ||
641 | ] | ||
642 | LabelGraphics | ||
643 | [ | ||
644 | text "value reference Element" | ||
645 | fontSize 14 | ||
646 | fontName "Consolas" | ||
647 | configuration "AutoFlippingLabel" | ||
648 | model "six_pos" | ||
649 | position "thead" | ||
650 | ] | ||
651 | ] | ||
652 | edge | ||
653 | [ | ||
654 | source 2 | ||
655 | target 3 | ||
656 | graphics | ||
657 | [ | ||
658 | fill "#000000" | ||
659 | width 3 | ||
660 | targetArrow "standard" | ||
661 | ] | ||
662 | LabelGraphics | ||
663 | [ | ||
664 | text "next reference Element" | ||
665 | fontSize 14 | ||
666 | fontName "Consolas" | ||
667 | configuration "AutoFlippingLabel" | ||
668 | model "six_pos" | ||
669 | position "thead" | ||
670 | ] | ||
671 | ] | ||
672 | edge | ||
673 | [ | ||
674 | source 3 | ||
675 | target 5 | ||
676 | graphics | ||
677 | [ | ||
678 | fill "#000000" | ||
679 | width 3 | ||
680 | targetArrow "standard" | ||
681 | ] | ||
682 | LabelGraphics | ||
683 | [ | ||
684 | text "next reference Element" | ||
685 | fontSize 14 | ||
686 | fontName "Consolas" | ||
687 | configuration "AutoFlippingLabel" | ||
688 | model "six_pos" | ||
689 | position "thead" | ||
690 | ] | ||
691 | ] | ||
692 | edge | ||
693 | [ | ||
694 | source 5 | ||
695 | target 7 | ||
696 | graphics | ||
697 | [ | ||
698 | fill "#000000" | ||
699 | width 3 | ||
700 | targetArrow "standard" | ||
701 | ] | ||
702 | LabelGraphics | ||
703 | [ | ||
704 | text "next reference Element" | ||
705 | fontSize 14 | ||
706 | fontName "Consolas" | ||
707 | configuration "AutoFlippingLabel" | ||
708 | model "six_pos" | ||
709 | position "thead" | ||
710 | ] | ||
711 | ] | ||
712 | edge | ||
713 | [ | ||
714 | source 7 | ||
715 | target 9 | ||
716 | graphics | ||
717 | [ | ||
718 | fill "#000000" | ||
719 | width 3 | ||
720 | targetArrow "standard" | ||
721 | ] | ||
722 | LabelGraphics | ||
723 | [ | ||
724 | text "next reference Element" | ||
725 | fontSize 14 | ||
726 | fontName "Consolas" | ||
727 | configuration "AutoFlippingLabel" | ||
728 | model "six_pos" | ||
729 | position "thead" | ||
730 | ] | ||
731 | ] | ||
732 | edge | ||
733 | [ | ||
734 | source 9 | ||
735 | target 11 | ||
736 | graphics | ||
737 | [ | ||
738 | fill "#000000" | ||
739 | width 3 | ||
740 | targetArrow "standard" | ||
741 | ] | ||
742 | LabelGraphics | ||
743 | [ | ||
744 | text "next reference Element" | ||
745 | fontSize 14 | ||
746 | fontName "Consolas" | ||
747 | configuration "AutoFlippingLabel" | ||
748 | model "six_pos" | ||
749 | position "thead" | ||
750 | ] | ||
751 | ] | ||
752 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml new file mode 100644 index 00000000..125acc5c --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/cycleNEIGHBOURHOOD.gml | |||
@@ -0,0 +1,210 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 152.9 | ||
9 | h 40 | ||
10 | type "roundrectangle" | ||
11 | fill "#FFCC00" | ||
12 | outline "#000000" | ||
13 | ] | ||
14 | LabelGraphics | ||
15 | [ | ||
16 | ] | ||
17 | LabelGraphics | ||
18 | [ | ||
19 | text "[Element class] (1)" | ||
20 | fontSize 14 | ||
21 | fontName "Dialog" | ||
22 | ] | ||
23 | ] | ||
24 | node | ||
25 | [ | ||
26 | id 1 | ||
27 | graphics | ||
28 | [ | ||
29 | w 145.20000000000002 | ||
30 | h 40 | ||
31 | type "roundrectangle" | ||
32 | fill "#FFCC00" | ||
33 | outline "#000000" | ||
34 | ] | ||
35 | LabelGraphics | ||
36 | [ | ||
37 | ] | ||
38 | LabelGraphics | ||
39 | [ | ||
40 | text "[Object class] (4)" | ||
41 | fontSize 14 | ||
42 | fontName "Dialog" | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 2 | ||
48 | graphics | ||
49 | [ | ||
50 | w 152.9 | ||
51 | h 40 | ||
52 | type "roundrectangle" | ||
53 | fill "#FFCC00" | ||
54 | outline "#000000" | ||
55 | ] | ||
56 | LabelGraphics | ||
57 | [ | ||
58 | ] | ||
59 | LabelGraphics | ||
60 | [ | ||
61 | text "[Element class] (1)" | ||
62 | fontSize 14 | ||
63 | fontName "Dialog" | ||
64 | ] | ||
65 | ] | ||
66 | node | ||
67 | [ | ||
68 | id 3 | ||
69 | graphics | ||
70 | [ | ||
71 | w 152.9 | ||
72 | h 40 | ||
73 | type "roundrectangle" | ||
74 | fill "#FFCC00" | ||
75 | outline "#000000" | ||
76 | ] | ||
77 | LabelGraphics | ||
78 | [ | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "[Element class] (4)" | ||
83 | fontSize 14 | ||
84 | fontName "Dialog" | ||
85 | ] | ||
86 | ] | ||
87 | edge | ||
88 | [ | ||
89 | source 2 | ||
90 | target 3 | ||
91 | label "next reference Element" | ||
92 | graphics | ||
93 | [ | ||
94 | fill "#000000" | ||
95 | targetArrow "standard" | ||
96 | Line | ||
97 | [ | ||
98 | ] | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "next reference Element" | ||
103 | fontSize 12 | ||
104 | fontName "Dialog" | ||
105 | configuration "AutoFlippingLabel" | ||
106 | model "six_pos" | ||
107 | position "head" | ||
108 | ] | ||
109 | LabelGraphics | ||
110 | [ | ||
111 | text "[1]" | ||
112 | fontSize 12 | ||
113 | fontName "Dialog" | ||
114 | configuration "AutoFlippingLabel" | ||
115 | model "six_pos" | ||
116 | position "stail" | ||
117 | ] | ||
118 | LabelGraphics | ||
119 | [ | ||
120 | text "[1, 0, 0]" | ||
121 | fontSize 12 | ||
122 | fontName "Dialog" | ||
123 | configuration "AutoFlippingLabel" | ||
124 | model "six_pos" | ||
125 | position "ttail" | ||
126 | ] | ||
127 | ] | ||
128 | edge | ||
129 | [ | ||
130 | source 3 | ||
131 | target 3 | ||
132 | label "next reference Element" | ||
133 | graphics | ||
134 | [ | ||
135 | fill "#000000" | ||
136 | targetArrow "standard" | ||
137 | Line | ||
138 | [ | ||
139 | ] | ||
140 | ] | ||
141 | LabelGraphics | ||
142 | [ | ||
143 | text "next reference Element" | ||
144 | fontSize 12 | ||
145 | fontName "Dialog" | ||
146 | configuration "AutoFlippingLabel" | ||
147 | model "six_pos" | ||
148 | position "head" | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[1, 1, 1]" | ||
153 | fontSize 12 | ||
154 | fontName "Dialog" | ||
155 | configuration "AutoFlippingLabel" | ||
156 | model "six_pos" | ||
157 | position "stail" | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "[1, 1, 0]" | ||
162 | fontSize 12 | ||
163 | fontName "Dialog" | ||
164 | configuration "AutoFlippingLabel" | ||
165 | model "six_pos" | ||
166 | position "ttail" | ||
167 | ] | ||
168 | ] | ||
169 | edge | ||
170 | [ | ||
171 | source 3 | ||
172 | target 1 | ||
173 | label "value reference Element" | ||
174 | graphics | ||
175 | [ | ||
176 | fill "#000000" | ||
177 | targetArrow "standard" | ||
178 | Line | ||
179 | [ | ||
180 | ] | ||
181 | ] | ||
182 | LabelGraphics | ||
183 | [ | ||
184 | text "value reference Element" | ||
185 | fontSize 12 | ||
186 | fontName "Dialog" | ||
187 | configuration "AutoFlippingLabel" | ||
188 | model "six_pos" | ||
189 | position "head" | ||
190 | ] | ||
191 | LabelGraphics | ||
192 | [ | ||
193 | text "[1, 1, 1]" | ||
194 | fontSize 12 | ||
195 | fontName "Dialog" | ||
196 | configuration "AutoFlippingLabel" | ||
197 | model "six_pos" | ||
198 | position "stail" | ||
199 | ] | ||
200 | LabelGraphics | ||
201 | [ | ||
202 | text "[1]" | ||
203 | fontSize 12 | ||
204 | fontName "Dialog" | ||
205 | configuration "AutoFlippingLabel" | ||
206 | model "six_pos" | ||
207 | position "ttail" | ||
208 | ] | ||
209 | ] | ||
210 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml index e69de29b..b0f17c49 100644 --- a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModelNEIGHBOURHOOD.gml | |||
@@ -0,0 +1,724 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 176.0 | ||
9 | h 40 | ||
10 | type "roundrectangle" | ||
11 | fill "#FFCC00" | ||
12 | outline "#000000" | ||
13 | ] | ||
14 | LabelGraphics | ||
15 | [ | ||
16 | ] | ||
17 | LabelGraphics | ||
18 | [ | ||
19 | text "[Transition class] (7)" | ||
20 | fontSize 14 | ||
21 | fontName "Dialog" | ||
22 | ] | ||
23 | ] | ||
24 | node | ||
25 | [ | ||
26 | id 1 | ||
27 | graphics | ||
28 | [ | ||
29 | w 584.1 | ||
30 | h 40 | ||
31 | type "roundrectangle" | ||
32 | fill "#FFCC00" | ||
33 | outline "#000000" | ||
34 | ] | ||
35 | LabelGraphics | ||
36 | [ | ||
37 | ] | ||
38 | LabelGraphics | ||
39 | [ | ||
40 | text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" | ||
41 | fontSize 14 | ||
42 | fontName "Dialog" | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 2 | ||
48 | graphics | ||
49 | [ | ||
50 | w 360.8 | ||
51 | h 40 | ||
52 | type "roundrectangle" | ||
53 | fill "#FFCC00" | ||
54 | outline "#000000" | ||
55 | ] | ||
56 | LabelGraphics | ||
57 | [ | ||
58 | ] | ||
59 | LabelGraphics | ||
60 | [ | ||
61 | text "[Statechart class, CompositeElement class] (1)" | ||
62 | fontSize 14 | ||
63 | fontName "Dialog" | ||
64 | ] | ||
65 | ] | ||
66 | node | ||
67 | [ | ||
68 | id 3 | ||
69 | graphics | ||
70 | [ | ||
71 | w 584.1 | ||
72 | h 40 | ||
73 | type "roundrectangle" | ||
74 | fill "#FFCC00" | ||
75 | outline "#000000" | ||
76 | ] | ||
77 | LabelGraphics | ||
78 | [ | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" | ||
83 | fontSize 14 | ||
84 | fontName "Dialog" | ||
85 | ] | ||
86 | ] | ||
87 | node | ||
88 | [ | ||
89 | id 4 | ||
90 | graphics | ||
91 | [ | ||
92 | w 584.1 | ||
93 | h 40 | ||
94 | type "roundrectangle" | ||
95 | fill "#FFCC00" | ||
96 | outline "#000000" | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | ] | ||
101 | LabelGraphics | ||
102 | [ | ||
103 | text "[State class, CompositeElement class, Vertex class, RegularState class] (1)" | ||
104 | fontSize 14 | ||
105 | fontName "Dialog" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 5 | ||
111 | graphics | ||
112 | [ | ||
113 | w 584.1 | ||
114 | h 40 | ||
115 | type "roundrectangle" | ||
116 | fill "#FFCC00" | ||
117 | outline "#000000" | ||
118 | ] | ||
119 | LabelGraphics | ||
120 | [ | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "[State class, CompositeElement class, Vertex class, RegularState class] (2)" | ||
125 | fontSize 14 | ||
126 | fontName "Dialog" | ||
127 | ] | ||
128 | ] | ||
129 | node | ||
130 | [ | ||
131 | id 6 | ||
132 | graphics | ||
133 | [ | ||
134 | w 391.6 | ||
135 | h 40 | ||
136 | type "roundrectangle" | ||
137 | fill "#FFCC00" | ||
138 | outline "#000000" | ||
139 | ] | ||
140 | LabelGraphics | ||
141 | [ | ||
142 | ] | ||
143 | LabelGraphics | ||
144 | [ | ||
145 | text "[Pseudostate class, Entry class, Vertex class] (1)" | ||
146 | fontSize 14 | ||
147 | fontName "Dialog" | ||
148 | ] | ||
149 | ] | ||
150 | node | ||
151 | [ | ||
152 | id 7 | ||
153 | graphics | ||
154 | [ | ||
155 | w 145.20000000000002 | ||
156 | h 40 | ||
157 | type "roundrectangle" | ||
158 | fill "#FFCC00" | ||
159 | outline "#000000" | ||
160 | ] | ||
161 | LabelGraphics | ||
162 | [ | ||
163 | ] | ||
164 | LabelGraphics | ||
165 | [ | ||
166 | text "[Region class] (1)" | ||
167 | fontSize 14 | ||
168 | fontName "Dialog" | ||
169 | ] | ||
170 | ] | ||
171 | node | ||
172 | [ | ||
173 | id 8 | ||
174 | graphics | ||
175 | [ | ||
176 | w 176.0 | ||
177 | h 40 | ||
178 | type "roundrectangle" | ||
179 | fill "#FFCC00" | ||
180 | outline "#000000" | ||
181 | ] | ||
182 | LabelGraphics | ||
183 | [ | ||
184 | ] | ||
185 | LabelGraphics | ||
186 | [ | ||
187 | text "[Transition class] (1)" | ||
188 | fontSize 14 | ||
189 | fontName "Dialog" | ||
190 | ] | ||
191 | ] | ||
192 | edge | ||
193 | [ | ||
194 | source 2 | ||
195 | target 7 | ||
196 | label "regions reference CompositeElement" | ||
197 | graphics | ||
198 | [ | ||
199 | fill "#000000" | ||
200 | targetArrow "standard" | ||
201 | ] | ||
202 | LabelGraphics | ||
203 | [ | ||
204 | text "regions reference CompositeElement" | ||
205 | fontSize 12 | ||
206 | fontName "Dialog" | ||
207 | configuration "AutoFlippingLabel" | ||
208 | model "six_pos" | ||
209 | position "head" | ||
210 | ] | ||
211 | LabelGraphics | ||
212 | [ | ||
213 | text "[1]" | ||
214 | fontSize 12 | ||
215 | fontName "Dialog" | ||
216 | configuration "AutoFlippingLabel" | ||
217 | model "six_pos" | ||
218 | position "stail" | ||
219 | ] | ||
220 | LabelGraphics | ||
221 | [ | ||
222 | text "[1]" | ||
223 | fontSize 12 | ||
224 | fontName "Dialog" | ||
225 | configuration "AutoFlippingLabel" | ||
226 | model "six_pos" | ||
227 | position "ttail" | ||
228 | ] | ||
229 | ] | ||
230 | edge | ||
231 | [ | ||
232 | source 5 | ||
233 | target 0 | ||
234 | label "incomingTransitions reference Vertex" | ||
235 | graphics | ||
236 | [ | ||
237 | fill "#000000" | ||
238 | targetArrow "standard" | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text "incomingTransitions reference Vertex" | ||
243 | fontSize 12 | ||
244 | fontName "Dialog" | ||
245 | configuration "AutoFlippingLabel" | ||
246 | model "six_pos" | ||
247 | position "head" | ||
248 | ] | ||
249 | LabelGraphics | ||
250 | [ | ||
251 | text "[1]" | ||
252 | fontSize 12 | ||
253 | fontName "Dialog" | ||
254 | configuration "AutoFlippingLabel" | ||
255 | model "six_pos" | ||
256 | position "stail" | ||
257 | ] | ||
258 | LabelGraphics | ||
259 | [ | ||
260 | text "[1, 0, 0, 0, 0, 0, 1]" | ||
261 | fontSize 12 | ||
262 | fontName "Dialog" | ||
263 | configuration "AutoFlippingLabel" | ||
264 | model "six_pos" | ||
265 | position "ttail" | ||
266 | ] | ||
267 | ] | ||
268 | edge | ||
269 | [ | ||
270 | source 5 | ||
271 | target 0 | ||
272 | label "outgoingTransitions reference Vertex" | ||
273 | graphics | ||
274 | [ | ||
275 | fill "#000000" | ||
276 | targetArrow "standard" | ||
277 | ] | ||
278 | LabelGraphics | ||
279 | [ | ||
280 | text "outgoingTransitions reference Vertex" | ||
281 | fontSize 12 | ||
282 | fontName "Dialog" | ||
283 | configuration "AutoFlippingLabel" | ||
284 | model "six_pos" | ||
285 | position "head" | ||
286 | ] | ||
287 | LabelGraphics | ||
288 | [ | ||
289 | text "[1]" | ||
290 | fontSize 12 | ||
291 | fontName "Dialog" | ||
292 | configuration "AutoFlippingLabel" | ||
293 | model "six_pos" | ||
294 | position "stail" | ||
295 | ] | ||
296 | LabelGraphics | ||
297 | [ | ||
298 | text "[1, 1, 0, 0, 0, 0, 1, 1]" | ||
299 | fontSize 12 | ||
300 | fontName "Dialog" | ||
301 | configuration "AutoFlippingLabel" | ||
302 | model "six_pos" | ||
303 | position "ttail" | ||
304 | ] | ||
305 | ] | ||
306 | edge | ||
307 | [ | ||
308 | source 4 | ||
309 | target 0 | ||
310 | label "incomingTransitions reference Vertex" | ||
311 | graphics | ||
312 | [ | ||
313 | fill "#000000" | ||
314 | targetArrow "standard" | ||
315 | ] | ||
316 | LabelGraphics | ||
317 | [ | ||
318 | text "incomingTransitions reference Vertex" | ||
319 | fontSize 12 | ||
320 | fontName "Dialog" | ||
321 | configuration "AutoFlippingLabel" | ||
322 | model "six_pos" | ||
323 | position "head" | ||
324 | ] | ||
325 | LabelGraphics | ||
326 | [ | ||
327 | text "[2]" | ||
328 | fontSize 12 | ||
329 | fontName "Dialog" | ||
330 | configuration "AutoFlippingLabel" | ||
331 | model "six_pos" | ||
332 | position "stail" | ||
333 | ] | ||
334 | LabelGraphics | ||
335 | [ | ||
336 | text "[1, 1, 0, 0, 0, 0, 1, 1]" | ||
337 | fontSize 12 | ||
338 | fontName "Dialog" | ||
339 | configuration "AutoFlippingLabel" | ||
340 | model "six_pos" | ||
341 | position "ttail" | ||
342 | ] | ||
343 | ] | ||
344 | edge | ||
345 | [ | ||
346 | source 4 | ||
347 | target 0 | ||
348 | label "outgoingTransitions reference Vertex" | ||
349 | graphics | ||
350 | [ | ||
351 | fill "#000000" | ||
352 | targetArrow "standard" | ||
353 | ] | ||
354 | LabelGraphics | ||
355 | [ | ||
356 | text "outgoingTransitions reference Vertex" | ||
357 | fontSize 12 | ||
358 | fontName "Dialog" | ||
359 | configuration "AutoFlippingLabel" | ||
360 | model "six_pos" | ||
361 | position "head" | ||
362 | ] | ||
363 | LabelGraphics | ||
364 | [ | ||
365 | text "[4]" | ||
366 | fontSize 12 | ||
367 | fontName "Dialog" | ||
368 | configuration "AutoFlippingLabel" | ||
369 | model "six_pos" | ||
370 | position "stail" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "[1, 1, 1, 0, 0, 0, 1, 1, 1]" | ||
375 | fontSize 12 | ||
376 | fontName "Dialog" | ||
377 | configuration "AutoFlippingLabel" | ||
378 | model "six_pos" | ||
379 | position "ttail" | ||
380 | ] | ||
381 | ] | ||
382 | edge | ||
383 | [ | ||
384 | source 3 | ||
385 | target 0 | ||
386 | label "incomingTransitions reference Vertex" | ||
387 | graphics | ||
388 | [ | ||
389 | fill "#000000" | ||
390 | targetArrow "standard" | ||
391 | ] | ||
392 | LabelGraphics | ||
393 | [ | ||
394 | text "incomingTransitions reference Vertex" | ||
395 | fontSize 12 | ||
396 | fontName "Dialog" | ||
397 | configuration "AutoFlippingLabel" | ||
398 | model "six_pos" | ||
399 | position "head" | ||
400 | ] | ||
401 | LabelGraphics | ||
402 | [ | ||
403 | text "[1, 2]" | ||
404 | fontSize 12 | ||
405 | fontName "Dialog" | ||
406 | configuration "AutoFlippingLabel" | ||
407 | model "six_pos" | ||
408 | position "stail" | ||
409 | ] | ||
410 | LabelGraphics | ||
411 | [ | ||
412 | text "[1, 1, 0, 0, 0, 0, 1, 1]" | ||
413 | fontSize 12 | ||
414 | fontName "Dialog" | ||
415 | configuration "AutoFlippingLabel" | ||
416 | model "six_pos" | ||
417 | position "ttail" | ||
418 | ] | ||
419 | ] | ||
420 | edge | ||
421 | [ | ||
422 | source 3 | ||
423 | target 0 | ||
424 | label "outgoingTransitions reference Vertex" | ||
425 | graphics | ||
426 | [ | ||
427 | fill "#000000" | ||
428 | targetArrow "standard" | ||
429 | ] | ||
430 | LabelGraphics | ||
431 | [ | ||
432 | text "outgoingTransitions reference Vertex" | ||
433 | fontSize 12 | ||
434 | fontName "Dialog" | ||
435 | configuration "AutoFlippingLabel" | ||
436 | model "six_pos" | ||
437 | position "head" | ||
438 | ] | ||
439 | LabelGraphics | ||
440 | [ | ||
441 | text "[1]" | ||
442 | fontSize 12 | ||
443 | fontName "Dialog" | ||
444 | configuration "AutoFlippingLabel" | ||
445 | model "six_pos" | ||
446 | position "stail" | ||
447 | ] | ||
448 | LabelGraphics | ||
449 | [ | ||
450 | text "[1, 0, 0, 0, 0, 0, 1]" | ||
451 | fontSize 12 | ||
452 | fontName "Dialog" | ||
453 | configuration "AutoFlippingLabel" | ||
454 | model "six_pos" | ||
455 | position "ttail" | ||
456 | ] | ||
457 | ] | ||
458 | edge | ||
459 | [ | ||
460 | source 6 | ||
461 | target 8 | ||
462 | label "outgoingTransitions reference Vertex" | ||
463 | graphics | ||
464 | [ | ||
465 | fill "#000000" | ||
466 | targetArrow "standard" | ||
467 | ] | ||
468 | LabelGraphics | ||
469 | [ | ||
470 | text "outgoingTransitions reference Vertex" | ||
471 | fontSize 12 | ||
472 | fontName "Dialog" | ||
473 | configuration "AutoFlippingLabel" | ||
474 | model "six_pos" | ||
475 | position "head" | ||
476 | ] | ||
477 | LabelGraphics | ||
478 | [ | ||
479 | text "[1]" | ||
480 | fontSize 12 | ||
481 | fontName "Dialog" | ||
482 | configuration "AutoFlippingLabel" | ||
483 | model "six_pos" | ||
484 | position "stail" | ||
485 | ] | ||
486 | LabelGraphics | ||
487 | [ | ||
488 | text "[1]" | ||
489 | fontSize 12 | ||
490 | fontName "Dialog" | ||
491 | configuration "AutoFlippingLabel" | ||
492 | model "six_pos" | ||
493 | position "ttail" | ||
494 | ] | ||
495 | ] | ||
496 | edge | ||
497 | [ | ||
498 | source 7 | ||
499 | target 6 | ||
500 | label "vertices reference Region" | ||
501 | graphics | ||
502 | [ | ||
503 | fill "#000000" | ||
504 | targetArrow "standard" | ||
505 | ] | ||
506 | LabelGraphics | ||
507 | [ | ||
508 | text "vertices reference Region" | ||
509 | fontSize 12 | ||
510 | fontName "Dialog" | ||
511 | configuration "AutoFlippingLabel" | ||
512 | model "six_pos" | ||
513 | position "head" | ||
514 | ] | ||
515 | LabelGraphics | ||
516 | [ | ||
517 | text "[1, 1, 1, 2, 1]" | ||
518 | fontSize 12 | ||
519 | fontName "Dialog" | ||
520 | configuration "AutoFlippingLabel" | ||
521 | model "six_pos" | ||
522 | position "stail" | ||
523 | ] | ||
524 | LabelGraphics | ||
525 | [ | ||
526 | text "[1]" | ||
527 | fontSize 12 | ||
528 | fontName "Dialog" | ||
529 | configuration "AutoFlippingLabel" | ||
530 | model "six_pos" | ||
531 | position "ttail" | ||
532 | ] | ||
533 | ] | ||
534 | edge | ||
535 | [ | ||
536 | source 0 | ||
537 | target 1 | ||
538 | label "target reference Transition" | ||
539 | graphics | ||
540 | [ | ||
541 | fill "#000000" | ||
542 | targetArrow "standard" | ||
543 | ] | ||
544 | LabelGraphics | ||
545 | [ | ||
546 | text "target reference Transition" | ||
547 | fontSize 12 | ||
548 | fontName "Dialog" | ||
549 | configuration "AutoFlippingLabel" | ||
550 | model "six_pos" | ||
551 | position "head" | ||
552 | ] | ||
553 | LabelGraphics | ||
554 | [ | ||
555 | text "[1, 1, 1, 1, 1, 1]" | ||
556 | fontSize 12 | ||
557 | fontName "Dialog" | ||
558 | configuration "AutoFlippingLabel" | ||
559 | model "six_pos" | ||
560 | position "stail" | ||
561 | ] | ||
562 | LabelGraphics | ||
563 | [ | ||
564 | text "[1, 2]" | ||
565 | fontSize 12 | ||
566 | fontName "Dialog" | ||
567 | configuration "AutoFlippingLabel" | ||
568 | model "six_pos" | ||
569 | position "ttail" | ||
570 | ] | ||
571 | ] | ||
572 | edge | ||
573 | [ | ||
574 | source 0 | ||
575 | target 4 | ||
576 | label "source reference Transition" | ||
577 | graphics | ||
578 | [ | ||
579 | fill "#000000" | ||
580 | targetArrow "standard" | ||
581 | ] | ||
582 | LabelGraphics | ||
583 | [ | ||
584 | text "source reference Transition" | ||
585 | fontSize 12 | ||
586 | fontName "Dialog" | ||
587 | configuration "AutoFlippingLabel" | ||
588 | model "six_pos" | ||
589 | position "head" | ||
590 | ] | ||
591 | LabelGraphics | ||
592 | [ | ||
593 | text "[1, 1, 1, 1, 1, 1]" | ||
594 | fontSize 12 | ||
595 | fontName "Dialog" | ||
596 | configuration "AutoFlippingLabel" | ||
597 | model "six_pos" | ||
598 | position "stail" | ||
599 | ] | ||
600 | LabelGraphics | ||
601 | [ | ||
602 | text "[4]" | ||
603 | fontSize 12 | ||
604 | fontName "Dialog" | ||
605 | configuration "AutoFlippingLabel" | ||
606 | model "six_pos" | ||
607 | position "ttail" | ||
608 | ] | ||
609 | ] | ||
610 | edge | ||
611 | [ | ||
612 | source 1 | ||
613 | target 0 | ||
614 | label "incomingTransitions reference Vertex" | ||
615 | graphics | ||
616 | [ | ||
617 | fill "#000000" | ||
618 | targetArrow "standard" | ||
619 | ] | ||
620 | LabelGraphics | ||
621 | [ | ||
622 | text "incomingTransitions reference Vertex" | ||
623 | fontSize 12 | ||
624 | fontName "Dialog" | ||
625 | configuration "AutoFlippingLabel" | ||
626 | model "six_pos" | ||
627 | position "head" | ||
628 | ] | ||
629 | LabelGraphics | ||
630 | [ | ||
631 | text "[1]" | ||
632 | fontSize 12 | ||
633 | fontName "Dialog" | ||
634 | configuration "AutoFlippingLabel" | ||
635 | model "six_pos" | ||
636 | position "stail" | ||
637 | ] | ||
638 | LabelGraphics | ||
639 | [ | ||
640 | text "[1, 0, 0, 0, 0, 0]" | ||
641 | fontSize 12 | ||
642 | fontName "Dialog" | ||
643 | configuration "AutoFlippingLabel" | ||
644 | model "six_pos" | ||
645 | position "ttail" | ||
646 | ] | ||
647 | ] | ||
648 | edge | ||
649 | [ | ||
650 | source 8 | ||
651 | target 3 | ||
652 | label "target reference Transition" | ||
653 | graphics | ||
654 | [ | ||
655 | fill "#000000" | ||
656 | targetArrow "standard" | ||
657 | ] | ||
658 | LabelGraphics | ||
659 | [ | ||
660 | text "target reference Transition" | ||
661 | fontSize 12 | ||
662 | fontName "Dialog" | ||
663 | configuration "AutoFlippingLabel" | ||
664 | model "six_pos" | ||
665 | position "head" | ||
666 | ] | ||
667 | LabelGraphics | ||
668 | [ | ||
669 | text "[1]" | ||
670 | fontSize 12 | ||
671 | fontName "Dialog" | ||
672 | configuration "AutoFlippingLabel" | ||
673 | model "six_pos" | ||
674 | position "stail" | ||
675 | ] | ||
676 | LabelGraphics | ||
677 | [ | ||
678 | text "[1]" | ||
679 | fontSize 12 | ||
680 | fontName "Dialog" | ||
681 | configuration "AutoFlippingLabel" | ||
682 | model "six_pos" | ||
683 | position "ttail" | ||
684 | ] | ||
685 | ] | ||
686 | edge | ||
687 | [ | ||
688 | source 8 | ||
689 | target 6 | ||
690 | label "source reference Transition" | ||
691 | graphics | ||
692 | [ | ||
693 | fill "#000000" | ||
694 | targetArrow "standard" | ||
695 | ] | ||
696 | LabelGraphics | ||
697 | [ | ||
698 | text "source reference Transition" | ||
699 | fontSize 12 | ||
700 | fontName "Dialog" | ||
701 | configuration "AutoFlippingLabel" | ||
702 | model "six_pos" | ||
703 | position "head" | ||
704 | ] | ||
705 | LabelGraphics | ||
706 | [ | ||
707 | text "[1]" | ||
708 | fontSize 12 | ||
709 | fontName "Dialog" | ||
710 | configuration "AutoFlippingLabel" | ||
711 | model "six_pos" | ||
712 | position "stail" | ||
713 | ] | ||
714 | LabelGraphics | ||
715 | [ | ||
716 | text "[1]" | ||
717 | fontSize 12 | ||
718 | fontName "Dialog" | ||
719 | configuration "AutoFlippingLabel" | ||
720 | model "six_pos" | ||
721 | position "ttail" | ||
722 | ] | ||
723 | ] | ||
724 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml new file mode 100644 index 00000000..0cfc9216 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic0NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,304 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x 95.0 | ||
15 | y -28.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (5)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 357.0 | ||
40 | y -28.0 | ||
41 | w 176.0 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[Statechart class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x -158.0 | ||
65 | y -28.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[Entry class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | edge | ||
84 | [ | ||
85 | source 0 | ||
86 | target 0 | ||
87 | label "next reference State" | ||
88 | graphics | ||
89 | [ | ||
90 | fill "#000000" | ||
91 | targetArrow "standard" | ||
92 | Line | ||
93 | [ | ||
94 | point | ||
95 | [ | ||
96 | x 95.0 | ||
97 | y -28.0 | ||
98 | ] | ||
99 | point | ||
100 | [ | ||
101 | x 105.0 | ||
102 | y -199.0 | ||
103 | ] | ||
104 | point | ||
105 | [ | ||
106 | x 95.0 | ||
107 | y -28.0 | ||
108 | ] | ||
109 | ] | ||
110 | ] | ||
111 | LabelGraphics | ||
112 | [ | ||
113 | text "next reference State" | ||
114 | fontSize 12 | ||
115 | fontName "Dialog" | ||
116 | configuration "AutoFlippingLabel" | ||
117 | contentWidth 112.064453125 | ||
118 | contentHeight 18.701171875 | ||
119 | model "six_pos" | ||
120 | position "head" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "[1, 1]" | ||
125 | fontSize 12 | ||
126 | fontName "Dialog" | ||
127 | configuration "AutoFlippingLabel" | ||
128 | contentWidth 30.68359375 | ||
129 | contentHeight 18.701171875 | ||
130 | model "six_pos" | ||
131 | position "stail" | ||
132 | ] | ||
133 | LabelGraphics | ||
134 | [ | ||
135 | text "[1, 1]" | ||
136 | fontSize 12 | ||
137 | fontName "Dialog" | ||
138 | configuration "AutoFlippingLabel" | ||
139 | contentWidth 30.68359375 | ||
140 | contentHeight 18.701171875 | ||
141 | model "six_pos" | ||
142 | position "shead" | ||
143 | ] | ||
144 | ] | ||
145 | edge | ||
146 | [ | ||
147 | source 1 | ||
148 | target 0 | ||
149 | label "state reference Statechart" | ||
150 | graphics | ||
151 | [ | ||
152 | fill "#000000" | ||
153 | targetArrow "standard" | ||
154 | ] | ||
155 | LabelGraphics | ||
156 | [ | ||
157 | text "state reference Statechart" | ||
158 | fontSize 12 | ||
159 | fontName "Dialog" | ||
160 | configuration "AutoFlippingLabel" | ||
161 | contentWidth 142.076171875 | ||
162 | contentHeight 18.701171875 | ||
163 | model "six_pos" | ||
164 | position "head" | ||
165 | ] | ||
166 | LabelGraphics | ||
167 | [ | ||
168 | text "[5]" | ||
169 | fontSize 12 | ||
170 | fontName "Dialog" | ||
171 | configuration "AutoFlippingLabel" | ||
172 | contentWidth 17.341796875 | ||
173 | contentHeight 18.701171875 | ||
174 | model "six_pos" | ||
175 | position "stail" | ||
176 | ] | ||
177 | LabelGraphics | ||
178 | [ | ||
179 | text "[1, 1]" | ||
180 | fontSize 12 | ||
181 | fontName "Dialog" | ||
182 | configuration "AutoFlippingLabel" | ||
183 | contentWidth 30.68359375 | ||
184 | contentHeight 18.701171875 | ||
185 | model "six_pos" | ||
186 | position "ttail" | ||
187 | ] | ||
188 | ] | ||
189 | edge | ||
190 | [ | ||
191 | source 1 | ||
192 | target 2 | ||
193 | label "entry reference Statechart" | ||
194 | graphics | ||
195 | [ | ||
196 | fill "#000000" | ||
197 | targetArrow "standard" | ||
198 | Line | ||
199 | [ | ||
200 | point | ||
201 | [ | ||
202 | x 357.0 | ||
203 | y -28.0 | ||
204 | ] | ||
205 | point | ||
206 | [ | ||
207 | x 357.0 | ||
208 | y 130.0 | ||
209 | ] | ||
210 | point | ||
211 | [ | ||
212 | x -158.0 | ||
213 | y 130.0 | ||
214 | ] | ||
215 | point | ||
216 | [ | ||
217 | x -158.0 | ||
218 | y -28.0 | ||
219 | ] | ||
220 | ] | ||
221 | ] | ||
222 | edgeAnchor | ||
223 | [ | ||
224 | ySource 1.0 | ||
225 | ] | ||
226 | LabelGraphics | ||
227 | [ | ||
228 | text "entry reference Statechart" | ||
229 | fontSize 12 | ||
230 | fontName "Dialog" | ||
231 | configuration "AutoFlippingLabel" | ||
232 | contentWidth 142.73828125 | ||
233 | contentHeight 18.701171875 | ||
234 | model "six_pos" | ||
235 | position "head" | ||
236 | ] | ||
237 | LabelGraphics | ||
238 | [ | ||
239 | text "[1]" | ||
240 | fontSize 12 | ||
241 | fontName "Dialog" | ||
242 | configuration "AutoFlippingLabel" | ||
243 | contentWidth 17.341796875 | ||
244 | contentHeight 18.701171875 | ||
245 | model "six_pos" | ||
246 | position "stail" | ||
247 | ] | ||
248 | LabelGraphics | ||
249 | [ | ||
250 | text "[1]" | ||
251 | fontSize 12 | ||
252 | fontName "Dialog" | ||
253 | configuration "AutoFlippingLabel" | ||
254 | contentWidth 17.341796875 | ||
255 | contentHeight 18.701171875 | ||
256 | model "six_pos" | ||
257 | position "ttail" | ||
258 | ] | ||
259 | ] | ||
260 | edge | ||
261 | [ | ||
262 | source 2 | ||
263 | target 0 | ||
264 | label "entry reference Entry" | ||
265 | graphics | ||
266 | [ | ||
267 | fill "#000000" | ||
268 | targetArrow "standard" | ||
269 | ] | ||
270 | LabelGraphics | ||
271 | [ | ||
272 | text "entry reference Entry" | ||
273 | fontSize 12 | ||
274 | fontName "Dialog" | ||
275 | configuration "AutoFlippingLabel" | ||
276 | contentWidth 116.048828125 | ||
277 | contentHeight 18.701171875 | ||
278 | model "six_pos" | ||
279 | position "head" | ||
280 | ] | ||
281 | LabelGraphics | ||
282 | [ | ||
283 | text "[1]" | ||
284 | fontSize 12 | ||
285 | fontName "Dialog" | ||
286 | configuration "AutoFlippingLabel" | ||
287 | contentWidth 17.341796875 | ||
288 | contentHeight 18.701171875 | ||
289 | model "six_pos" | ||
290 | position "stail" | ||
291 | ] | ||
292 | LabelGraphics | ||
293 | [ | ||
294 | text "[1, 0]" | ||
295 | fontSize 12 | ||
296 | fontName "Dialog" | ||
297 | configuration "AutoFlippingLabel" | ||
298 | contentWidth 30.68359375 | ||
299 | contentHeight 18.701171875 | ||
300 | model "six_pos" | ||
301 | position "ttail" | ||
302 | ] | ||
303 | ] | ||
304 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..868b39c5 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic1NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,374 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 137.5 | ||
9 | h 40 | ||
10 | type "roundrectangle" | ||
11 | fill "#FFCC00" | ||
12 | outline "#000000" | ||
13 | ] | ||
14 | LabelGraphics | ||
15 | [ | ||
16 | ] | ||
17 | LabelGraphics | ||
18 | [ | ||
19 | text "[Entry class] (1)" | ||
20 | fontSize 14 | ||
21 | fontName "Dialog" | ||
22 | ] | ||
23 | ] | ||
24 | node | ||
25 | [ | ||
26 | id 1 | ||
27 | graphics | ||
28 | [ | ||
29 | w 137.5 | ||
30 | h 40 | ||
31 | type "roundrectangle" | ||
32 | fill "#FFCC00" | ||
33 | outline "#000000" | ||
34 | ] | ||
35 | LabelGraphics | ||
36 | [ | ||
37 | ] | ||
38 | LabelGraphics | ||
39 | [ | ||
40 | text "[State class] (4)" | ||
41 | fontSize 14 | ||
42 | fontName "Dialog" | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 2 | ||
48 | graphics | ||
49 | [ | ||
50 | w 176.0 | ||
51 | h 40 | ||
52 | type "roundrectangle" | ||
53 | fill "#FFCC00" | ||
54 | outline "#000000" | ||
55 | ] | ||
56 | LabelGraphics | ||
57 | [ | ||
58 | ] | ||
59 | LabelGraphics | ||
60 | [ | ||
61 | text "[Statechart class] (1)" | ||
62 | fontSize 14 | ||
63 | fontName "Dialog" | ||
64 | ] | ||
65 | ] | ||
66 | node | ||
67 | [ | ||
68 | id 3 | ||
69 | graphics | ||
70 | [ | ||
71 | w 137.5 | ||
72 | h 40 | ||
73 | type "roundrectangle" | ||
74 | fill "#FFCC00" | ||
75 | outline "#000000" | ||
76 | ] | ||
77 | LabelGraphics | ||
78 | [ | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "[State class] (1)" | ||
83 | fontSize 14 | ||
84 | fontName "Dialog" | ||
85 | ] | ||
86 | ] | ||
87 | edge | ||
88 | [ | ||
89 | source 0 | ||
90 | target 3 | ||
91 | label "entry reference Entry" | ||
92 | graphics | ||
93 | [ | ||
94 | fill "#000000" | ||
95 | targetArrow "standard" | ||
96 | Line | ||
97 | [ | ||
98 | ] | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "entry reference Entry" | ||
103 | fontSize 12 | ||
104 | fontName "Dialog" | ||
105 | configuration "AutoFlippingLabel" | ||
106 | model "six_pos" | ||
107 | position "head" | ||
108 | ] | ||
109 | LabelGraphics | ||
110 | [ | ||
111 | text "[1]" | ||
112 | fontSize 12 | ||
113 | fontName "Dialog" | ||
114 | configuration "AutoFlippingLabel" | ||
115 | model "six_pos" | ||
116 | position "stail" | ||
117 | ] | ||
118 | LabelGraphics | ||
119 | [ | ||
120 | text "[1]" | ||
121 | fontSize 12 | ||
122 | fontName "Dialog" | ||
123 | configuration "AutoFlippingLabel" | ||
124 | model "six_pos" | ||
125 | position "ttail" | ||
126 | ] | ||
127 | ] | ||
128 | edge | ||
129 | [ | ||
130 | source 1 | ||
131 | target 3 | ||
132 | label "next reference State" | ||
133 | graphics | ||
134 | [ | ||
135 | fill "#000000" | ||
136 | targetArrow "standard" | ||
137 | Line | ||
138 | [ | ||
139 | ] | ||
140 | ] | ||
141 | LabelGraphics | ||
142 | [ | ||
143 | text "next reference State" | ||
144 | fontSize 12 | ||
145 | fontName "Dialog" | ||
146 | configuration "AutoFlippingLabel" | ||
147 | model "six_pos" | ||
148 | position "head" | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[1, 0, 0]" | ||
153 | fontSize 12 | ||
154 | fontName "Dialog" | ||
155 | configuration "AutoFlippingLabel" | ||
156 | model "six_pos" | ||
157 | position "stail" | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "[1, 1, 1]" | ||
162 | fontSize 12 | ||
163 | fontName "Dialog" | ||
164 | configuration "AutoFlippingLabel" | ||
165 | model "six_pos" | ||
166 | position "ttail" | ||
167 | ] | ||
168 | ] | ||
169 | edge | ||
170 | [ | ||
171 | source 1 | ||
172 | target 1 | ||
173 | label "next reference State" | ||
174 | graphics | ||
175 | [ | ||
176 | fill "#000000" | ||
177 | targetArrow "standard" | ||
178 | Line | ||
179 | [ | ||
180 | ] | ||
181 | ] | ||
182 | LabelGraphics | ||
183 | [ | ||
184 | text "next reference State" | ||
185 | fontSize 12 | ||
186 | fontName "Dialog" | ||
187 | configuration "AutoFlippingLabel" | ||
188 | model "six_pos" | ||
189 | position "head" | ||
190 | ] | ||
191 | LabelGraphics | ||
192 | [ | ||
193 | text "[1, 1, 0]" | ||
194 | fontSize 12 | ||
195 | fontName "Dialog" | ||
196 | configuration "AutoFlippingLabel" | ||
197 | model "six_pos" | ||
198 | position "stail" | ||
199 | ] | ||
200 | LabelGraphics | ||
201 | [ | ||
202 | text "[1, 1, 1]" | ||
203 | fontSize 12 | ||
204 | fontName "Dialog" | ||
205 | configuration "AutoFlippingLabel" | ||
206 | model "six_pos" | ||
207 | position "ttail" | ||
208 | ] | ||
209 | ] | ||
210 | edge | ||
211 | [ | ||
212 | source 2 | ||
213 | target 3 | ||
214 | label "state reference Statechart" | ||
215 | graphics | ||
216 | [ | ||
217 | fill "#000000" | ||
218 | targetArrow "standard" | ||
219 | Line | ||
220 | [ | ||
221 | ] | ||
222 | ] | ||
223 | LabelGraphics | ||
224 | [ | ||
225 | text "state reference Statechart" | ||
226 | fontSize 12 | ||
227 | fontName "Dialog" | ||
228 | configuration "AutoFlippingLabel" | ||
229 | model "six_pos" | ||
230 | position "head" | ||
231 | ] | ||
232 | LabelGraphics | ||
233 | [ | ||
234 | text "[1]" | ||
235 | fontSize 12 | ||
236 | fontName "Dialog" | ||
237 | configuration "AutoFlippingLabel" | ||
238 | model "six_pos" | ||
239 | position "stail" | ||
240 | ] | ||
241 | LabelGraphics | ||
242 | [ | ||
243 | text "[1, 1, 1, 1]" | ||
244 | fontSize 12 | ||
245 | fontName "Dialog" | ||
246 | configuration "AutoFlippingLabel" | ||
247 | model "six_pos" | ||
248 | position "ttail" | ||
249 | ] | ||
250 | ] | ||
251 | edge | ||
252 | [ | ||
253 | source 2 | ||
254 | target 0 | ||
255 | label "entry reference Statechart" | ||
256 | graphics | ||
257 | [ | ||
258 | fill "#000000" | ||
259 | targetArrow "standard" | ||
260 | Line | ||
261 | [ | ||
262 | ] | ||
263 | ] | ||
264 | LabelGraphics | ||
265 | [ | ||
266 | text "entry reference Statechart" | ||
267 | fontSize 12 | ||
268 | fontName "Dialog" | ||
269 | configuration "AutoFlippingLabel" | ||
270 | model "six_pos" | ||
271 | position "head" | ||
272 | ] | ||
273 | LabelGraphics | ||
274 | [ | ||
275 | text "[1]" | ||
276 | fontSize 12 | ||
277 | fontName "Dialog" | ||
278 | configuration "AutoFlippingLabel" | ||
279 | model "six_pos" | ||
280 | position "stail" | ||
281 | ] | ||
282 | LabelGraphics | ||
283 | [ | ||
284 | text "[1]" | ||
285 | fontSize 12 | ||
286 | fontName "Dialog" | ||
287 | configuration "AutoFlippingLabel" | ||
288 | model "six_pos" | ||
289 | position "ttail" | ||
290 | ] | ||
291 | ] | ||
292 | edge | ||
293 | [ | ||
294 | source 2 | ||
295 | target 1 | ||
296 | label "state reference Statechart" | ||
297 | graphics | ||
298 | [ | ||
299 | fill "#000000" | ||
300 | targetArrow "standard" | ||
301 | Line | ||
302 | [ | ||
303 | ] | ||
304 | ] | ||
305 | LabelGraphics | ||
306 | [ | ||
307 | text "state reference Statechart" | ||
308 | fontSize 12 | ||
309 | fontName "Dialog" | ||
310 | configuration "AutoFlippingLabel" | ||
311 | model "six_pos" | ||
312 | position "head" | ||
313 | ] | ||
314 | LabelGraphics | ||
315 | [ | ||
316 | text "[4]" | ||
317 | fontSize 12 | ||
318 | fontName "Dialog" | ||
319 | configuration "AutoFlippingLabel" | ||
320 | model "six_pos" | ||
321 | position "stail" | ||
322 | ] | ||
323 | LabelGraphics | ||
324 | [ | ||
325 | text "[1, 1, 1, 1]" | ||
326 | fontSize 12 | ||
327 | fontName "Dialog" | ||
328 | configuration "AutoFlippingLabel" | ||
329 | model "six_pos" | ||
330 | position "ttail" | ||
331 | ] | ||
332 | ] | ||
333 | edge | ||
334 | [ | ||
335 | source 3 | ||
336 | target 1 | ||
337 | label "next reference State" | ||
338 | graphics | ||
339 | [ | ||
340 | fill "#000000" | ||
341 | targetArrow "standard" | ||
342 | Line | ||
343 | [ | ||
344 | ] | ||
345 | ] | ||
346 | LabelGraphics | ||
347 | [ | ||
348 | text "next reference State" | ||
349 | fontSize 12 | ||
350 | fontName "Dialog" | ||
351 | configuration "AutoFlippingLabel" | ||
352 | model "six_pos" | ||
353 | position "head" | ||
354 | ] | ||
355 | LabelGraphics | ||
356 | [ | ||
357 | text "[1]" | ||
358 | fontSize 12 | ||
359 | fontName "Dialog" | ||
360 | configuration "AutoFlippingLabel" | ||
361 | model "six_pos" | ||
362 | position "stail" | ||
363 | ] | ||
364 | LabelGraphics | ||
365 | [ | ||
366 | text "[1, 0, 0]" | ||
367 | fontSize 12 | ||
368 | fontName "Dialog" | ||
369 | configuration "AutoFlippingLabel" | ||
370 | model "six_pos" | ||
371 | position "ttail" | ||
372 | ] | ||
373 | ] | ||
374 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml new file mode 100644 index 00000000..4fe07a99 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic2NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,560 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x -316.0 | ||
15 | y 303.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 49.0 | ||
40 | y -220.0 | ||
41 | w 176.0 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[Statechart class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x -280.0 | ||
65 | y 100.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[State class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x 156.0 | ||
90 | y 100.0 | ||
91 | w 137.5 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[State class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 4 | ||
111 | label "" | ||
112 | graphics | ||
113 | [ | ||
114 | x -270.0 | ||
115 | y -92.0 | ||
116 | w 137.5 | ||
117 | h 40.0 | ||
118 | type "roundrectangle" | ||
119 | fill "#FFCC00" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | ] | ||
125 | LabelGraphics | ||
126 | [ | ||
127 | text "[Entry class] (1)" | ||
128 | fontSize 14 | ||
129 | fontName "Dialog" | ||
130 | anchor "c" | ||
131 | ] | ||
132 | ] | ||
133 | node | ||
134 | [ | ||
135 | id 5 | ||
136 | label "" | ||
137 | graphics | ||
138 | [ | ||
139 | x 425.0 | ||
140 | y -220.0 | ||
141 | w 137.5 | ||
142 | h 40.0 | ||
143 | type "roundrectangle" | ||
144 | fill "#FFCC00" | ||
145 | outline "#000000" | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[State class] (2)" | ||
153 | fontSize 14 | ||
154 | fontName "Dialog" | ||
155 | anchor "c" | ||
156 | ] | ||
157 | ] | ||
158 | edge | ||
159 | [ | ||
160 | source 0 | ||
161 | target 2 | ||
162 | label "next reference State" | ||
163 | graphics | ||
164 | [ | ||
165 | fill "#000000" | ||
166 | targetArrow "standard" | ||
167 | Line | ||
168 | [ | ||
169 | point | ||
170 | [ | ||
171 | x -316.0 | ||
172 | y 303.0 | ||
173 | ] | ||
174 | point | ||
175 | [ | ||
176 | x -280.0 | ||
177 | y 198.5 | ||
178 | ] | ||
179 | point | ||
180 | [ | ||
181 | x -292.0 | ||
182 | y 198.5 | ||
183 | ] | ||
184 | point | ||
185 | [ | ||
186 | x -280.0 | ||
187 | y 100.0 | ||
188 | ] | ||
189 | ] | ||
190 | ] | ||
191 | edgeAnchor | ||
192 | [ | ||
193 | xSource 0.5236363636363637 | ||
194 | xTarget -0.17454545454545456 | ||
195 | ] | ||
196 | LabelGraphics | ||
197 | [ | ||
198 | text "next reference State" | ||
199 | fontSize 12 | ||
200 | fontName "Dialog" | ||
201 | configuration "AutoFlippingLabel" | ||
202 | contentWidth 112.064453125 | ||
203 | contentHeight 18.701171875 | ||
204 | model "six_pos" | ||
205 | position "head" | ||
206 | ] | ||
207 | LabelGraphics | ||
208 | [ | ||
209 | text "[1]" | ||
210 | fontSize 12 | ||
211 | fontName "Dialog" | ||
212 | configuration "AutoFlippingLabel" | ||
213 | contentWidth 17.341796875 | ||
214 | contentHeight 18.701171875 | ||
215 | model "six_pos" | ||
216 | position "stail" | ||
217 | ] | ||
218 | LabelGraphics | ||
219 | [ | ||
220 | text "[1]" | ||
221 | fontSize 12 | ||
222 | fontName "Dialog" | ||
223 | configuration "AutoFlippingLabel" | ||
224 | contentWidth 17.341796875 | ||
225 | contentHeight 18.701171875 | ||
226 | model "six_pos" | ||
227 | position "ttail" | ||
228 | ] | ||
229 | ] | ||
230 | edge | ||
231 | [ | ||
232 | source 1 | ||
233 | target 5 | ||
234 | label "state reference Statechart" | ||
235 | graphics | ||
236 | [ | ||
237 | fill "#000000" | ||
238 | targetArrow "standard" | ||
239 | ] | ||
240 | edgeAnchor | ||
241 | [ | ||
242 | xSource -0.625 | ||
243 | ] | ||
244 | LabelGraphics | ||
245 | [ | ||
246 | text "state reference Statechart" | ||
247 | fontSize 12 | ||
248 | fontName "Dialog" | ||
249 | configuration "AutoFlippingLabel" | ||
250 | contentWidth 142.076171875 | ||
251 | contentHeight 18.701171875 | ||
252 | model "six_pos" | ||
253 | position "head" | ||
254 | ] | ||
255 | LabelGraphics | ||
256 | [ | ||
257 | text "[1, 1, 1, 2]" | ||
258 | fontSize 12 | ||
259 | fontName "Dialog" | ||
260 | configuration "AutoFlippingLabel" | ||
261 | contentWidth 57.3671875 | ||
262 | contentHeight 18.701171875 | ||
263 | model "six_pos" | ||
264 | position "stail" | ||
265 | ] | ||
266 | LabelGraphics | ||
267 | [ | ||
268 | text "[1, 1]" | ||
269 | fontSize 12 | ||
270 | fontName "Dialog" | ||
271 | configuration "AutoFlippingLabel" | ||
272 | contentWidth 30.68359375 | ||
273 | contentHeight 18.701171875 | ||
274 | model "six_pos" | ||
275 | position "ttail" | ||
276 | ] | ||
277 | ] | ||
278 | edge | ||
279 | [ | ||
280 | source 1 | ||
281 | target 4 | ||
282 | label "entry reference Statechart" | ||
283 | graphics | ||
284 | [ | ||
285 | fill "#000000" | ||
286 | targetArrow "standard" | ||
287 | Line | ||
288 | [ | ||
289 | point | ||
290 | [ | ||
291 | x 49.0 | ||
292 | y -220.0 | ||
293 | ] | ||
294 | point | ||
295 | [ | ||
296 | x -270.0 | ||
297 | y -220.0 | ||
298 | ] | ||
299 | point | ||
300 | [ | ||
301 | x -270.0 | ||
302 | y -92.0 | ||
303 | ] | ||
304 | ] | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "entry reference Statechart" | ||
309 | fontSize 12 | ||
310 | fontName "Dialog" | ||
311 | configuration "AutoFlippingLabel" | ||
312 | contentWidth 142.73828125 | ||
313 | contentHeight 18.701171875 | ||
314 | model "six_pos" | ||
315 | position "head" | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text "[1]" | ||
320 | fontSize 12 | ||
321 | fontName "Dialog" | ||
322 | configuration "AutoFlippingLabel" | ||
323 | contentWidth 17.341796875 | ||
324 | contentHeight 18.701171875 | ||
325 | model "six_pos" | ||
326 | position "stail" | ||
327 | ] | ||
328 | LabelGraphics | ||
329 | [ | ||
330 | text "[1]" | ||
331 | fontSize 12 | ||
332 | fontName "Dialog" | ||
333 | configuration "AutoFlippingLabel" | ||
334 | contentWidth 17.341796875 | ||
335 | contentHeight 18.701171875 | ||
336 | model "six_pos" | ||
337 | position "ttail" | ||
338 | ] | ||
339 | ] | ||
340 | edge | ||
341 | [ | ||
342 | source 2 | ||
343 | target 3 | ||
344 | label "next reference State" | ||
345 | graphics | ||
346 | [ | ||
347 | fill "#000000" | ||
348 | targetArrow "standard" | ||
349 | ] | ||
350 | LabelGraphics | ||
351 | [ | ||
352 | text "next reference State" | ||
353 | fontSize 12 | ||
354 | fontName "Dialog" | ||
355 | configuration "AutoFlippingLabel" | ||
356 | contentWidth 112.064453125 | ||
357 | contentHeight 18.701171875 | ||
358 | model "six_pos" | ||
359 | position "head" | ||
360 | ] | ||
361 | LabelGraphics | ||
362 | [ | ||
363 | text "[1]" | ||
364 | fontSize 12 | ||
365 | fontName "Dialog" | ||
366 | configuration "AutoFlippingLabel" | ||
367 | contentWidth 17.341796875 | ||
368 | contentHeight 18.701171875 | ||
369 | model "six_pos" | ||
370 | position "stail" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "[1]" | ||
375 | fontSize 12 | ||
376 | fontName "Dialog" | ||
377 | configuration "AutoFlippingLabel" | ||
378 | contentWidth 17.341796875 | ||
379 | contentHeight 18.701171875 | ||
380 | model "six_pos" | ||
381 | position "ttail" | ||
382 | ] | ||
383 | ] | ||
384 | edge | ||
385 | [ | ||
386 | source 3 | ||
387 | target 5 | ||
388 | label "next reference State" | ||
389 | graphics | ||
390 | [ | ||
391 | fill "#000000" | ||
392 | targetArrow "standard" | ||
393 | Line | ||
394 | [ | ||
395 | point | ||
396 | [ | ||
397 | x 156.0 | ||
398 | y 100.0 | ||
399 | ] | ||
400 | point | ||
401 | [ | ||
402 | x 425.0 | ||
403 | y 100.0 | ||
404 | ] | ||
405 | point | ||
406 | [ | ||
407 | x 425.0 | ||
408 | y -220.0 | ||
409 | ] | ||
410 | ] | ||
411 | ] | ||
412 | edgeAnchor | ||
413 | [ | ||
414 | xSource -0.8 | ||
415 | ] | ||
416 | LabelGraphics | ||
417 | [ | ||
418 | text "next reference State" | ||
419 | fontSize 12 | ||
420 | fontName "Dialog" | ||
421 | configuration "AutoFlippingLabel" | ||
422 | contentWidth 112.064453125 | ||
423 | contentHeight 18.701171875 | ||
424 | model "six_pos" | ||
425 | position "head" | ||
426 | ] | ||
427 | LabelGraphics | ||
428 | [ | ||
429 | text "[1]" | ||
430 | fontSize 12 | ||
431 | fontName "Dialog" | ||
432 | configuration "AutoFlippingLabel" | ||
433 | contentWidth 17.341796875 | ||
434 | contentHeight 18.701171875 | ||
435 | model "six_pos" | ||
436 | position "stail" | ||
437 | ] | ||
438 | LabelGraphics | ||
439 | [ | ||
440 | text "[1, 0]" | ||
441 | fontSize 12 | ||
442 | fontName "Dialog" | ||
443 | configuration "AutoFlippingLabel" | ||
444 | contentWidth 30.68359375 | ||
445 | contentHeight 18.701171875 | ||
446 | model "six_pos" | ||
447 | position "ttail" | ||
448 | ] | ||
449 | ] | ||
450 | edge | ||
451 | [ | ||
452 | source 4 | ||
453 | target 2 | ||
454 | label "entry reference Entry" | ||
455 | graphics | ||
456 | [ | ||
457 | fill "#000000" | ||
458 | targetArrow "standard" | ||
459 | ] | ||
460 | edgeAnchor | ||
461 | [ | ||
462 | xTarget 0.14545454545454545 | ||
463 | ] | ||
464 | LabelGraphics | ||
465 | [ | ||
466 | text "entry reference Entry" | ||
467 | fontSize 12 | ||
468 | fontName "Dialog" | ||
469 | configuration "AutoFlippingLabel" | ||
470 | contentWidth 116.048828125 | ||
471 | contentHeight 18.701171875 | ||
472 | model "six_pos" | ||
473 | position "head" | ||
474 | ] | ||
475 | LabelGraphics | ||
476 | [ | ||
477 | text "[1]" | ||
478 | fontSize 12 | ||
479 | fontName "Dialog" | ||
480 | configuration "AutoFlippingLabel" | ||
481 | contentWidth 17.341796875 | ||
482 | contentHeight 18.701171875 | ||
483 | model "six_pos" | ||
484 | position "stail" | ||
485 | ] | ||
486 | LabelGraphics | ||
487 | [ | ||
488 | text "[1]" | ||
489 | fontSize 12 | ||
490 | fontName "Dialog" | ||
491 | configuration "AutoFlippingLabel" | ||
492 | contentWidth 17.341796875 | ||
493 | contentHeight 18.701171875 | ||
494 | model "six_pos" | ||
495 | position "ttail" | ||
496 | ] | ||
497 | ] | ||
498 | edge | ||
499 | [ | ||
500 | source 5 | ||
501 | target 5 | ||
502 | label "next reference State" | ||
503 | graphics | ||
504 | [ | ||
505 | fill "#000000" | ||
506 | targetArrow "standard" | ||
507 | Line | ||
508 | [ | ||
509 | point | ||
510 | [ | ||
511 | x 425.0 | ||
512 | y -220.0 | ||
513 | ] | ||
514 | point | ||
515 | [ | ||
516 | x 425.0 | ||
517 | y -270.0 | ||
518 | ] | ||
519 | point | ||
520 | [ | ||
521 | x 425.0 | ||
522 | y -220.0 | ||
523 | ] | ||
524 | ] | ||
525 | ] | ||
526 | LabelGraphics | ||
527 | [ | ||
528 | text "next reference State" | ||
529 | fontSize 12 | ||
530 | fontName "Dialog" | ||
531 | configuration "AutoFlippingLabel" | ||
532 | contentWidth 112.064453125 | ||
533 | contentHeight 18.701171875 | ||
534 | model "six_pos" | ||
535 | position "head" | ||
536 | ] | ||
537 | LabelGraphics | ||
538 | [ | ||
539 | text "[1, 1]" | ||
540 | fontSize 12 | ||
541 | fontName "Dialog" | ||
542 | configuration "AutoFlippingLabel" | ||
543 | contentWidth 30.68359375 | ||
544 | contentHeight 18.701171875 | ||
545 | model "six_pos" | ||
546 | position "stail" | ||
547 | ] | ||
548 | LabelGraphics | ||
549 | [ | ||
550 | text "[1, 0]" | ||
551 | fontSize 12 | ||
552 | fontName "Dialog" | ||
553 | configuration "AutoFlippingLabel" | ||
554 | contentWidth 30.68359375 | ||
555 | contentHeight 18.701171875 | ||
556 | model "six_pos" | ||
557 | position "ttail" | ||
558 | ] | ||
559 | ] | ||
560 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml new file mode 100644 index 00000000..4c6b4ee5 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealistic3NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,639 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x 332.0 | ||
15 | y 59.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 38.0 | ||
40 | y -148.0 | ||
41 | w 137.5 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[State class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x -247.0 | ||
65 | y -148.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[Entry class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x 23.0 | ||
90 | y -252.0 | ||
91 | w 176.0 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[Statechart class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 4 | ||
111 | label "" | ||
112 | graphics | ||
113 | [ | ||
114 | x 340.0 | ||
115 | y 259.0 | ||
116 | w 137.5 | ||
117 | h 40.0 | ||
118 | type "roundrectangle" | ||
119 | fill "#FFCC00" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | ] | ||
125 | LabelGraphics | ||
126 | [ | ||
127 | text "[State class] (1)" | ||
128 | fontSize 14 | ||
129 | fontName "Dialog" | ||
130 | anchor "c" | ||
131 | ] | ||
132 | ] | ||
133 | node | ||
134 | [ | ||
135 | id 5 | ||
136 | label "" | ||
137 | graphics | ||
138 | [ | ||
139 | x 340.0 | ||
140 | y -141.0 | ||
141 | w 137.5 | ||
142 | h 40.0 | ||
143 | type "roundrectangle" | ||
144 | fill "#FFCC00" | ||
145 | outline "#000000" | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[State class] (1)" | ||
153 | fontSize 14 | ||
154 | fontName "Dialog" | ||
155 | anchor "c" | ||
156 | ] | ||
157 | ] | ||
158 | node | ||
159 | [ | ||
160 | id 6 | ||
161 | label "" | ||
162 | graphics | ||
163 | [ | ||
164 | x -282.0 | ||
165 | y 153.0 | ||
166 | w 137.5 | ||
167 | h 40.0 | ||
168 | type "roundrectangle" | ||
169 | fill "#FFCC00" | ||
170 | outline "#000000" | ||
171 | ] | ||
172 | LabelGraphics | ||
173 | [ | ||
174 | ] | ||
175 | LabelGraphics | ||
176 | [ | ||
177 | text "[State class] (1)" | ||
178 | fontSize 14 | ||
179 | fontName "Dialog" | ||
180 | anchor "c" | ||
181 | ] | ||
182 | ] | ||
183 | edge | ||
184 | [ | ||
185 | source 4 | ||
186 | target 6 | ||
187 | label "next reference State" | ||
188 | graphics | ||
189 | [ | ||
190 | fill "#000000" | ||
191 | targetArrow "standard" | ||
192 | Line | ||
193 | [ | ||
194 | point | ||
195 | [ | ||
196 | x 340.0 | ||
197 | y 259.0 | ||
198 | ] | ||
199 | point | ||
200 | [ | ||
201 | x 377.5 | ||
202 | y 325.5 | ||
203 | ] | ||
204 | point | ||
205 | [ | ||
206 | x -262.0 | ||
207 | y 325.5 | ||
208 | ] | ||
209 | point | ||
210 | [ | ||
211 | x -262.0 | ||
212 | y 278.75 | ||
213 | ] | ||
214 | point | ||
215 | [ | ||
216 | x -282.0 | ||
217 | y 278.75 | ||
218 | ] | ||
219 | point | ||
220 | [ | ||
221 | x -282.0 | ||
222 | y 153.0 | ||
223 | ] | ||
224 | ] | ||
225 | ] | ||
226 | edgeAnchor | ||
227 | [ | ||
228 | xSource 0.5454545454545454 | ||
229 | ySource 0.975 | ||
230 | ] | ||
231 | LabelGraphics | ||
232 | [ | ||
233 | text "next reference State" | ||
234 | fontSize 12 | ||
235 | fontName "Dialog" | ||
236 | configuration "AutoFlippingLabel" | ||
237 | contentWidth 112.064453125 | ||
238 | contentHeight 18.701171875 | ||
239 | model "six_pos" | ||
240 | position "head" | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text "[1]" | ||
245 | fontSize 12 | ||
246 | fontName "Dialog" | ||
247 | configuration "AutoFlippingLabel" | ||
248 | contentWidth 17.341796875 | ||
249 | contentHeight 18.701171875 | ||
250 | model "six_pos" | ||
251 | position "stail" | ||
252 | ] | ||
253 | LabelGraphics | ||
254 | [ | ||
255 | text "[1]" | ||
256 | fontSize 12 | ||
257 | fontName "Dialog" | ||
258 | configuration "AutoFlippingLabel" | ||
259 | contentWidth 17.341796875 | ||
260 | contentHeight 18.701171875 | ||
261 | model "six_pos" | ||
262 | position "ttail" | ||
263 | ] | ||
264 | ] | ||
265 | edge | ||
266 | [ | ||
267 | source 0 | ||
268 | target 4 | ||
269 | label "next reference State" | ||
270 | graphics | ||
271 | [ | ||
272 | fill "#000000" | ||
273 | targetArrow "standard" | ||
274 | ] | ||
275 | edgeAnchor | ||
276 | [ | ||
277 | xSource 0.11636363636363636 | ||
278 | ySource 0.225 | ||
279 | ] | ||
280 | LabelGraphics | ||
281 | [ | ||
282 | text "next reference State" | ||
283 | fontSize 12 | ||
284 | fontName "Dialog" | ||
285 | configuration "AutoFlippingLabel" | ||
286 | contentWidth 112.064453125 | ||
287 | contentHeight 18.701171875 | ||
288 | model "six_pos" | ||
289 | position "head" | ||
290 | ] | ||
291 | LabelGraphics | ||
292 | [ | ||
293 | text "[1]" | ||
294 | fontSize 12 | ||
295 | fontName "Dialog" | ||
296 | configuration "AutoFlippingLabel" | ||
297 | contentWidth 17.341796875 | ||
298 | contentHeight 18.701171875 | ||
299 | model "six_pos" | ||
300 | position "stail" | ||
301 | ] | ||
302 | LabelGraphics | ||
303 | [ | ||
304 | text "[1]" | ||
305 | fontSize 12 | ||
306 | fontName "Dialog" | ||
307 | configuration "AutoFlippingLabel" | ||
308 | contentWidth 17.341796875 | ||
309 | contentHeight 18.701171875 | ||
310 | model "six_pos" | ||
311 | position "ttail" | ||
312 | ] | ||
313 | ] | ||
314 | edge | ||
315 | [ | ||
316 | source 1 | ||
317 | target 5 | ||
318 | label "next reference State" | ||
319 | graphics | ||
320 | [ | ||
321 | fill "#000000" | ||
322 | targetArrow "standard" | ||
323 | ] | ||
324 | edgeAnchor | ||
325 | [ | ||
326 | xSource 0.2690909090909091 | ||
327 | ySource 0.35 | ||
328 | ] | ||
329 | LabelGraphics | ||
330 | [ | ||
331 | text "next reference State" | ||
332 | fontSize 12 | ||
333 | fontName "Dialog" | ||
334 | configuration "AutoFlippingLabel" | ||
335 | contentWidth 112.064453125 | ||
336 | contentHeight 18.701171875 | ||
337 | model "six_pos" | ||
338 | position "head" | ||
339 | ] | ||
340 | LabelGraphics | ||
341 | [ | ||
342 | text "[1]" | ||
343 | fontSize 12 | ||
344 | fontName "Dialog" | ||
345 | configuration "AutoFlippingLabel" | ||
346 | contentWidth 17.341796875 | ||
347 | contentHeight 18.701171875 | ||
348 | model "six_pos" | ||
349 | position "stail" | ||
350 | ] | ||
351 | LabelGraphics | ||
352 | [ | ||
353 | text "[1]" | ||
354 | fontSize 12 | ||
355 | fontName "Dialog" | ||
356 | configuration "AutoFlippingLabel" | ||
357 | contentWidth 17.341796875 | ||
358 | contentHeight 18.701171875 | ||
359 | model "six_pos" | ||
360 | position "ttail" | ||
361 | ] | ||
362 | ] | ||
363 | edge | ||
364 | [ | ||
365 | source 5 | ||
366 | target 0 | ||
367 | label "next reference State" | ||
368 | graphics | ||
369 | [ | ||
370 | fill "#000000" | ||
371 | targetArrow "standard" | ||
372 | ] | ||
373 | edgeAnchor | ||
374 | [ | ||
375 | xTarget 0.11636363636363636 | ||
376 | ] | ||
377 | LabelGraphics | ||
378 | [ | ||
379 | text "next reference State" | ||
380 | fontSize 12 | ||
381 | fontName "Dialog" | ||
382 | configuration "AutoFlippingLabel" | ||
383 | contentWidth 112.064453125 | ||
384 | contentHeight 18.701171875 | ||
385 | model "six_pos" | ||
386 | position "head" | ||
387 | ] | ||
388 | LabelGraphics | ||
389 | [ | ||
390 | text "[1]" | ||
391 | fontSize 12 | ||
392 | fontName "Dialog" | ||
393 | configuration "AutoFlippingLabel" | ||
394 | contentWidth 17.341796875 | ||
395 | contentHeight 18.701171875 | ||
396 | model "six_pos" | ||
397 | position "stail" | ||
398 | ] | ||
399 | LabelGraphics | ||
400 | [ | ||
401 | text "[1]" | ||
402 | fontSize 12 | ||
403 | fontName "Dialog" | ||
404 | configuration "AutoFlippingLabel" | ||
405 | contentWidth 17.341796875 | ||
406 | contentHeight 18.701171875 | ||
407 | model "six_pos" | ||
408 | position "ttail" | ||
409 | ] | ||
410 | ] | ||
411 | edge | ||
412 | [ | ||
413 | source 2 | ||
414 | target 6 | ||
415 | label "entry reference Entry" | ||
416 | graphics | ||
417 | [ | ||
418 | fill "#000000" | ||
419 | targetArrow "standard" | ||
420 | ] | ||
421 | edgeAnchor | ||
422 | [ | ||
423 | xSource -0.509090909090909 | ||
424 | ] | ||
425 | LabelGraphics | ||
426 | [ | ||
427 | text "entry reference Entry" | ||
428 | fontSize 12 | ||
429 | fontName "Dialog" | ||
430 | configuration "AutoFlippingLabel" | ||
431 | contentWidth 116.048828125 | ||
432 | contentHeight 18.701171875 | ||
433 | model "six_pos" | ||
434 | position "head" | ||
435 | ] | ||
436 | LabelGraphics | ||
437 | [ | ||
438 | text "[1]" | ||
439 | fontSize 12 | ||
440 | fontName "Dialog" | ||
441 | configuration "AutoFlippingLabel" | ||
442 | contentWidth 17.341796875 | ||
443 | contentHeight 18.701171875 | ||
444 | model "six_pos" | ||
445 | position "stail" | ||
446 | ] | ||
447 | LabelGraphics | ||
448 | [ | ||
449 | text "[1]" | ||
450 | fontSize 12 | ||
451 | fontName "Dialog" | ||
452 | configuration "AutoFlippingLabel" | ||
453 | contentWidth 17.341796875 | ||
454 | contentHeight 18.701171875 | ||
455 | model "six_pos" | ||
456 | position "ttail" | ||
457 | ] | ||
458 | ] | ||
459 | edge | ||
460 | [ | ||
461 | source 3 | ||
462 | target 1 | ||
463 | label "state reference Statechart" | ||
464 | graphics | ||
465 | [ | ||
466 | fill "#000000" | ||
467 | targetArrow "standard" | ||
468 | ] | ||
469 | edgeAnchor | ||
470 | [ | ||
471 | xTarget -0.21818181818181817 | ||
472 | ] | ||
473 | LabelGraphics | ||
474 | [ | ||
475 | text "state reference Statechart" | ||
476 | fontSize 12 | ||
477 | fontName "Dialog" | ||
478 | configuration "AutoFlippingLabel" | ||
479 | contentWidth 142.076171875 | ||
480 | contentHeight 18.701171875 | ||
481 | model "six_pos" | ||
482 | position "head" | ||
483 | ] | ||
484 | LabelGraphics | ||
485 | [ | ||
486 | text "[1, 1, 1, 1, 1]" | ||
487 | fontSize 12 | ||
488 | fontName "Dialog" | ||
489 | configuration "AutoFlippingLabel" | ||
490 | contentWidth 70.708984375 | ||
491 | contentHeight 18.701171875 | ||
492 | model "six_pos" | ||
493 | position "stail" | ||
494 | ] | ||
495 | LabelGraphics | ||
496 | [ | ||
497 | text "[1]" | ||
498 | fontSize 12 | ||
499 | fontName "Dialog" | ||
500 | configuration "AutoFlippingLabel" | ||
501 | contentWidth 17.341796875 | ||
502 | contentHeight 18.701171875 | ||
503 | model "six_pos" | ||
504 | position "ttail" | ||
505 | ] | ||
506 | ] | ||
507 | edge | ||
508 | [ | ||
509 | source 3 | ||
510 | target 2 | ||
511 | label "entry reference Statechart" | ||
512 | graphics | ||
513 | [ | ||
514 | fill "#000000" | ||
515 | targetArrow "standard" | ||
516 | Line | ||
517 | [ | ||
518 | point | ||
519 | [ | ||
520 | x 23.0 | ||
521 | y -252.0 | ||
522 | ] | ||
523 | point | ||
524 | [ | ||
525 | x -247.0 | ||
526 | y -252.0 | ||
527 | ] | ||
528 | point | ||
529 | [ | ||
530 | x -247.0 | ||
531 | y -148.0 | ||
532 | ] | ||
533 | ] | ||
534 | ] | ||
535 | edgeAnchor | ||
536 | [ | ||
537 | yTarget -1.0 | ||
538 | ] | ||
539 | LabelGraphics | ||
540 | [ | ||
541 | text "entry reference Statechart" | ||
542 | fontSize 12 | ||
543 | fontName "Dialog" | ||
544 | configuration "AutoFlippingLabel" | ||
545 | contentWidth 142.73828125 | ||
546 | contentHeight 18.701171875 | ||
547 | model "six_pos" | ||
548 | position "head" | ||
549 | ] | ||
550 | LabelGraphics | ||
551 | [ | ||
552 | text "[1]" | ||
553 | fontSize 12 | ||
554 | fontName "Dialog" | ||
555 | configuration "AutoFlippingLabel" | ||
556 | contentWidth 17.341796875 | ||
557 | contentHeight 18.701171875 | ||
558 | model "six_pos" | ||
559 | position "stail" | ||
560 | ] | ||
561 | LabelGraphics | ||
562 | [ | ||
563 | text "[1]" | ||
564 | fontSize 12 | ||
565 | fontName "Dialog" | ||
566 | configuration "AutoFlippingLabel" | ||
567 | contentWidth 17.341796875 | ||
568 | contentHeight 18.701171875 | ||
569 | model "six_pos" | ||
570 | position "ttail" | ||
571 | ] | ||
572 | ] | ||
573 | edge | ||
574 | [ | ||
575 | source 6 | ||
576 | target 1 | ||
577 | label "next reference State" | ||
578 | graphics | ||
579 | [ | ||
580 | fill "#000000" | ||
581 | targetArrow "standard" | ||
582 | Line | ||
583 | [ | ||
584 | point | ||
585 | [ | ||
586 | x -282.0 | ||
587 | y 153.0 | ||
588 | ] | ||
589 | point | ||
590 | [ | ||
591 | x 3.0 | ||
592 | y 153.0 | ||
593 | ] | ||
594 | point | ||
595 | [ | ||
596 | x 38.0 | ||
597 | y -148.0 | ||
598 | ] | ||
599 | ] | ||
600 | ] | ||
601 | edgeAnchor | ||
602 | [ | ||
603 | xTarget -0.509090909090909 | ||
604 | ] | ||
605 | LabelGraphics | ||
606 | [ | ||
607 | text "next reference State" | ||
608 | fontSize 12 | ||
609 | fontName "Dialog" | ||
610 | configuration "AutoFlippingLabel" | ||
611 | contentWidth 112.064453125 | ||
612 | contentHeight 18.701171875 | ||
613 | model "six_pos" | ||
614 | position "head" | ||
615 | ] | ||
616 | LabelGraphics | ||
617 | [ | ||
618 | text "[1]" | ||
619 | fontSize 12 | ||
620 | fontName "Dialog" | ||
621 | configuration "AutoFlippingLabel" | ||
622 | contentWidth 17.341796875 | ||
623 | contentHeight 18.701171875 | ||
624 | model "six_pos" | ||
625 | position "stail" | ||
626 | ] | ||
627 | LabelGraphics | ||
628 | [ | ||
629 | text "[1]" | ||
630 | fontSize 12 | ||
631 | fontName "Dialog" | ||
632 | configuration "AutoFlippingLabel" | ||
633 | contentWidth 17.341796875 | ||
634 | contentHeight 18.701171875 | ||
635 | model "six_pos" | ||
636 | position "ttail" | ||
637 | ] | ||
638 | ] | ||
639 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml new file mode 100644 index 00000000..5102dc66 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCIrrealisticMODEL.gml | |||
@@ -0,0 +1,698 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 41.800000000000004 | ||
9 | h 26 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "true" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | " | ||
30 | fontSize 14 | ||
31 | fontName "Consolas" | ||
32 | alignment "left" | ||
33 | anchor "tl" | ||
34 | borderDistance 6 | ||
35 | ] | ||
36 | ] | ||
37 | |||
38 | node | ||
39 | [ | ||
40 | id 1 | ||
41 | graphics | ||
42 | [ | ||
43 | w 50.6 | ||
44 | h 26 | ||
45 | type "rectangle" | ||
46 | fill "#FFFFFF" | ||
47 | fill2 "#FFFFFF" | ||
48 | outline "#000000" | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "false" | ||
53 | outline "#000000" | ||
54 | fill "#FFFFFF" | ||
55 | fontSize 16 | ||
56 | fontName "Monospace" | ||
57 | autoSizePolicy "node_width" | ||
58 | anchor "t" | ||
59 | borderDistance 0.0 | ||
60 | ] | ||
61 | LabelGraphics | ||
62 | [ | ||
63 | text " | ||
64 | " | ||
65 | fontSize 14 | ||
66 | fontName "Consolas" | ||
67 | alignment "left" | ||
68 | anchor "tl" | ||
69 | borderDistance 6 | ||
70 | ] | ||
71 | ] | ||
72 | |||
73 | node | ||
74 | [ | ||
75 | id 2 | ||
76 | graphics | ||
77 | [ | ||
78 | w 138.60000000000002 | ||
79 | h 40 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "null" | ||
88 | outline "#000000" | ||
89 | fill "#FFFFFF" | ||
90 | fontSize 16 | ||
91 | fontName "Monospace" | ||
92 | autoSizePolicy "node_width" | ||
93 | anchor "t" | ||
94 | borderDistance 0.0 | ||
95 | ] | ||
96 | LabelGraphics | ||
97 | [ | ||
98 | text " | ||
99 | Statechart class | ||
100 | " | ||
101 | fontSize 14 | ||
102 | fontName "Consolas" | ||
103 | alignment "left" | ||
104 | anchor "tl" | ||
105 | borderDistance 6 | ||
106 | ] | ||
107 | ] | ||
108 | |||
109 | node | ||
110 | [ | ||
111 | id 3 | ||
112 | graphics | ||
113 | [ | ||
114 | w 100.10000000000001 | ||
115 | h 40 | ||
116 | type "rectangle" | ||
117 | fill "#FFFFFF" | ||
118 | fill2 "#FFFFFF" | ||
119 | outline "#000000" | ||
120 | ] | ||
121 | LabelGraphics | ||
122 | [ | ||
123 | text "null" | ||
124 | outline "#000000" | ||
125 | fill "#FFFFFF" | ||
126 | fontSize 16 | ||
127 | fontName "Monospace" | ||
128 | autoSizePolicy "node_width" | ||
129 | anchor "t" | ||
130 | borderDistance 0.0 | ||
131 | ] | ||
132 | LabelGraphics | ||
133 | [ | ||
134 | text " | ||
135 | State class | ||
136 | " | ||
137 | fontSize 14 | ||
138 | fontName "Consolas" | ||
139 | alignment "left" | ||
140 | anchor "tl" | ||
141 | borderDistance 6 | ||
142 | ] | ||
143 | ] | ||
144 | |||
145 | node | ||
146 | [ | ||
147 | id 4 | ||
148 | graphics | ||
149 | [ | ||
150 | w 100.10000000000001 | ||
151 | h 40 | ||
152 | type "rectangle" | ||
153 | fill "#FFFFFF" | ||
154 | fill2 "#FFFFFF" | ||
155 | outline "#000000" | ||
156 | ] | ||
157 | LabelGraphics | ||
158 | [ | ||
159 | text "null" | ||
160 | outline "#000000" | ||
161 | fill "#FFFFFF" | ||
162 | fontSize 16 | ||
163 | fontName "Monospace" | ||
164 | autoSizePolicy "node_width" | ||
165 | anchor "t" | ||
166 | borderDistance 0.0 | ||
167 | ] | ||
168 | LabelGraphics | ||
169 | [ | ||
170 | text " | ||
171 | State class | ||
172 | " | ||
173 | fontSize 14 | ||
174 | fontName "Consolas" | ||
175 | alignment "left" | ||
176 | anchor "tl" | ||
177 | borderDistance 6 | ||
178 | ] | ||
179 | ] | ||
180 | |||
181 | node | ||
182 | [ | ||
183 | id 5 | ||
184 | graphics | ||
185 | [ | ||
186 | w 100.10000000000001 | ||
187 | h 40 | ||
188 | type "rectangle" | ||
189 | fill "#FFFFFF" | ||
190 | fill2 "#FFFFFF" | ||
191 | outline "#000000" | ||
192 | ] | ||
193 | LabelGraphics | ||
194 | [ | ||
195 | text "null" | ||
196 | outline "#000000" | ||
197 | fill "#FFFFFF" | ||
198 | fontSize 16 | ||
199 | fontName "Monospace" | ||
200 | autoSizePolicy "node_width" | ||
201 | anchor "t" | ||
202 | borderDistance 0.0 | ||
203 | ] | ||
204 | LabelGraphics | ||
205 | [ | ||
206 | text " | ||
207 | State class | ||
208 | " | ||
209 | fontSize 14 | ||
210 | fontName "Consolas" | ||
211 | alignment "left" | ||
212 | anchor "tl" | ||
213 | borderDistance 6 | ||
214 | ] | ||
215 | ] | ||
216 | |||
217 | node | ||
218 | [ | ||
219 | id 6 | ||
220 | graphics | ||
221 | [ | ||
222 | w 100.10000000000001 | ||
223 | h 40 | ||
224 | type "rectangle" | ||
225 | fill "#FFFFFF" | ||
226 | fill2 "#FFFFFF" | ||
227 | outline "#000000" | ||
228 | ] | ||
229 | LabelGraphics | ||
230 | [ | ||
231 | text "null" | ||
232 | outline "#000000" | ||
233 | fill "#FFFFFF" | ||
234 | fontSize 16 | ||
235 | fontName "Monospace" | ||
236 | autoSizePolicy "node_width" | ||
237 | anchor "t" | ||
238 | borderDistance 0.0 | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text " | ||
243 | State class | ||
244 | " | ||
245 | fontSize 14 | ||
246 | fontName "Consolas" | ||
247 | alignment "left" | ||
248 | anchor "tl" | ||
249 | borderDistance 6 | ||
250 | ] | ||
251 | ] | ||
252 | |||
253 | node | ||
254 | [ | ||
255 | id 7 | ||
256 | graphics | ||
257 | [ | ||
258 | w 100.10000000000001 | ||
259 | h 40 | ||
260 | type "rectangle" | ||
261 | fill "#FFFFFF" | ||
262 | fill2 "#FFFFFF" | ||
263 | outline "#000000" | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "null" | ||
268 | outline "#000000" | ||
269 | fill "#FFFFFF" | ||
270 | fontSize 16 | ||
271 | fontName "Monospace" | ||
272 | autoSizePolicy "node_width" | ||
273 | anchor "t" | ||
274 | borderDistance 0.0 | ||
275 | ] | ||
276 | LabelGraphics | ||
277 | [ | ||
278 | text " | ||
279 | State class | ||
280 | " | ||
281 | fontSize 14 | ||
282 | fontName "Consolas" | ||
283 | alignment "left" | ||
284 | anchor "tl" | ||
285 | borderDistance 6 | ||
286 | ] | ||
287 | ] | ||
288 | |||
289 | node | ||
290 | [ | ||
291 | id 8 | ||
292 | graphics | ||
293 | [ | ||
294 | w 100.10000000000001 | ||
295 | h 40 | ||
296 | type "rectangle" | ||
297 | fill "#FFFFFF" | ||
298 | fill2 "#FFFFFF" | ||
299 | outline "#000000" | ||
300 | ] | ||
301 | LabelGraphics | ||
302 | [ | ||
303 | text "null" | ||
304 | outline "#000000" | ||
305 | fill "#FFFFFF" | ||
306 | fontSize 16 | ||
307 | fontName "Monospace" | ||
308 | autoSizePolicy "node_width" | ||
309 | anchor "t" | ||
310 | borderDistance 0.0 | ||
311 | ] | ||
312 | LabelGraphics | ||
313 | [ | ||
314 | text " | ||
315 | Entry class | ||
316 | " | ||
317 | fontSize 14 | ||
318 | fontName "Consolas" | ||
319 | alignment "left" | ||
320 | anchor "tl" | ||
321 | borderDistance 6 | ||
322 | ] | ||
323 | ] | ||
324 | |||
325 | node | ||
326 | [ | ||
327 | id 9 | ||
328 | graphics | ||
329 | [ | ||
330 | w 112.2 | ||
331 | h 26 | ||
332 | type "rectangle" | ||
333 | fill "#FFFFFF" | ||
334 | fill2 "#FFFFFF" | ||
335 | outline "#000000" | ||
336 | ] | ||
337 | LabelGraphics | ||
338 | [ | ||
339 | text "New Integers" | ||
340 | outline "#000000" | ||
341 | fill "#FFFFFF" | ||
342 | fontSize 16 | ||
343 | fontName "Monospace" | ||
344 | autoSizePolicy "node_width" | ||
345 | anchor "t" | ||
346 | borderDistance 0.0 | ||
347 | ] | ||
348 | LabelGraphics | ||
349 | [ | ||
350 | text " | ||
351 | " | ||
352 | fontSize 14 | ||
353 | fontName "Consolas" | ||
354 | alignment "left" | ||
355 | anchor "tl" | ||
356 | borderDistance 6 | ||
357 | ] | ||
358 | ] | ||
359 | |||
360 | node | ||
361 | [ | ||
362 | id 10 | ||
363 | graphics | ||
364 | [ | ||
365 | w 85.80000000000001 | ||
366 | h 26 | ||
367 | type "rectangle" | ||
368 | fill "#FFFFFF" | ||
369 | fill2 "#FFFFFF" | ||
370 | outline "#000000" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "New Reals" | ||
375 | outline "#000000" | ||
376 | fill "#FFFFFF" | ||
377 | fontSize 16 | ||
378 | fontName "Monospace" | ||
379 | autoSizePolicy "node_width" | ||
380 | anchor "t" | ||
381 | borderDistance 0.0 | ||
382 | ] | ||
383 | LabelGraphics | ||
384 | [ | ||
385 | text " | ||
386 | " | ||
387 | fontSize 14 | ||
388 | fontName "Consolas" | ||
389 | alignment "left" | ||
390 | anchor "tl" | ||
391 | borderDistance 6 | ||
392 | ] | ||
393 | ] | ||
394 | |||
395 | node | ||
396 | [ | ||
397 | id 11 | ||
398 | graphics | ||
399 | [ | ||
400 | w 103.4 | ||
401 | h 26 | ||
402 | type "rectangle" | ||
403 | fill "#FFFFFF" | ||
404 | fill2 "#FFFFFF" | ||
405 | outline "#000000" | ||
406 | ] | ||
407 | LabelGraphics | ||
408 | [ | ||
409 | text "New Strings" | ||
410 | outline "#000000" | ||
411 | fill "#FFFFFF" | ||
412 | fontSize 16 | ||
413 | fontName "Monospace" | ||
414 | autoSizePolicy "node_width" | ||
415 | anchor "t" | ||
416 | borderDistance 0.0 | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text " | ||
421 | " | ||
422 | fontSize 14 | ||
423 | fontName "Consolas" | ||
424 | alignment "left" | ||
425 | anchor "tl" | ||
426 | borderDistance 6 | ||
427 | ] | ||
428 | ] | ||
429 | |||
430 | node | ||
431 | [ | ||
432 | id 12 | ||
433 | graphics | ||
434 | [ | ||
435 | w 103.4 | ||
436 | h 26 | ||
437 | type "rectangle" | ||
438 | fill "#FFFFFF" | ||
439 | fill2 "#FFFFFF" | ||
440 | outline "#000000" | ||
441 | ] | ||
442 | LabelGraphics | ||
443 | [ | ||
444 | text "New Objects" | ||
445 | outline "#000000" | ||
446 | fill "#FFFFFF" | ||
447 | fontSize 16 | ||
448 | fontName "Monospace" | ||
449 | autoSizePolicy "node_width" | ||
450 | anchor "t" | ||
451 | borderDistance 0.0 | ||
452 | ] | ||
453 | LabelGraphics | ||
454 | [ | ||
455 | text " | ||
456 | " | ||
457 | fontSize 14 | ||
458 | fontName "Consolas" | ||
459 | alignment "left" | ||
460 | anchor "tl" | ||
461 | borderDistance 6 | ||
462 | ] | ||
463 | ] | ||
464 | edge | ||
465 | [ | ||
466 | source 3 | ||
467 | target 4 | ||
468 | graphics | ||
469 | [ | ||
470 | fill "#000000" | ||
471 | targetArrow "standard" | ||
472 | ] | ||
473 | LabelGraphics | ||
474 | [ | ||
475 | text "next reference State" | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | configuration "AutoFlippingLabel" | ||
479 | model "six_pos" | ||
480 | position "thead" | ||
481 | ] | ||
482 | ] | ||
483 | edge | ||
484 | [ | ||
485 | source 4 | ||
486 | target 5 | ||
487 | graphics | ||
488 | [ | ||
489 | fill "#000000" | ||
490 | targetArrow "standard" | ||
491 | ] | ||
492 | LabelGraphics | ||
493 | [ | ||
494 | text "next reference State" | ||
495 | fontSize 14 | ||
496 | fontName "Consolas" | ||
497 | configuration "AutoFlippingLabel" | ||
498 | model "six_pos" | ||
499 | position "thead" | ||
500 | ] | ||
501 | ] | ||
502 | edge | ||
503 | [ | ||
504 | source 5 | ||
505 | target 6 | ||
506 | graphics | ||
507 | [ | ||
508 | fill "#000000" | ||
509 | targetArrow "standard" | ||
510 | ] | ||
511 | LabelGraphics | ||
512 | [ | ||
513 | text "next reference State" | ||
514 | fontSize 14 | ||
515 | fontName "Consolas" | ||
516 | configuration "AutoFlippingLabel" | ||
517 | model "six_pos" | ||
518 | position "thead" | ||
519 | ] | ||
520 | ] | ||
521 | edge | ||
522 | [ | ||
523 | source 6 | ||
524 | target 7 | ||
525 | graphics | ||
526 | [ | ||
527 | fill "#000000" | ||
528 | targetArrow "standard" | ||
529 | ] | ||
530 | LabelGraphics | ||
531 | [ | ||
532 | text "next reference State" | ||
533 | fontSize 14 | ||
534 | fontName "Consolas" | ||
535 | configuration "AutoFlippingLabel" | ||
536 | model "six_pos" | ||
537 | position "thead" | ||
538 | ] | ||
539 | ] | ||
540 | edge | ||
541 | [ | ||
542 | source 7 | ||
543 | target 3 | ||
544 | graphics | ||
545 | [ | ||
546 | fill "#000000" | ||
547 | targetArrow "standard" | ||
548 | ] | ||
549 | LabelGraphics | ||
550 | [ | ||
551 | text "next reference State" | ||
552 | fontSize 14 | ||
553 | fontName "Consolas" | ||
554 | configuration "AutoFlippingLabel" | ||
555 | model "six_pos" | ||
556 | position "thead" | ||
557 | ] | ||
558 | ] | ||
559 | edge | ||
560 | [ | ||
561 | source 8 | ||
562 | target 3 | ||
563 | graphics | ||
564 | [ | ||
565 | fill "#000000" | ||
566 | targetArrow "standard" | ||
567 | ] | ||
568 | LabelGraphics | ||
569 | [ | ||
570 | text "entry reference Entry" | ||
571 | fontSize 14 | ||
572 | fontName "Consolas" | ||
573 | configuration "AutoFlippingLabel" | ||
574 | model "six_pos" | ||
575 | position "thead" | ||
576 | ] | ||
577 | ] | ||
578 | edge | ||
579 | [ | ||
580 | source 2 | ||
581 | target 3 | ||
582 | graphics | ||
583 | [ | ||
584 | fill "#000000" | ||
585 | width 3 | ||
586 | targetArrow "standard" | ||
587 | ] | ||
588 | LabelGraphics | ||
589 | [ | ||
590 | text "state reference Statechart" | ||
591 | fontSize 14 | ||
592 | fontName "Consolas" | ||
593 | configuration "AutoFlippingLabel" | ||
594 | model "six_pos" | ||
595 | position "thead" | ||
596 | ] | ||
597 | ] | ||
598 | edge | ||
599 | [ | ||
600 | source 2 | ||
601 | target 4 | ||
602 | graphics | ||
603 | [ | ||
604 | fill "#000000" | ||
605 | width 3 | ||
606 | targetArrow "standard" | ||
607 | ] | ||
608 | LabelGraphics | ||
609 | [ | ||
610 | text "state reference Statechart" | ||
611 | fontSize 14 | ||
612 | fontName "Consolas" | ||
613 | configuration "AutoFlippingLabel" | ||
614 | model "six_pos" | ||
615 | position "thead" | ||
616 | ] | ||
617 | ] | ||
618 | edge | ||
619 | [ | ||
620 | source 2 | ||
621 | target 5 | ||
622 | graphics | ||
623 | [ | ||
624 | fill "#000000" | ||
625 | width 3 | ||
626 | targetArrow "standard" | ||
627 | ] | ||
628 | LabelGraphics | ||
629 | [ | ||
630 | text "state reference Statechart" | ||
631 | fontSize 14 | ||
632 | fontName "Consolas" | ||
633 | configuration "AutoFlippingLabel" | ||
634 | model "six_pos" | ||
635 | position "thead" | ||
636 | ] | ||
637 | ] | ||
638 | edge | ||
639 | [ | ||
640 | source 2 | ||
641 | target 6 | ||
642 | graphics | ||
643 | [ | ||
644 | fill "#000000" | ||
645 | width 3 | ||
646 | targetArrow "standard" | ||
647 | ] | ||
648 | LabelGraphics | ||
649 | [ | ||
650 | text "state reference Statechart" | ||
651 | fontSize 14 | ||
652 | fontName "Consolas" | ||
653 | configuration "AutoFlippingLabel" | ||
654 | model "six_pos" | ||
655 | position "thead" | ||
656 | ] | ||
657 | ] | ||
658 | edge | ||
659 | [ | ||
660 | source 2 | ||
661 | target 7 | ||
662 | graphics | ||
663 | [ | ||
664 | fill "#000000" | ||
665 | width 3 | ||
666 | targetArrow "standard" | ||
667 | ] | ||
668 | LabelGraphics | ||
669 | [ | ||
670 | text "state reference Statechart" | ||
671 | fontSize 14 | ||
672 | fontName "Consolas" | ||
673 | configuration "AutoFlippingLabel" | ||
674 | model "six_pos" | ||
675 | position "thead" | ||
676 | ] | ||
677 | ] | ||
678 | edge | ||
679 | [ | ||
680 | source 2 | ||
681 | target 8 | ||
682 | graphics | ||
683 | [ | ||
684 | fill "#000000" | ||
685 | width 3 | ||
686 | targetArrow "standard" | ||
687 | ] | ||
688 | LabelGraphics | ||
689 | [ | ||
690 | text "entry reference Statechart" | ||
691 | fontSize 14 | ||
692 | fontName "Consolas" | ||
693 | configuration "AutoFlippingLabel" | ||
694 | model "six_pos" | ||
695 | position "thead" | ||
696 | ] | ||
697 | ] | ||
698 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml new file mode 100644 index 00000000..05929964 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic0NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,314 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x 120.0 | ||
15 | y 68.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (5)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 435.0 | ||
40 | y 82.0 | ||
41 | w 176.0 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[Statechart class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x -139.25 | ||
65 | y 68.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[Entry class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | edge | ||
84 | [ | ||
85 | source 0 | ||
86 | target 0 | ||
87 | label "next reference State" | ||
88 | graphics | ||
89 | [ | ||
90 | fill "#000000" | ||
91 | targetArrow "standard" | ||
92 | Line | ||
93 | [ | ||
94 | point | ||
95 | [ | ||
96 | x 120.0 | ||
97 | y 68.0 | ||
98 | ] | ||
99 | point | ||
100 | [ | ||
101 | x 90.0 | ||
102 | y -141.0 | ||
103 | ] | ||
104 | point | ||
105 | [ | ||
106 | x 120.0 | ||
107 | y 68.0 | ||
108 | ] | ||
109 | ] | ||
110 | ] | ||
111 | LabelGraphics | ||
112 | [ | ||
113 | text "next reference State" | ||
114 | fontSize 12 | ||
115 | fontName "Dialog" | ||
116 | configuration "AutoFlippingLabel" | ||
117 | contentWidth 112.064453125 | ||
118 | contentHeight 18.701171875 | ||
119 | model "six_pos" | ||
120 | position "head" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "[1, 4, 1]" | ||
125 | fontSize 12 | ||
126 | fontName "Dialog" | ||
127 | configuration "AutoFlippingLabel" | ||
128 | contentWidth 44.025390625 | ||
129 | contentHeight 18.701171875 | ||
130 | model "six_pos" | ||
131 | position "stail" | ||
132 | ] | ||
133 | LabelGraphics | ||
134 | [ | ||
135 | text "[1, 2, 2, 1]" | ||
136 | fontSize 12 | ||
137 | fontName "Dialog" | ||
138 | configuration "AutoFlippingLabel" | ||
139 | contentWidth 57.3671875 | ||
140 | contentHeight 18.701171875 | ||
141 | model "six_pos" | ||
142 | position "shead" | ||
143 | ] | ||
144 | ] | ||
145 | edge | ||
146 | [ | ||
147 | source 1 | ||
148 | target 0 | ||
149 | label "state reference Statechart" | ||
150 | graphics | ||
151 | [ | ||
152 | fill "#000000" | ||
153 | targetArrow "standard" | ||
154 | ] | ||
155 | edgeAnchor | ||
156 | [ | ||
157 | ySource -0.7 | ||
158 | ] | ||
159 | LabelGraphics | ||
160 | [ | ||
161 | text "state reference Statechart" | ||
162 | fontSize 12 | ||
163 | fontName "Dialog" | ||
164 | configuration "AutoFlippingLabel" | ||
165 | contentWidth 142.076171875 | ||
166 | contentHeight 18.701171875 | ||
167 | model "six_pos" | ||
168 | position "head" | ||
169 | ] | ||
170 | LabelGraphics | ||
171 | [ | ||
172 | text "[5]" | ||
173 | fontSize 12 | ||
174 | fontName "Dialog" | ||
175 | configuration "AutoFlippingLabel" | ||
176 | contentWidth 17.341796875 | ||
177 | contentHeight 18.701171875 | ||
178 | model "six_pos" | ||
179 | position "stail" | ||
180 | ] | ||
181 | LabelGraphics | ||
182 | [ | ||
183 | text "[1, 1, 1, 1]" | ||
184 | fontSize 12 | ||
185 | fontName "Dialog" | ||
186 | configuration "AutoFlippingLabel" | ||
187 | contentWidth 57.3671875 | ||
188 | contentHeight 18.701171875 | ||
189 | model "six_pos" | ||
190 | position "ttail" | ||
191 | ] | ||
192 | ] | ||
193 | edge | ||
194 | [ | ||
195 | source 1 | ||
196 | target 2 | ||
197 | label "entry reference Statechart" | ||
198 | graphics | ||
199 | [ | ||
200 | fill "#000000" | ||
201 | targetArrow "standard" | ||
202 | Line | ||
203 | [ | ||
204 | point | ||
205 | [ | ||
206 | x 435.0 | ||
207 | y 82.0 | ||
208 | ] | ||
209 | point | ||
210 | [ | ||
211 | x 415.75 | ||
212 | y 287.0 | ||
213 | ] | ||
214 | point | ||
215 | [ | ||
216 | x -139.25 | ||
217 | y 287.0 | ||
218 | ] | ||
219 | point | ||
220 | [ | ||
221 | x -139.25 | ||
222 | y 68.0 | ||
223 | ] | ||
224 | ] | ||
225 | ] | ||
226 | edgeAnchor | ||
227 | [ | ||
228 | xSource -0.21875 | ||
229 | ] | ||
230 | LabelGraphics | ||
231 | [ | ||
232 | text "entry reference Statechart" | ||
233 | fontSize 12 | ||
234 | fontName "Dialog" | ||
235 | configuration "AutoFlippingLabel" | ||
236 | contentWidth 142.73828125 | ||
237 | contentHeight 18.701171875 | ||
238 | model "six_pos" | ||
239 | position "head" | ||
240 | ] | ||
241 | LabelGraphics | ||
242 | [ | ||
243 | text "[1]" | ||
244 | fontSize 12 | ||
245 | fontName "Dialog" | ||
246 | configuration "AutoFlippingLabel" | ||
247 | contentWidth 17.341796875 | ||
248 | contentHeight 18.701171875 | ||
249 | model "six_pos" | ||
250 | position "stail" | ||
251 | ] | ||
252 | LabelGraphics | ||
253 | [ | ||
254 | text "[1]" | ||
255 | fontSize 12 | ||
256 | fontName "Dialog" | ||
257 | configuration "AutoFlippingLabel" | ||
258 | contentWidth 17.341796875 | ||
259 | contentHeight 18.701171875 | ||
260 | model "six_pos" | ||
261 | position "ttail" | ||
262 | ] | ||
263 | ] | ||
264 | edge | ||
265 | [ | ||
266 | source 2 | ||
267 | target 0 | ||
268 | label "entry reference Entry" | ||
269 | graphics | ||
270 | [ | ||
271 | fill "#000000" | ||
272 | targetArrow "standard" | ||
273 | ] | ||
274 | edgeAnchor | ||
275 | [ | ||
276 | ySource 0.35 | ||
277 | xTarget -0.28 | ||
278 | yTarget 0.35 | ||
279 | ] | ||
280 | LabelGraphics | ||
281 | [ | ||
282 | text "entry reference Entry" | ||
283 | fontSize 12 | ||
284 | fontName "Dialog" | ||
285 | configuration "AutoFlippingLabel" | ||
286 | contentWidth 116.048828125 | ||
287 | contentHeight 18.701171875 | ||
288 | model "six_pos" | ||
289 | position "head" | ||
290 | ] | ||
291 | LabelGraphics | ||
292 | [ | ||
293 | text "[1]" | ||
294 | fontSize 12 | ||
295 | fontName "Dialog" | ||
296 | configuration "AutoFlippingLabel" | ||
297 | contentWidth 17.341796875 | ||
298 | contentHeight 18.701171875 | ||
299 | model "six_pos" | ||
300 | position "stail" | ||
301 | ] | ||
302 | LabelGraphics | ||
303 | [ | ||
304 | text "[1, 0, 0, 0]" | ||
305 | fontSize 12 | ||
306 | fontName "Dialog" | ||
307 | configuration "AutoFlippingLabel" | ||
308 | contentWidth 57.3671875 | ||
309 | contentHeight 18.701171875 | ||
310 | model "six_pos" | ||
311 | position "ttail" | ||
312 | ] | ||
313 | ] | ||
314 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml new file mode 100644 index 00000000..09dff987 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic1NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,621 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 137.5 | ||
9 | h 40 | ||
10 | type "roundrectangle" | ||
11 | fill "#FFCC00" | ||
12 | outline "#000000" | ||
13 | ] | ||
14 | LabelGraphics | ||
15 | [ | ||
16 | ] | ||
17 | LabelGraphics | ||
18 | [ | ||
19 | text "[State class] (1)" | ||
20 | fontSize 14 | ||
21 | fontName "Dialog" | ||
22 | ] | ||
23 | ] | ||
24 | node | ||
25 | [ | ||
26 | id 1 | ||
27 | graphics | ||
28 | [ | ||
29 | w 137.5 | ||
30 | h 40 | ||
31 | type "roundrectangle" | ||
32 | fill "#FFCC00" | ||
33 | outline "#000000" | ||
34 | ] | ||
35 | LabelGraphics | ||
36 | [ | ||
37 | ] | ||
38 | LabelGraphics | ||
39 | [ | ||
40 | text "[Entry class] (1)" | ||
41 | fontSize 14 | ||
42 | fontName "Dialog" | ||
43 | ] | ||
44 | ] | ||
45 | node | ||
46 | [ | ||
47 | id 2 | ||
48 | graphics | ||
49 | [ | ||
50 | w 137.5 | ||
51 | h 40 | ||
52 | type "roundrectangle" | ||
53 | fill "#FFCC00" | ||
54 | outline "#000000" | ||
55 | ] | ||
56 | LabelGraphics | ||
57 | [ | ||
58 | ] | ||
59 | LabelGraphics | ||
60 | [ | ||
61 | text "[State class] (1)" | ||
62 | fontSize 14 | ||
63 | fontName "Dialog" | ||
64 | ] | ||
65 | ] | ||
66 | node | ||
67 | [ | ||
68 | id 3 | ||
69 | graphics | ||
70 | [ | ||
71 | w 137.5 | ||
72 | h 40 | ||
73 | type "roundrectangle" | ||
74 | fill "#FFCC00" | ||
75 | outline "#000000" | ||
76 | ] | ||
77 | LabelGraphics | ||
78 | [ | ||
79 | ] | ||
80 | LabelGraphics | ||
81 | [ | ||
82 | text "[State class] (1)" | ||
83 | fontSize 14 | ||
84 | fontName "Dialog" | ||
85 | ] | ||
86 | ] | ||
87 | node | ||
88 | [ | ||
89 | id 4 | ||
90 | graphics | ||
91 | [ | ||
92 | w 137.5 | ||
93 | h 40 | ||
94 | type "roundrectangle" | ||
95 | fill "#FFCC00" | ||
96 | outline "#000000" | ||
97 | ] | ||
98 | LabelGraphics | ||
99 | [ | ||
100 | ] | ||
101 | LabelGraphics | ||
102 | [ | ||
103 | text "[State class] (2)" | ||
104 | fontSize 14 | ||
105 | fontName "Dialog" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 5 | ||
111 | graphics | ||
112 | [ | ||
113 | w 176.0 | ||
114 | h 40 | ||
115 | type "roundrectangle" | ||
116 | fill "#FFCC00" | ||
117 | outline "#000000" | ||
118 | ] | ||
119 | LabelGraphics | ||
120 | [ | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | text "[Statechart class] (1)" | ||
125 | fontSize 14 | ||
126 | fontName "Dialog" | ||
127 | ] | ||
128 | ] | ||
129 | edge | ||
130 | [ | ||
131 | source 1 | ||
132 | target 2 | ||
133 | label "entry reference Entry" | ||
134 | graphics | ||
135 | [ | ||
136 | fill "#000000" | ||
137 | targetArrow "standard" | ||
138 | Line | ||
139 | [ | ||
140 | ] | ||
141 | ] | ||
142 | LabelGraphics | ||
143 | [ | ||
144 | text "entry reference Entry" | ||
145 | fontSize 12 | ||
146 | fontName "Dialog" | ||
147 | configuration "AutoFlippingLabel" | ||
148 | model "six_pos" | ||
149 | position "head" | ||
150 | ] | ||
151 | LabelGraphics | ||
152 | [ | ||
153 | text "[1]" | ||
154 | fontSize 12 | ||
155 | fontName "Dialog" | ||
156 | configuration "AutoFlippingLabel" | ||
157 | model "six_pos" | ||
158 | position "stail" | ||
159 | ] | ||
160 | LabelGraphics | ||
161 | [ | ||
162 | text "[1]" | ||
163 | fontSize 12 | ||
164 | fontName "Dialog" | ||
165 | configuration "AutoFlippingLabel" | ||
166 | model "six_pos" | ||
167 | position "ttail" | ||
168 | ] | ||
169 | ] | ||
170 | edge | ||
171 | [ | ||
172 | source 3 | ||
173 | target 2 | ||
174 | label "next reference State" | ||
175 | graphics | ||
176 | [ | ||
177 | fill "#000000" | ||
178 | targetArrow "standard" | ||
179 | Line | ||
180 | [ | ||
181 | ] | ||
182 | ] | ||
183 | LabelGraphics | ||
184 | [ | ||
185 | text "next reference State" | ||
186 | fontSize 12 | ||
187 | fontName "Dialog" | ||
188 | configuration "AutoFlippingLabel" | ||
189 | model "six_pos" | ||
190 | position "head" | ||
191 | ] | ||
192 | LabelGraphics | ||
193 | [ | ||
194 | text "[1]" | ||
195 | fontSize 12 | ||
196 | fontName "Dialog" | ||
197 | configuration "AutoFlippingLabel" | ||
198 | model "six_pos" | ||
199 | position "stail" | ||
200 | ] | ||
201 | LabelGraphics | ||
202 | [ | ||
203 | text "[1, 1, 1, 1]" | ||
204 | fontSize 12 | ||
205 | fontName "Dialog" | ||
206 | configuration "AutoFlippingLabel" | ||
207 | model "six_pos" | ||
208 | position "ttail" | ||
209 | ] | ||
210 | ] | ||
211 | edge | ||
212 | [ | ||
213 | source 3 | ||
214 | target 0 | ||
215 | label "next reference State" | ||
216 | graphics | ||
217 | [ | ||
218 | fill "#000000" | ||
219 | targetArrow "standard" | ||
220 | Line | ||
221 | [ | ||
222 | ] | ||
223 | ] | ||
224 | LabelGraphics | ||
225 | [ | ||
226 | text "next reference State" | ||
227 | fontSize 12 | ||
228 | fontName "Dialog" | ||
229 | configuration "AutoFlippingLabel" | ||
230 | model "six_pos" | ||
231 | position "head" | ||
232 | ] | ||
233 | LabelGraphics | ||
234 | [ | ||
235 | text "[1]" | ||
236 | fontSize 12 | ||
237 | fontName "Dialog" | ||
238 | configuration "AutoFlippingLabel" | ||
239 | model "six_pos" | ||
240 | position "stail" | ||
241 | ] | ||
242 | LabelGraphics | ||
243 | [ | ||
244 | text "[1, 1, 1, 1]" | ||
245 | fontSize 12 | ||
246 | fontName "Dialog" | ||
247 | configuration "AutoFlippingLabel" | ||
248 | model "six_pos" | ||
249 | position "ttail" | ||
250 | ] | ||
251 | ] | ||
252 | edge | ||
253 | [ | ||
254 | source 3 | ||
255 | target 4 | ||
256 | label "next reference State" | ||
257 | graphics | ||
258 | [ | ||
259 | fill "#000000" | ||
260 | targetArrow "standard" | ||
261 | Line | ||
262 | [ | ||
263 | ] | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "next reference State" | ||
268 | fontSize 12 | ||
269 | fontName "Dialog" | ||
270 | configuration "AutoFlippingLabel" | ||
271 | model "six_pos" | ||
272 | position "head" | ||
273 | ] | ||
274 | LabelGraphics | ||
275 | [ | ||
276 | text "[2]" | ||
277 | fontSize 12 | ||
278 | fontName "Dialog" | ||
279 | configuration "AutoFlippingLabel" | ||
280 | model "six_pos" | ||
281 | position "stail" | ||
282 | ] | ||
283 | LabelGraphics | ||
284 | [ | ||
285 | text "[1, 1, 1, 1]" | ||
286 | fontSize 12 | ||
287 | fontName "Dialog" | ||
288 | configuration "AutoFlippingLabel" | ||
289 | model "six_pos" | ||
290 | position "ttail" | ||
291 | ] | ||
292 | ] | ||
293 | edge | ||
294 | [ | ||
295 | source 2 | ||
296 | target 3 | ||
297 | label "next reference State" | ||
298 | graphics | ||
299 | [ | ||
300 | fill "#000000" | ||
301 | targetArrow "standard" | ||
302 | Line | ||
303 | [ | ||
304 | ] | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text "next reference State" | ||
309 | fontSize 12 | ||
310 | fontName "Dialog" | ||
311 | configuration "AutoFlippingLabel" | ||
312 | model "six_pos" | ||
313 | position "head" | ||
314 | ] | ||
315 | LabelGraphics | ||
316 | [ | ||
317 | text "[1]" | ||
318 | fontSize 12 | ||
319 | fontName "Dialog" | ||
320 | configuration "AutoFlippingLabel" | ||
321 | model "six_pos" | ||
322 | position "stail" | ||
323 | ] | ||
324 | LabelGraphics | ||
325 | [ | ||
326 | text "[1]" | ||
327 | fontSize 12 | ||
328 | fontName "Dialog" | ||
329 | configuration "AutoFlippingLabel" | ||
330 | model "six_pos" | ||
331 | position "ttail" | ||
332 | ] | ||
333 | ] | ||
334 | edge | ||
335 | [ | ||
336 | source 4 | ||
337 | target 2 | ||
338 | label "next reference State" | ||
339 | graphics | ||
340 | [ | ||
341 | fill "#000000" | ||
342 | targetArrow "standard" | ||
343 | Line | ||
344 | [ | ||
345 | ] | ||
346 | ] | ||
347 | LabelGraphics | ||
348 | [ | ||
349 | text "next reference State" | ||
350 | fontSize 12 | ||
351 | fontName "Dialog" | ||
352 | configuration "AutoFlippingLabel" | ||
353 | model "six_pos" | ||
354 | position "head" | ||
355 | ] | ||
356 | LabelGraphics | ||
357 | [ | ||
358 | text "[1, 0]" | ||
359 | fontSize 12 | ||
360 | fontName "Dialog" | ||
361 | configuration "AutoFlippingLabel" | ||
362 | model "six_pos" | ||
363 | position "stail" | ||
364 | ] | ||
365 | LabelGraphics | ||
366 | [ | ||
367 | text "[1, 1]" | ||
368 | fontSize 12 | ||
369 | fontName "Dialog" | ||
370 | configuration "AutoFlippingLabel" | ||
371 | model "six_pos" | ||
372 | position "ttail" | ||
373 | ] | ||
374 | ] | ||
375 | edge | ||
376 | [ | ||
377 | source 4 | ||
378 | target 3 | ||
379 | label "next reference State" | ||
380 | graphics | ||
381 | [ | ||
382 | fill "#000000" | ||
383 | targetArrow "standard" | ||
384 | Line | ||
385 | [ | ||
386 | ] | ||
387 | ] | ||
388 | LabelGraphics | ||
389 | [ | ||
390 | text "next reference State" | ||
391 | fontSize 12 | ||
392 | fontName "Dialog" | ||
393 | configuration "AutoFlippingLabel" | ||
394 | model "six_pos" | ||
395 | position "head" | ||
396 | ] | ||
397 | LabelGraphics | ||
398 | [ | ||
399 | text "[1, 0]" | ||
400 | fontSize 12 | ||
401 | fontName "Dialog" | ||
402 | configuration "AutoFlippingLabel" | ||
403 | model "six_pos" | ||
404 | position "stail" | ||
405 | ] | ||
406 | LabelGraphics | ||
407 | [ | ||
408 | text "[1, 1]" | ||
409 | fontSize 12 | ||
410 | fontName "Dialog" | ||
411 | configuration "AutoFlippingLabel" | ||
412 | model "six_pos" | ||
413 | position "ttail" | ||
414 | ] | ||
415 | ] | ||
416 | edge | ||
417 | [ | ||
418 | source 5 | ||
419 | target 2 | ||
420 | label "state reference Statechart" | ||
421 | graphics | ||
422 | [ | ||
423 | fill "#000000" | ||
424 | targetArrow "standard" | ||
425 | Line | ||
426 | [ | ||
427 | ] | ||
428 | ] | ||
429 | LabelGraphics | ||
430 | [ | ||
431 | text "state reference Statechart" | ||
432 | fontSize 12 | ||
433 | fontName "Dialog" | ||
434 | configuration "AutoFlippingLabel" | ||
435 | model "six_pos" | ||
436 | position "head" | ||
437 | ] | ||
438 | LabelGraphics | ||
439 | [ | ||
440 | text "[1]" | ||
441 | fontSize 12 | ||
442 | fontName "Dialog" | ||
443 | configuration "AutoFlippingLabel" | ||
444 | model "six_pos" | ||
445 | position "stail" | ||
446 | ] | ||
447 | LabelGraphics | ||
448 | [ | ||
449 | text "[1, 1, 1, 1, 1]" | ||
450 | fontSize 12 | ||
451 | fontName "Dialog" | ||
452 | configuration "AutoFlippingLabel" | ||
453 | model "six_pos" | ||
454 | position "ttail" | ||
455 | ] | ||
456 | ] | ||
457 | edge | ||
458 | [ | ||
459 | source 5 | ||
460 | target 1 | ||
461 | label "entry reference Statechart" | ||
462 | graphics | ||
463 | [ | ||
464 | fill "#000000" | ||
465 | targetArrow "standard" | ||
466 | Line | ||
467 | [ | ||
468 | ] | ||
469 | ] | ||
470 | LabelGraphics | ||
471 | [ | ||
472 | text "entry reference Statechart" | ||
473 | fontSize 12 | ||
474 | fontName "Dialog" | ||
475 | configuration "AutoFlippingLabel" | ||
476 | model "six_pos" | ||
477 | position "head" | ||
478 | ] | ||
479 | LabelGraphics | ||
480 | [ | ||
481 | text "[1]" | ||
482 | fontSize 12 | ||
483 | fontName "Dialog" | ||
484 | configuration "AutoFlippingLabel" | ||
485 | model "six_pos" | ||
486 | position "stail" | ||
487 | ] | ||
488 | LabelGraphics | ||
489 | [ | ||
490 | text "[1]" | ||
491 | fontSize 12 | ||
492 | fontName "Dialog" | ||
493 | configuration "AutoFlippingLabel" | ||
494 | model "six_pos" | ||
495 | position "ttail" | ||
496 | ] | ||
497 | ] | ||
498 | edge | ||
499 | [ | ||
500 | source 5 | ||
501 | target 4 | ||
502 | label "state reference Statechart" | ||
503 | graphics | ||
504 | [ | ||
505 | fill "#000000" | ||
506 | targetArrow "standard" | ||
507 | Line | ||
508 | [ | ||
509 | ] | ||
510 | ] | ||
511 | LabelGraphics | ||
512 | [ | ||
513 | text "state reference Statechart" | ||
514 | fontSize 12 | ||
515 | fontName "Dialog" | ||
516 | configuration "AutoFlippingLabel" | ||
517 | model "six_pos" | ||
518 | position "head" | ||
519 | ] | ||
520 | LabelGraphics | ||
521 | [ | ||
522 | text "[2]" | ||
523 | fontSize 12 | ||
524 | fontName "Dialog" | ||
525 | configuration "AutoFlippingLabel" | ||
526 | model "six_pos" | ||
527 | position "stail" | ||
528 | ] | ||
529 | LabelGraphics | ||
530 | [ | ||
531 | text "[1, 1, 1, 1, 1]" | ||
532 | fontSize 12 | ||
533 | fontName "Dialog" | ||
534 | configuration "AutoFlippingLabel" | ||
535 | model "six_pos" | ||
536 | position "ttail" | ||
537 | ] | ||
538 | ] | ||
539 | edge | ||
540 | [ | ||
541 | source 5 | ||
542 | target 3 | ||
543 | label "state reference Statechart" | ||
544 | graphics | ||
545 | [ | ||
546 | fill "#000000" | ||
547 | targetArrow "standard" | ||
548 | Line | ||
549 | [ | ||
550 | ] | ||
551 | ] | ||
552 | LabelGraphics | ||
553 | [ | ||
554 | text "state reference Statechart" | ||
555 | fontSize 12 | ||
556 | fontName "Dialog" | ||
557 | configuration "AutoFlippingLabel" | ||
558 | model "six_pos" | ||
559 | position "head" | ||
560 | ] | ||
561 | LabelGraphics | ||
562 | [ | ||
563 | text "[1]" | ||
564 | fontSize 12 | ||
565 | fontName "Dialog" | ||
566 | configuration "AutoFlippingLabel" | ||
567 | model "six_pos" | ||
568 | position "stail" | ||
569 | ] | ||
570 | LabelGraphics | ||
571 | [ | ||
572 | text "[1, 1, 1, 1, 1]" | ||
573 | fontSize 12 | ||
574 | fontName "Dialog" | ||
575 | configuration "AutoFlippingLabel" | ||
576 | model "six_pos" | ||
577 | position "ttail" | ||
578 | ] | ||
579 | ] | ||
580 | edge | ||
581 | [ | ||
582 | source 5 | ||
583 | target 0 | ||
584 | label "state reference Statechart" | ||
585 | graphics | ||
586 | [ | ||
587 | fill "#000000" | ||
588 | targetArrow "standard" | ||
589 | Line | ||
590 | [ | ||
591 | ] | ||
592 | ] | ||
593 | LabelGraphics | ||
594 | [ | ||
595 | text "state reference Statechart" | ||
596 | fontSize 12 | ||
597 | fontName "Dialog" | ||
598 | configuration "AutoFlippingLabel" | ||
599 | model "six_pos" | ||
600 | position "head" | ||
601 | ] | ||
602 | LabelGraphics | ||
603 | [ | ||
604 | text "[1]" | ||
605 | fontSize 12 | ||
606 | fontName "Dialog" | ||
607 | configuration "AutoFlippingLabel" | ||
608 | model "six_pos" | ||
609 | position "stail" | ||
610 | ] | ||
611 | LabelGraphics | ||
612 | [ | ||
613 | text "[1, 1, 1, 1, 1]" | ||
614 | fontSize 12 | ||
615 | fontName "Dialog" | ||
616 | configuration "AutoFlippingLabel" | ||
617 | model "six_pos" | ||
618 | position "ttail" | ||
619 | ] | ||
620 | ] | ||
621 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml new file mode 100644 index 00000000..aa0f19b6 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic2NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,559 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x -321.0 | ||
15 | y 198.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 312.0 | ||
40 | y -56.0 | ||
41 | w 137.5 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[State class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x 337.0 | ||
65 | y 323.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[State class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x 40.75 | ||
90 | y 192.0 | ||
91 | w 137.5 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[State class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 4 | ||
111 | label "" | ||
112 | graphics | ||
113 | [ | ||
114 | x -321.0 | ||
115 | y 47.0 | ||
116 | w 137.5 | ||
117 | h 40.0 | ||
118 | type "roundrectangle" | ||
119 | fill "#FFCC00" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | ] | ||
125 | LabelGraphics | ||
126 | [ | ||
127 | text "[State class] (1)" | ||
128 | fontSize 14 | ||
129 | fontName "Dialog" | ||
130 | anchor "c" | ||
131 | ] | ||
132 | ] | ||
133 | node | ||
134 | [ | ||
135 | id 5 | ||
136 | label "" | ||
137 | graphics | ||
138 | [ | ||
139 | x 312.0 | ||
140 | y -193.0 | ||
141 | w 176.0 | ||
142 | h 40.0 | ||
143 | type "roundrectangle" | ||
144 | fill "#FFCC00" | ||
145 | outline "#000000" | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[Statechart class] (1)" | ||
153 | fontSize 14 | ||
154 | fontName "Dialog" | ||
155 | anchor "c" | ||
156 | ] | ||
157 | ] | ||
158 | node | ||
159 | [ | ||
160 | id 6 | ||
161 | label "" | ||
162 | graphics | ||
163 | [ | ||
164 | x 40.75 | ||
165 | y -128.0 | ||
166 | w 137.5 | ||
167 | h 40.0 | ||
168 | type "roundrectangle" | ||
169 | fill "#FFCC00" | ||
170 | outline "#000000" | ||
171 | ] | ||
172 | LabelGraphics | ||
173 | [ | ||
174 | ] | ||
175 | LabelGraphics | ||
176 | [ | ||
177 | text "[Entry class] (1)" | ||
178 | fontSize 14 | ||
179 | fontName "Dialog" | ||
180 | anchor "c" | ||
181 | ] | ||
182 | ] | ||
183 | edge | ||
184 | [ | ||
185 | source 2 | ||
186 | target 3 | ||
187 | label "next reference State" | ||
188 | graphics | ||
189 | [ | ||
190 | fill "#000000" | ||
191 | targetArrow "standard" | ||
192 | Line | ||
193 | [ | ||
194 | point | ||
195 | [ | ||
196 | x 337.0 | ||
197 | y 323.0 | ||
198 | ] | ||
199 | point | ||
200 | [ | ||
201 | x 40.75 | ||
202 | y 323.0 | ||
203 | ] | ||
204 | point | ||
205 | [ | ||
206 | x 40.75 | ||
207 | y 192.0 | ||
208 | ] | ||
209 | ] | ||
210 | ] | ||
211 | LabelGraphics | ||
212 | [ | ||
213 | text "next reference State" | ||
214 | fontSize 12 | ||
215 | fontName "Dialog" | ||
216 | configuration "AutoFlippingLabel" | ||
217 | contentWidth 112.064453125 | ||
218 | contentHeight 18.701171875 | ||
219 | model "six_pos" | ||
220 | position "head" | ||
221 | ] | ||
222 | LabelGraphics | ||
223 | [ | ||
224 | text "[1, 1, 1, 1]" | ||
225 | fontSize 12 | ||
226 | fontName "Dialog" | ||
227 | configuration "AutoFlippingLabel" | ||
228 | contentWidth 57.3671875 | ||
229 | contentHeight 18.701171875 | ||
230 | model "six_pos" | ||
231 | position "stail" | ||
232 | ] | ||
233 | LabelGraphics | ||
234 | [ | ||
235 | text "[1]" | ||
236 | fontSize 12 | ||
237 | fontName "Dialog" | ||
238 | configuration "AutoFlippingLabel" | ||
239 | contentWidth 17.341796875 | ||
240 | contentHeight 18.701171875 | ||
241 | model "six_pos" | ||
242 | position "ttail" | ||
243 | ] | ||
244 | ] | ||
245 | edge | ||
246 | [ | ||
247 | source 3 | ||
248 | target 2 | ||
249 | label "next reference State" | ||
250 | graphics | ||
251 | [ | ||
252 | fill "#000000" | ||
253 | targetArrow "standard" | ||
254 | Line | ||
255 | [ | ||
256 | point | ||
257 | [ | ||
258 | x 40.75 | ||
259 | y 192.0 | ||
260 | ] | ||
261 | point | ||
262 | [ | ||
263 | x 40.75 | ||
264 | y 323.0 | ||
265 | ] | ||
266 | point | ||
267 | [ | ||
268 | x 337.0 | ||
269 | y 323.0 | ||
270 | ] | ||
271 | ] | ||
272 | ] | ||
273 | LabelGraphics | ||
274 | [ | ||
275 | text "next reference State" | ||
276 | fontSize 12 | ||
277 | fontName "Dialog" | ||
278 | configuration "AutoFlippingLabel" | ||
279 | contentWidth 112.064453125 | ||
280 | contentHeight 18.701171875 | ||
281 | model "six_pos" | ||
282 | position "head" | ||
283 | ] | ||
284 | LabelGraphics | ||
285 | [ | ||
286 | text "[1]" | ||
287 | fontSize 12 | ||
288 | fontName "Dialog" | ||
289 | configuration "AutoFlippingLabel" | ||
290 | contentWidth 17.341796875 | ||
291 | contentHeight 18.701171875 | ||
292 | model "six_pos" | ||
293 | position "stail" | ||
294 | ] | ||
295 | LabelGraphics | ||
296 | [ | ||
297 | text "[1]" | ||
298 | fontSize 12 | ||
299 | fontName "Dialog" | ||
300 | configuration "AutoFlippingLabel" | ||
301 | contentWidth 17.341796875 | ||
302 | contentHeight 18.701171875 | ||
303 | model "six_pos" | ||
304 | position "ttail" | ||
305 | ] | ||
306 | ] | ||
307 | edge | ||
308 | [ | ||
309 | source 5 | ||
310 | target 1 | ||
311 | label "state reference Statechart" | ||
312 | graphics | ||
313 | [ | ||
314 | fill "#000000" | ||
315 | targetArrow "standard" | ||
316 | ] | ||
317 | LabelGraphics | ||
318 | [ | ||
319 | text "state reference Statechart" | ||
320 | fontSize 12 | ||
321 | fontName "Dialog" | ||
322 | configuration "AutoFlippingLabel" | ||
323 | contentWidth 142.076171875 | ||
324 | contentHeight 18.701171875 | ||
325 | model "six_pos" | ||
326 | position "head" | ||
327 | ] | ||
328 | LabelGraphics | ||
329 | [ | ||
330 | text "[1, 1, 1, 1, 1]" | ||
331 | fontSize 12 | ||
332 | fontName "Dialog" | ||
333 | configuration "AutoFlippingLabel" | ||
334 | contentWidth 70.708984375 | ||
335 | contentHeight 18.701171875 | ||
336 | model "six_pos" | ||
337 | position "stail" | ||
338 | ] | ||
339 | LabelGraphics | ||
340 | [ | ||
341 | text "[1]" | ||
342 | fontSize 12 | ||
343 | fontName "Dialog" | ||
344 | configuration "AutoFlippingLabel" | ||
345 | contentWidth 17.341796875 | ||
346 | contentHeight 18.701171875 | ||
347 | model "six_pos" | ||
348 | position "ttail" | ||
349 | ] | ||
350 | ] | ||
351 | edge | ||
352 | [ | ||
353 | source 5 | ||
354 | target 6 | ||
355 | label "entry reference Statechart" | ||
356 | graphics | ||
357 | [ | ||
358 | fill "#000000" | ||
359 | targetArrow "standard" | ||
360 | Line | ||
361 | [ | ||
362 | point | ||
363 | [ | ||
364 | x 312.0 | ||
365 | y -193.0 | ||
366 | ] | ||
367 | point | ||
368 | [ | ||
369 | x 40.75 | ||
370 | y -193.0 | ||
371 | ] | ||
372 | point | ||
373 | [ | ||
374 | x 40.75 | ||
375 | y -128.0 | ||
376 | ] | ||
377 | ] | ||
378 | ] | ||
379 | edgeAnchor | ||
380 | [ | ||
381 | xSource -0.5113636363636364 | ||
382 | ] | ||
383 | LabelGraphics | ||
384 | [ | ||
385 | text "entry reference Statechart" | ||
386 | fontSize 12 | ||
387 | fontName "Dialog" | ||
388 | configuration "AutoFlippingLabel" | ||
389 | contentWidth 142.73828125 | ||
390 | contentHeight 18.701171875 | ||
391 | model "six_pos" | ||
392 | position "head" | ||
393 | ] | ||
394 | LabelGraphics | ||
395 | [ | ||
396 | text "[1]" | ||
397 | fontSize 12 | ||
398 | fontName "Dialog" | ||
399 | configuration "AutoFlippingLabel" | ||
400 | contentWidth 17.341796875 | ||
401 | contentHeight 18.701171875 | ||
402 | model "six_pos" | ||
403 | position "stail" | ||
404 | ] | ||
405 | LabelGraphics | ||
406 | [ | ||
407 | text "[1]" | ||
408 | fontSize 12 | ||
409 | fontName "Dialog" | ||
410 | configuration "AutoFlippingLabel" | ||
411 | contentWidth 17.341796875 | ||
412 | contentHeight 18.701171875 | ||
413 | model "six_pos" | ||
414 | position "ttail" | ||
415 | ] | ||
416 | ] | ||
417 | edge | ||
418 | [ | ||
419 | source 0 | ||
420 | target 3 | ||
421 | label "next reference State" | ||
422 | graphics | ||
423 | [ | ||
424 | fill "#000000" | ||
425 | targetArrow "standard" | ||
426 | ] | ||
427 | edgeAnchor | ||
428 | [ | ||
429 | yTarget 0.3 | ||
430 | ] | ||
431 | LabelGraphics | ||
432 | [ | ||
433 | text "next reference State" | ||
434 | fontSize 12 | ||
435 | fontName "Dialog" | ||
436 | configuration "AutoFlippingLabel" | ||
437 | contentWidth 112.064453125 | ||
438 | contentHeight 18.701171875 | ||
439 | model "six_pos" | ||
440 | position "head" | ||
441 | ] | ||
442 | LabelGraphics | ||
443 | [ | ||
444 | text "[1]" | ||
445 | fontSize 12 | ||
446 | fontName "Dialog" | ||
447 | configuration "AutoFlippingLabel" | ||
448 | contentWidth 17.341796875 | ||
449 | contentHeight 18.701171875 | ||
450 | model "six_pos" | ||
451 | position "stail" | ||
452 | ] | ||
453 | LabelGraphics | ||
454 | [ | ||
455 | text "[1]" | ||
456 | fontSize 12 | ||
457 | fontName "Dialog" | ||
458 | configuration "AutoFlippingLabel" | ||
459 | contentWidth 17.341796875 | ||
460 | contentHeight 18.701171875 | ||
461 | model "six_pos" | ||
462 | position "ttail" | ||
463 | ] | ||
464 | ] | ||
465 | edge | ||
466 | [ | ||
467 | source 6 | ||
468 | target 3 | ||
469 | label "entry reference Entry" | ||
470 | graphics | ||
471 | [ | ||
472 | fill "#000000" | ||
473 | targetArrow "standard" | ||
474 | ] | ||
475 | LabelGraphics | ||
476 | [ | ||
477 | text "entry reference Entry" | ||
478 | fontSize 12 | ||
479 | fontName "Dialog" | ||
480 | configuration "AutoFlippingLabel" | ||
481 | contentWidth 116.048828125 | ||
482 | contentHeight 18.701171875 | ||
483 | model "six_pos" | ||
484 | position "head" | ||
485 | ] | ||
486 | LabelGraphics | ||
487 | [ | ||
488 | text "[1]" | ||
489 | fontSize 12 | ||
490 | fontName "Dialog" | ||
491 | configuration "AutoFlippingLabel" | ||
492 | contentWidth 17.341796875 | ||
493 | contentHeight 18.701171875 | ||
494 | model "six_pos" | ||
495 | position "stail" | ||
496 | ] | ||
497 | LabelGraphics | ||
498 | [ | ||
499 | text "[1]" | ||
500 | fontSize 12 | ||
501 | fontName "Dialog" | ||
502 | configuration "AutoFlippingLabel" | ||
503 | contentWidth 17.341796875 | ||
504 | contentHeight 18.701171875 | ||
505 | model "six_pos" | ||
506 | position "ttail" | ||
507 | ] | ||
508 | ] | ||
509 | edge | ||
510 | [ | ||
511 | source 1 | ||
512 | target 2 | ||
513 | label "next reference State" | ||
514 | graphics | ||
515 | [ | ||
516 | fill "#000000" | ||
517 | targetArrow "standard" | ||
518 | ] | ||
519 | edgeAnchor | ||
520 | [ | ||
521 | xSource 0.5454545454545454 | ||
522 | xTarget 0.18181818181818182 | ||
523 | yTarget -0.75 | ||
524 | ] | ||
525 | LabelGraphics | ||
526 | [ | ||
527 | text "next reference State" | ||
528 | fontSize 12 | ||
529 | fontName "Dialog" | ||
530 | configuration "AutoFlippingLabel" | ||
531 | contentWidth 112.064453125 | ||
532 | contentHeight 18.701171875 | ||
533 | model "six_pos" | ||
534 | position "head" | ||
535 | ] | ||
536 | LabelGraphics | ||
537 | [ | ||
538 | text "[1]" | ||
539 | fontSize 12 | ||
540 | fontName "Dialog" | ||
541 | configuration "AutoFlippingLabel" | ||
542 | contentWidth 17.341796875 | ||
543 | contentHeight 18.701171875 | ||
544 | model "six_pos" | ||
545 | position "stail" | ||
546 | ] | ||
547 | LabelGraphics | ||
548 | [ | ||
549 | text "[1]" | ||
550 | fontSize 12 | ||
551 | fontName "Dialog" | ||
552 | configuration "AutoFlippingLabel" | ||
553 | contentWidth 17.341796875 | ||
554 | contentHeight 18.701171875 | ||
555 | model "six_pos" | ||
556 | position "ttail" | ||
557 | ] | ||
558 | ] | ||
559 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml new file mode 100644 index 00000000..8127e609 --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealistic3NEIGHBOURHOOD.gml | |||
@@ -0,0 +1,599 @@ | |||
1 | Creator "yFiles" | ||
2 | Version "2.16" | ||
3 | graph | ||
4 | [ | ||
5 | hierarchic 1 | ||
6 | label "" | ||
7 | directed 1 | ||
8 | node | ||
9 | [ | ||
10 | id 0 | ||
11 | label "" | ||
12 | graphics | ||
13 | [ | ||
14 | x -158.5 | ||
15 | y -79.0 | ||
16 | w 137.5 | ||
17 | h 40.0 | ||
18 | type "roundrectangle" | ||
19 | fill "#FFCC00" | ||
20 | outline "#000000" | ||
21 | ] | ||
22 | LabelGraphics | ||
23 | [ | ||
24 | ] | ||
25 | LabelGraphics | ||
26 | [ | ||
27 | text "[State class] (1)" | ||
28 | fontSize 14 | ||
29 | fontName "Dialog" | ||
30 | anchor "c" | ||
31 | ] | ||
32 | ] | ||
33 | node | ||
34 | [ | ||
35 | id 1 | ||
36 | label "" | ||
37 | graphics | ||
38 | [ | ||
39 | x 229.25 | ||
40 | y 230.0 | ||
41 | w 137.5 | ||
42 | h 40.0 | ||
43 | type "roundrectangle" | ||
44 | fill "#FFCC00" | ||
45 | outline "#000000" | ||
46 | ] | ||
47 | LabelGraphics | ||
48 | [ | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "[State class] (1)" | ||
53 | fontSize 14 | ||
54 | fontName "Dialog" | ||
55 | anchor "c" | ||
56 | ] | ||
57 | ] | ||
58 | node | ||
59 | [ | ||
60 | id 2 | ||
61 | label "" | ||
62 | graphics | ||
63 | [ | ||
64 | x 93.0 | ||
65 | y 9.0 | ||
66 | w 137.5 | ||
67 | h 40.0 | ||
68 | type "roundrectangle" | ||
69 | fill "#FFCC00" | ||
70 | outline "#000000" | ||
71 | ] | ||
72 | LabelGraphics | ||
73 | [ | ||
74 | ] | ||
75 | LabelGraphics | ||
76 | [ | ||
77 | text "[State class] (1)" | ||
78 | fontSize 14 | ||
79 | fontName "Dialog" | ||
80 | anchor "c" | ||
81 | ] | ||
82 | ] | ||
83 | node | ||
84 | [ | ||
85 | id 3 | ||
86 | label "" | ||
87 | graphics | ||
88 | [ | ||
89 | x 424.0 | ||
90 | y 43.0 | ||
91 | w 137.5 | ||
92 | h 40.0 | ||
93 | type "roundrectangle" | ||
94 | fill "#FFCC00" | ||
95 | outline "#000000" | ||
96 | ] | ||
97 | LabelGraphics | ||
98 | [ | ||
99 | ] | ||
100 | LabelGraphics | ||
101 | [ | ||
102 | text "[State class] (1)" | ||
103 | fontSize 14 | ||
104 | fontName "Dialog" | ||
105 | anchor "c" | ||
106 | ] | ||
107 | ] | ||
108 | node | ||
109 | [ | ||
110 | id 4 | ||
111 | label "" | ||
112 | graphics | ||
113 | [ | ||
114 | x -416.0 | ||
115 | y 9.0 | ||
116 | w 137.5 | ||
117 | h 40.0 | ||
118 | type "roundrectangle" | ||
119 | fill "#FFCC00" | ||
120 | outline "#000000" | ||
121 | ] | ||
122 | LabelGraphics | ||
123 | [ | ||
124 | ] | ||
125 | LabelGraphics | ||
126 | [ | ||
127 | text "[Entry class] (1)" | ||
128 | fontSize 14 | ||
129 | fontName "Dialog" | ||
130 | anchor "c" | ||
131 | ] | ||
132 | ] | ||
133 | node | ||
134 | [ | ||
135 | id 5 | ||
136 | label "" | ||
137 | graphics | ||
138 | [ | ||
139 | x -197.0 | ||
140 | y 243.0 | ||
141 | w 137.5 | ||
142 | h 40.0 | ||
143 | type "roundrectangle" | ||
144 | fill "#FFCC00" | ||
145 | outline "#000000" | ||
146 | ] | ||
147 | LabelGraphics | ||
148 | [ | ||
149 | ] | ||
150 | LabelGraphics | ||
151 | [ | ||
152 | text "[State class] (1)" | ||
153 | fontSize 14 | ||
154 | fontName "Dialog" | ||
155 | anchor "c" | ||
156 | ] | ||
157 | ] | ||
158 | node | ||
159 | [ | ||
160 | id 6 | ||
161 | label "" | ||
162 | graphics | ||
163 | [ | ||
164 | x -177.75 | ||
165 | y -230.0 | ||
166 | w 176.0 | ||
167 | h 40.0 | ||
168 | type "roundrectangle" | ||
169 | fill "#FFCC00" | ||
170 | outline "#000000" | ||
171 | ] | ||
172 | LabelGraphics | ||
173 | [ | ||
174 | ] | ||
175 | LabelGraphics | ||
176 | [ | ||
177 | text "[Statechart class] (1)" | ||
178 | fontSize 14 | ||
179 | fontName "Dialog" | ||
180 | anchor "c" | ||
181 | ] | ||
182 | ] | ||
183 | edge | ||
184 | [ | ||
185 | source 3 | ||
186 | target 1 | ||
187 | label "next reference State" | ||
188 | graphics | ||
189 | [ | ||
190 | fill "#000000" | ||
191 | targetArrow "standard" | ||
192 | Line | ||
193 | [ | ||
194 | point | ||
195 | [ | ||
196 | x 424.0 | ||
197 | y 43.0 | ||
198 | ] | ||
199 | point | ||
200 | [ | ||
201 | x 424.0 | ||
202 | y 230.0 | ||
203 | ] | ||
204 | point | ||
205 | [ | ||
206 | x 229.25 | ||
207 | y 230.0 | ||
208 | ] | ||
209 | ] | ||
210 | ] | ||
211 | LabelGraphics | ||
212 | [ | ||
213 | text "next reference State" | ||
214 | fontSize 12 | ||
215 | fontName "Dialog" | ||
216 | configuration "AutoFlippingLabel" | ||
217 | contentWidth 112.064453125 | ||
218 | contentHeight 18.701171875 | ||
219 | model "six_pos" | ||
220 | position "head" | ||
221 | ] | ||
222 | LabelGraphics | ||
223 | [ | ||
224 | text "[1]" | ||
225 | fontSize 12 | ||
226 | fontName "Dialog" | ||
227 | configuration "AutoFlippingLabel" | ||
228 | contentWidth 17.341796875 | ||
229 | contentHeight 18.701171875 | ||
230 | model "six_pos" | ||
231 | position "stail" | ||
232 | ] | ||
233 | LabelGraphics | ||
234 | [ | ||
235 | text "[1]" | ||
236 | fontSize 12 | ||
237 | fontName "Dialog" | ||
238 | configuration "AutoFlippingLabel" | ||
239 | contentWidth 17.341796875 | ||
240 | contentHeight 18.701171875 | ||
241 | model "six_pos" | ||
242 | position "ttail" | ||
243 | ] | ||
244 | ] | ||
245 | edge | ||
246 | [ | ||
247 | source 4 | ||
248 | target 5 | ||
249 | label "entry reference Entry" | ||
250 | graphics | ||
251 | [ | ||
252 | fill "#000000" | ||
253 | targetArrow "standard" | ||
254 | Line | ||
255 | [ | ||
256 | point | ||
257 | [ | ||
258 | x -416.0 | ||
259 | y 9.0 | ||
260 | ] | ||
261 | point | ||
262 | [ | ||
263 | x -321.0 | ||
264 | y 9.0 | ||
265 | ] | ||
266 | point | ||
267 | [ | ||
268 | x -321.0 | ||
269 | y 250.0 | ||
270 | ] | ||
271 | point | ||
272 | [ | ||
273 | x -197.0 | ||
274 | y 243.0 | ||
275 | ] | ||
276 | ] | ||
277 | ] | ||
278 | edgeAnchor | ||
279 | [ | ||
280 | yTarget 0.35 | ||
281 | ] | ||
282 | LabelGraphics | ||
283 | [ | ||
284 | text "entry reference Entry" | ||
285 | fontSize 12 | ||
286 | fontName "Dialog" | ||
287 | configuration "AutoFlippingLabel" | ||
288 | contentWidth 116.048828125 | ||
289 | contentHeight 18.701171875 | ||
290 | model "six_pos" | ||
291 | position "head" | ||
292 | ] | ||
293 | LabelGraphics | ||
294 | [ | ||
295 | text "[1]" | ||
296 | fontSize 12 | ||
297 | fontName "Dialog" | ||
298 | configuration "AutoFlippingLabel" | ||
299 | contentWidth 17.341796875 | ||
300 | contentHeight 18.701171875 | ||
301 | model "six_pos" | ||
302 | position "stail" | ||
303 | ] | ||
304 | LabelGraphics | ||
305 | [ | ||
306 | text "[1]" | ||
307 | fontSize 12 | ||
308 | fontName "Dialog" | ||
309 | configuration "AutoFlippingLabel" | ||
310 | contentWidth 17.341796875 | ||
311 | contentHeight 18.701171875 | ||
312 | model "six_pos" | ||
313 | position "ttail" | ||
314 | ] | ||
315 | ] | ||
316 | edge | ||
317 | [ | ||
318 | source 5 | ||
319 | target 1 | ||
320 | label "next reference State" | ||
321 | graphics | ||
322 | [ | ||
323 | fill "#000000" | ||
324 | targetArrow "standard" | ||
325 | Line | ||
326 | [ | ||
327 | point | ||
328 | [ | ||
329 | x -197.0 | ||
330 | y 243.0 | ||
331 | ] | ||
332 | point | ||
333 | [ | ||
334 | x -180.9375 | ||
335 | y 306.0 | ||
336 | ] | ||
337 | point | ||
338 | [ | ||
339 | x 229.25 | ||
340 | y 306.0 | ||
341 | ] | ||
342 | point | ||
343 | [ | ||
344 | x 229.25 | ||
345 | y 230.0 | ||
346 | ] | ||
347 | ] | ||
348 | ] | ||
349 | edgeAnchor | ||
350 | [ | ||
351 | xSource 0.23363636363636364 | ||
352 | yTarget 1.0 | ||
353 | ] | ||
354 | LabelGraphics | ||
355 | [ | ||
356 | text "next reference State" | ||
357 | fontSize 12 | ||
358 | fontName "Dialog" | ||
359 | configuration "AutoFlippingLabel" | ||
360 | contentWidth 112.064453125 | ||
361 | contentHeight 18.701171875 | ||
362 | model "six_pos" | ||
363 | position "head" | ||
364 | ] | ||
365 | LabelGraphics | ||
366 | [ | ||
367 | text "[1]" | ||
368 | fontSize 12 | ||
369 | fontName "Dialog" | ||
370 | configuration "AutoFlippingLabel" | ||
371 | contentWidth 17.341796875 | ||
372 | contentHeight 18.701171875 | ||
373 | model "six_pos" | ||
374 | position "stail" | ||
375 | ] | ||
376 | LabelGraphics | ||
377 | [ | ||
378 | text "[1]" | ||
379 | fontSize 12 | ||
380 | fontName "Dialog" | ||
381 | configuration "AutoFlippingLabel" | ||
382 | contentWidth 17.341796875 | ||
383 | contentHeight 18.701171875 | ||
384 | model "six_pos" | ||
385 | position "ttail" | ||
386 | ] | ||
387 | ] | ||
388 | edge | ||
389 | [ | ||
390 | source 0 | ||
391 | target 5 | ||
392 | label "next reference State" | ||
393 | graphics | ||
394 | [ | ||
395 | fill "#000000" | ||
396 | targetArrow "standard" | ||
397 | ] | ||
398 | edgeAnchor | ||
399 | [ | ||
400 | xSource -0.56 | ||
401 | ] | ||
402 | LabelGraphics | ||
403 | [ | ||
404 | text "next reference State" | ||
405 | fontSize 12 | ||
406 | fontName "Dialog" | ||
407 | configuration "AutoFlippingLabel" | ||
408 | contentWidth 112.064453125 | ||
409 | contentHeight 18.701171875 | ||
410 | model "six_pos" | ||
411 | position "head" | ||
412 | ] | ||
413 | LabelGraphics | ||
414 | [ | ||
415 | text "[1]" | ||
416 | fontSize 12 | ||
417 | fontName "Dialog" | ||
418 | configuration "AutoFlippingLabel" | ||
419 | contentWidth 17.341796875 | ||
420 | contentHeight 18.701171875 | ||
421 | model "six_pos" | ||
422 | position "stail" | ||
423 | ] | ||
424 | LabelGraphics | ||
425 | [ | ||
426 | text "[1]" | ||
427 | fontSize 12 | ||
428 | fontName "Dialog" | ||
429 | configuration "AutoFlippingLabel" | ||
430 | contentWidth 17.341796875 | ||
431 | contentHeight 18.701171875 | ||
432 | model "six_pos" | ||
433 | position "ttail" | ||
434 | ] | ||
435 | ] | ||
436 | edge | ||
437 | [ | ||
438 | source 6 | ||
439 | target 0 | ||
440 | label "state reference Statechart" | ||
441 | graphics | ||
442 | [ | ||
443 | fill "#000000" | ||
444 | targetArrow "standard" | ||
445 | ] | ||
446 | edgeAnchor | ||
447 | [ | ||
448 | xSource 0.21875 | ||
449 | ] | ||
450 | LabelGraphics | ||
451 | [ | ||
452 | text "state reference Statechart" | ||
453 | fontSize 12 | ||
454 | fontName "Dialog" | ||
455 | configuration "AutoFlippingLabel" | ||
456 | contentWidth 142.076171875 | ||
457 | contentHeight 18.701171875 | ||
458 | model "six_pos" | ||
459 | position "head" | ||
460 | ] | ||
461 | LabelGraphics | ||
462 | [ | ||
463 | text "[1, 1, 1, 1, 1]" | ||
464 | fontSize 12 | ||
465 | fontName "Dialog" | ||
466 | configuration "AutoFlippingLabel" | ||
467 | contentWidth 70.708984375 | ||
468 | contentHeight 18.701171875 | ||
469 | model "six_pos" | ||
470 | position "stail" | ||
471 | ] | ||
472 | LabelGraphics | ||
473 | [ | ||
474 | text "[1]" | ||
475 | fontSize 12 | ||
476 | fontName "Dialog" | ||
477 | configuration "AutoFlippingLabel" | ||
478 | contentWidth 17.341796875 | ||
479 | contentHeight 18.701171875 | ||
480 | model "six_pos" | ||
481 | position "ttail" | ||
482 | ] | ||
483 | ] | ||
484 | edge | ||
485 | [ | ||
486 | source 6 | ||
487 | target 4 | ||
488 | label "entry reference Statechart" | ||
489 | graphics | ||
490 | [ | ||
491 | fill "#000000" | ||
492 | targetArrow "standard" | ||
493 | Line | ||
494 | [ | ||
495 | point | ||
496 | [ | ||
497 | x -177.75 | ||
498 | y -230.0 | ||
499 | ] | ||
500 | point | ||
501 | [ | ||
502 | x -416.0 | ||
503 | y -230.0 | ||
504 | ] | ||
505 | point | ||
506 | [ | ||
507 | x -416.0 | ||
508 | y 9.0 | ||
509 | ] | ||
510 | ] | ||
511 | ] | ||
512 | edgeAnchor | ||
513 | [ | ||
514 | xSource -0.7727272727272727 | ||
515 | ] | ||
516 | LabelGraphics | ||
517 | [ | ||
518 | text "entry reference Statechart" | ||
519 | fontSize 12 | ||
520 | fontName "Dialog" | ||
521 | configuration "AutoFlippingLabel" | ||
522 | contentWidth 142.73828125 | ||
523 | contentHeight 18.701171875 | ||
524 | model "six_pos" | ||
525 | position "head" | ||
526 | ] | ||
527 | LabelGraphics | ||
528 | [ | ||
529 | text "[1]" | ||
530 | fontSize 12 | ||
531 | fontName "Dialog" | ||
532 | configuration "AutoFlippingLabel" | ||
533 | contentWidth 17.341796875 | ||
534 | contentHeight 18.701171875 | ||
535 | model "six_pos" | ||
536 | position "stail" | ||
537 | ] | ||
538 | LabelGraphics | ||
539 | [ | ||
540 | text "[1]" | ||
541 | fontSize 12 | ||
542 | fontName "Dialog" | ||
543 | configuration "AutoFlippingLabel" | ||
544 | contentWidth 17.341796875 | ||
545 | contentHeight 18.701171875 | ||
546 | model "six_pos" | ||
547 | position "ttail" | ||
548 | ] | ||
549 | ] | ||
550 | edge | ||
551 | [ | ||
552 | source 1 | ||
553 | target 5 | ||
554 | label "next reference State" | ||
555 | graphics | ||
556 | [ | ||
557 | fill "#000000" | ||
558 | targetArrow "standard" | ||
559 | ] | ||
560 | edgeAnchor | ||
561 | [ | ||
562 | xTarget 0.5672727272727273 | ||
563 | yTarget -0.65 | ||
564 | ] | ||
565 | LabelGraphics | ||
566 | [ | ||
567 | text "next reference State" | ||
568 | fontSize 12 | ||
569 | fontName "Dialog" | ||
570 | configuration "AutoFlippingLabel" | ||
571 | contentWidth 112.064453125 | ||
572 | contentHeight 18.701171875 | ||
573 | model "six_pos" | ||
574 | position "head" | ||
575 | ] | ||
576 | LabelGraphics | ||
577 | [ | ||
578 | text "[1, 1, 1, 1]" | ||
579 | fontSize 12 | ||
580 | fontName "Dialog" | ||
581 | configuration "AutoFlippingLabel" | ||
582 | contentWidth 57.3671875 | ||
583 | contentHeight 18.701171875 | ||
584 | model "six_pos" | ||
585 | position "stail" | ||
586 | ] | ||
587 | LabelGraphics | ||
588 | [ | ||
589 | text "[1]" | ||
590 | fontSize 12 | ||
591 | fontName "Dialog" | ||
592 | configuration "AutoFlippingLabel" | ||
593 | contentWidth 17.341796875 | ||
594 | contentHeight 18.701171875 | ||
595 | model "six_pos" | ||
596 | position "ttail" | ||
597 | ] | ||
598 | ] | ||
599 | ] | ||
diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml new file mode 100644 index 00000000..584651de --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/simpleSCRealisticMODEL.gml | |||
@@ -0,0 +1,736 @@ | |||
1 | graph | ||
2 | [ | ||
3 | node | ||
4 | [ | ||
5 | id 0 | ||
6 | graphics | ||
7 | [ | ||
8 | w 41.800000000000004 | ||
9 | h 26 | ||
10 | type "rectangle" | ||
11 | fill "#FFFFFF" | ||
12 | fill2 "#FFFFFF" | ||
13 | outline "#000000" | ||
14 | ] | ||
15 | LabelGraphics | ||
16 | [ | ||
17 | text "true" | ||
18 | outline "#000000" | ||
19 | fill "#FFFFFF" | ||
20 | fontSize 16 | ||
21 | fontName "Monospace" | ||
22 | autoSizePolicy "node_width" | ||
23 | anchor "t" | ||
24 | borderDistance 0.0 | ||
25 | ] | ||
26 | LabelGraphics | ||
27 | [ | ||
28 | text " | ||
29 | " | ||
30 | fontSize 14 | ||
31 | fontName "Consolas" | ||
32 | alignment "left" | ||
33 | anchor "tl" | ||
34 | borderDistance 6 | ||
35 | ] | ||
36 | ] | ||
37 | |||
38 | node | ||
39 | [ | ||
40 | id 1 | ||
41 | graphics | ||
42 | [ | ||
43 | w 50.6 | ||
44 | h 26 | ||
45 | type "rectangle" | ||
46 | fill "#FFFFFF" | ||
47 | fill2 "#FFFFFF" | ||
48 | outline "#000000" | ||
49 | ] | ||
50 | LabelGraphics | ||
51 | [ | ||
52 | text "false" | ||
53 | outline "#000000" | ||
54 | fill "#FFFFFF" | ||
55 | fontSize 16 | ||
56 | fontName "Monospace" | ||
57 | autoSizePolicy "node_width" | ||
58 | anchor "t" | ||
59 | borderDistance 0.0 | ||
60 | ] | ||
61 | LabelGraphics | ||
62 | [ | ||
63 | text " | ||
64 | " | ||
65 | fontSize 14 | ||
66 | fontName "Consolas" | ||
67 | alignment "left" | ||
68 | anchor "tl" | ||
69 | borderDistance 6 | ||
70 | ] | ||
71 | ] | ||
72 | |||
73 | node | ||
74 | [ | ||
75 | id 2 | ||
76 | graphics | ||
77 | [ | ||
78 | w 138.60000000000002 | ||
79 | h 40 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "null" | ||
88 | outline "#000000" | ||
89 | fill "#FFFFFF" | ||
90 | fontSize 16 | ||
91 | fontName "Monospace" | ||
92 | autoSizePolicy "node_width" | ||
93 | anchor "t" | ||
94 | borderDistance 0.0 | ||
95 | ] | ||
96 | LabelGraphics | ||
97 | [ | ||
98 | text " | ||
99 | Statechart class | ||
100 | " | ||
101 | fontSize 14 | ||
102 | fontName "Consolas" | ||
103 | alignment "left" | ||
104 | anchor "tl" | ||
105 | borderDistance 6 | ||
106 | ] | ||
107 | ] | ||
108 | |||
109 | node | ||
110 | [ | ||
111 | id 3 | ||
112 | graphics | ||
113 | [ | ||
114 | w 100.10000000000001 | ||
115 | h 40 | ||
116 | type "rectangle" | ||
117 | fill "#FFFFFF" | ||
118 | fill2 "#FFFFFF" | ||
119 | outline "#000000" | ||
120 | ] | ||
121 | LabelGraphics | ||
122 | [ | ||
123 | text "null" | ||
124 | outline "#000000" | ||
125 | fill "#FFFFFF" | ||
126 | fontSize 16 | ||
127 | fontName "Monospace" | ||
128 | autoSizePolicy "node_width" | ||
129 | anchor "t" | ||
130 | borderDistance 0.0 | ||
131 | ] | ||
132 | LabelGraphics | ||
133 | [ | ||
134 | text " | ||
135 | State class | ||
136 | " | ||
137 | fontSize 14 | ||
138 | fontName "Consolas" | ||
139 | alignment "left" | ||
140 | anchor "tl" | ||
141 | borderDistance 6 | ||
142 | ] | ||
143 | ] | ||
144 | |||
145 | node | ||
146 | [ | ||
147 | id 4 | ||
148 | graphics | ||
149 | [ | ||
150 | w 100.10000000000001 | ||
151 | h 40 | ||
152 | type "rectangle" | ||
153 | fill "#FFFFFF" | ||
154 | fill2 "#FFFFFF" | ||
155 | outline "#000000" | ||
156 | ] | ||
157 | LabelGraphics | ||
158 | [ | ||
159 | text "null" | ||
160 | outline "#000000" | ||
161 | fill "#FFFFFF" | ||
162 | fontSize 16 | ||
163 | fontName "Monospace" | ||
164 | autoSizePolicy "node_width" | ||
165 | anchor "t" | ||
166 | borderDistance 0.0 | ||
167 | ] | ||
168 | LabelGraphics | ||
169 | [ | ||
170 | text " | ||
171 | State class | ||
172 | " | ||
173 | fontSize 14 | ||
174 | fontName "Consolas" | ||
175 | alignment "left" | ||
176 | anchor "tl" | ||
177 | borderDistance 6 | ||
178 | ] | ||
179 | ] | ||
180 | |||
181 | node | ||
182 | [ | ||
183 | id 5 | ||
184 | graphics | ||
185 | [ | ||
186 | w 100.10000000000001 | ||
187 | h 40 | ||
188 | type "rectangle" | ||
189 | fill "#FFFFFF" | ||
190 | fill2 "#FFFFFF" | ||
191 | outline "#000000" | ||
192 | ] | ||
193 | LabelGraphics | ||
194 | [ | ||
195 | text "null" | ||
196 | outline "#000000" | ||
197 | fill "#FFFFFF" | ||
198 | fontSize 16 | ||
199 | fontName "Monospace" | ||
200 | autoSizePolicy "node_width" | ||
201 | anchor "t" | ||
202 | borderDistance 0.0 | ||
203 | ] | ||
204 | LabelGraphics | ||
205 | [ | ||
206 | text " | ||
207 | State class | ||
208 | " | ||
209 | fontSize 14 | ||
210 | fontName "Consolas" | ||
211 | alignment "left" | ||
212 | anchor "tl" | ||
213 | borderDistance 6 | ||
214 | ] | ||
215 | ] | ||
216 | |||
217 | node | ||
218 | [ | ||
219 | id 6 | ||
220 | graphics | ||
221 | [ | ||
222 | w 100.10000000000001 | ||
223 | h 40 | ||
224 | type "rectangle" | ||
225 | fill "#FFFFFF" | ||
226 | fill2 "#FFFFFF" | ||
227 | outline "#000000" | ||
228 | ] | ||
229 | LabelGraphics | ||
230 | [ | ||
231 | text "null" | ||
232 | outline "#000000" | ||
233 | fill "#FFFFFF" | ||
234 | fontSize 16 | ||
235 | fontName "Monospace" | ||
236 | autoSizePolicy "node_width" | ||
237 | anchor "t" | ||
238 | borderDistance 0.0 | ||
239 | ] | ||
240 | LabelGraphics | ||
241 | [ | ||
242 | text " | ||
243 | State class | ||
244 | " | ||
245 | fontSize 14 | ||
246 | fontName "Consolas" | ||
247 | alignment "left" | ||
248 | anchor "tl" | ||
249 | borderDistance 6 | ||
250 | ] | ||
251 | ] | ||
252 | |||
253 | node | ||
254 | [ | ||
255 | id 7 | ||
256 | graphics | ||
257 | [ | ||
258 | w 100.10000000000001 | ||
259 | h 40 | ||
260 | type "rectangle" | ||
261 | fill "#FFFFFF" | ||
262 | fill2 "#FFFFFF" | ||
263 | outline "#000000" | ||
264 | ] | ||
265 | LabelGraphics | ||
266 | [ | ||
267 | text "null" | ||
268 | outline "#000000" | ||
269 | fill "#FFFFFF" | ||
270 | fontSize 16 | ||
271 | fontName "Monospace" | ||
272 | autoSizePolicy "node_width" | ||
273 | anchor "t" | ||
274 | borderDistance 0.0 | ||
275 | ] | ||
276 | LabelGraphics | ||
277 | [ | ||
278 | text " | ||
279 | State class | ||
280 | " | ||
281 | fontSize 14 | ||
282 | fontName "Consolas" | ||
283 | alignment "left" | ||
284 | anchor "tl" | ||
285 | borderDistance 6 | ||
286 | ] | ||
287 | ] | ||
288 | |||
289 | node | ||
290 | [ | ||
291 | id 8 | ||
292 | graphics | ||
293 | [ | ||
294 | w 100.10000000000001 | ||
295 | h 40 | ||
296 | type "rectangle" | ||
297 | fill "#FFFFFF" | ||
298 | fill2 "#FFFFFF" | ||
299 | outline "#000000" | ||
300 | ] | ||
301 | LabelGraphics | ||
302 | [ | ||
303 | text "null" | ||
304 | outline "#000000" | ||
305 | fill "#FFFFFF" | ||
306 | fontSize 16 | ||
307 | fontName "Monospace" | ||
308 | autoSizePolicy "node_width" | ||
309 | anchor "t" | ||
310 | borderDistance 0.0 | ||
311 | ] | ||
312 | LabelGraphics | ||
313 | [ | ||
314 | text " | ||
315 | Entry class | ||
316 | " | ||
317 | fontSize 14 | ||
318 | fontName "Consolas" | ||
319 | alignment "left" | ||
320 | anchor "tl" | ||
321 | borderDistance 6 | ||
322 | ] | ||
323 | ] | ||
324 | |||
325 | node | ||
326 | [ | ||
327 | id 9 | ||
328 | graphics | ||
329 | [ | ||
330 | w 112.2 | ||
331 | h 26 | ||
332 | type "rectangle" | ||
333 | fill "#FFFFFF" | ||
334 | fill2 "#FFFFFF" | ||
335 | outline "#000000" | ||
336 | ] | ||
337 | LabelGraphics | ||
338 | [ | ||
339 | text "New Integers" | ||
340 | outline "#000000" | ||
341 | fill "#FFFFFF" | ||
342 | fontSize 16 | ||
343 | fontName "Monospace" | ||
344 | autoSizePolicy "node_width" | ||
345 | anchor "t" | ||
346 | borderDistance 0.0 | ||
347 | ] | ||
348 | LabelGraphics | ||
349 | [ | ||
350 | text " | ||
351 | " | ||
352 | fontSize 14 | ||
353 | fontName "Consolas" | ||
354 | alignment "left" | ||
355 | anchor "tl" | ||
356 | borderDistance 6 | ||
357 | ] | ||
358 | ] | ||
359 | |||
360 | node | ||
361 | [ | ||
362 | id 10 | ||
363 | graphics | ||
364 | [ | ||
365 | w 85.80000000000001 | ||
366 | h 26 | ||
367 | type "rectangle" | ||
368 | fill "#FFFFFF" | ||
369 | fill2 "#FFFFFF" | ||
370 | outline "#000000" | ||
371 | ] | ||
372 | LabelGraphics | ||
373 | [ | ||
374 | text "New Reals" | ||
375 | outline "#000000" | ||
376 | fill "#FFFFFF" | ||
377 | fontSize 16 | ||
378 | fontName "Monospace" | ||
379 | autoSizePolicy "node_width" | ||
380 | anchor "t" | ||
381 | borderDistance 0.0 | ||
382 | ] | ||
383 | LabelGraphics | ||
384 | [ | ||
385 | text " | ||
386 | " | ||
387 | fontSize 14 | ||
388 | fontName "Consolas" | ||
389 | alignment "left" | ||
390 | anchor "tl" | ||
391 | borderDistance 6 | ||
392 | ] | ||
393 | ] | ||
394 | |||
395 | node | ||
396 | [ | ||
397 | id 11 | ||
398 | graphics | ||
399 | [ | ||
400 | w 103.4 | ||
401 | h 26 | ||
402 | type "rectangle" | ||
403 | fill "#FFFFFF" | ||
404 | fill2 "#FFFFFF" | ||
405 | outline "#000000" | ||
406 | ] | ||
407 | LabelGraphics | ||
408 | [ | ||
409 | text "New Strings" | ||
410 | outline "#000000" | ||
411 | fill "#FFFFFF" | ||
412 | fontSize 16 | ||
413 | fontName "Monospace" | ||
414 | autoSizePolicy "node_width" | ||
415 | anchor "t" | ||
416 | borderDistance 0.0 | ||
417 | ] | ||
418 | LabelGraphics | ||
419 | [ | ||
420 | text " | ||
421 | " | ||
422 | fontSize 14 | ||
423 | fontName "Consolas" | ||
424 | alignment "left" | ||
425 | anchor "tl" | ||
426 | borderDistance 6 | ||
427 | ] | ||
428 | ] | ||
429 | |||
430 | node | ||
431 | [ | ||
432 | id 12 | ||
433 | graphics | ||
434 | [ | ||
435 | w 103.4 | ||
436 | h 26 | ||
437 | type "rectangle" | ||
438 | fill "#FFFFFF" | ||
439 | fill2 "#FFFFFF" | ||
440 | outline "#000000" | ||
441 | ] | ||
442 | LabelGraphics | ||
443 | [ | ||
444 | text "New Objects" | ||
445 | outline "#000000" | ||
446 | fill "#FFFFFF" | ||
447 | fontSize 16 | ||
448 | fontName "Monospace" | ||
449 | autoSizePolicy "node_width" | ||
450 | anchor "t" | ||
451 | borderDistance 0.0 | ||
452 | ] | ||
453 | LabelGraphics | ||
454 | [ | ||
455 | text " | ||
456 | " | ||
457 | fontSize 14 | ||
458 | fontName "Consolas" | ||
459 | alignment "left" | ||
460 | anchor "tl" | ||
461 | borderDistance 6 | ||
462 | ] | ||
463 | ] | ||
464 | edge | ||
465 | [ | ||
466 | source 3 | ||
467 | target 4 | ||
468 | graphics | ||
469 | [ | ||
470 | fill "#000000" | ||
471 | targetArrow "standard" | ||
472 | ] | ||
473 | LabelGraphics | ||
474 | [ | ||
475 | text "next reference State" | ||
476 | fontSize 14 | ||
477 | fontName "Consolas" | ||
478 | configuration "AutoFlippingLabel" | ||
479 | model "six_pos" | ||
480 | position "thead" | ||
481 | ] | ||
482 | ] | ||
483 | edge | ||
484 | [ | ||
485 | source 4 | ||
486 | target 3 | ||
487 | graphics | ||
488 | [ | ||
489 | fill "#000000" | ||
490 | targetArrow "standard" | ||
491 | ] | ||
492 | LabelGraphics | ||
493 | [ | ||
494 | text "next reference State" | ||
495 | fontSize 14 | ||
496 | fontName "Consolas" | ||
497 | configuration "AutoFlippingLabel" | ||
498 | model "six_pos" | ||
499 | position "thead" | ||
500 | ] | ||
501 | ] | ||
502 | edge | ||
503 | [ | ||
504 | source 4 | ||
505 | target 5 | ||
506 | graphics | ||
507 | [ | ||
508 | fill "#000000" | ||
509 | targetArrow "standard" | ||
510 | ] | ||
511 | LabelGraphics | ||
512 | [ | ||
513 | text "next reference State" | ||
514 | fontSize 14 | ||
515 | fontName "Consolas" | ||
516 | configuration "AutoFlippingLabel" | ||
517 | model "six_pos" | ||
518 | position "thead" | ||
519 | ] | ||
520 | ] | ||
521 | edge | ||
522 | [ | ||
523 | source 4 | ||
524 | target 6 | ||
525 | graphics | ||
526 | [ | ||
527 | fill "#000000" | ||
528 | targetArrow "standard" | ||
529 | ] | ||
530 | LabelGraphics | ||
531 | [ | ||
532 | text "next reference State" | ||
533 | fontSize 14 | ||
534 | fontName "Consolas" | ||
535 | configuration "AutoFlippingLabel" | ||
536 | model "six_pos" | ||
537 | position "thead" | ||
538 | ] | ||
539 | ] | ||
540 | edge | ||
541 | [ | ||
542 | source 4 | ||
543 | target 7 | ||
544 | graphics | ||
545 | [ | ||
546 | fill "#000000" | ||
547 | targetArrow "standard" | ||
548 | ] | ||
549 | LabelGraphics | ||
550 | [ | ||
551 | text "next reference State" | ||
552 | fontSize 14 | ||
553 | fontName "Consolas" | ||
554 | configuration "AutoFlippingLabel" | ||
555 | model "six_pos" | ||
556 | position "thead" | ||
557 | ] | ||
558 | ] | ||
559 | edge | ||
560 | [ | ||
561 | source 5 | ||
562 | target 4 | ||
563 | graphics | ||
564 | [ | ||
565 | fill "#000000" | ||
566 | targetArrow "standard" | ||
567 | ] | ||
568 | LabelGraphics | ||
569 | [ | ||
570 | text "next reference State" | ||
571 | fontSize 14 | ||
572 | fontName "Consolas" | ||
573 | configuration "AutoFlippingLabel" | ||
574 | model "six_pos" | ||
575 | position "thead" | ||
576 | ] | ||
577 | ] | ||
578 | edge | ||
579 | [ | ||
580 | source 7 | ||
581 | target 3 | ||
582 | graphics | ||
583 | [ | ||
584 | fill "#000000" | ||
585 | targetArrow "standard" | ||
586 | ] | ||
587 | LabelGraphics | ||
588 | [ | ||
589 | text "next reference State" | ||
590 | fontSize 14 | ||
591 | fontName "Consolas" | ||
592 | configuration "AutoFlippingLabel" | ||
593 | model "six_pos" | ||
594 | position "thead" | ||
595 | ] | ||
596 | ] | ||
597 | edge | ||
598 | [ | ||
599 | source 8 | ||
600 | target 3 | ||
601 | graphics | ||
602 | [ | ||
603 | fill "#000000" | ||
604 | targetArrow "standard" | ||
605 | ] | ||
606 | LabelGraphics | ||
607 | [ | ||
608 | text "entry reference Entry" | ||
609 | fontSize 14 | ||
610 | fontName "Consolas" | ||
611 | configuration "AutoFlippingLabel" | ||
612 | model "six_pos" | ||
613 | position "thead" | ||
614 | ] | ||
615 | ] | ||
616 | edge | ||
617 | [ | ||
618 | source 2 | ||
619 | target 3 | ||
620 | graphics | ||
621 | [ | ||
622 | fill "#000000" | ||
623 | width 3 | ||
624 | targetArrow "standard" | ||
625 | ] | ||
626 | LabelGraphics | ||
627 | [ | ||
628 | text "state reference Statechart" | ||
629 | fontSize 14 | ||
630 | fontName "Consolas" | ||
631 | configuration "AutoFlippingLabel" | ||
632 | model "six_pos" | ||
633 | position "thead" | ||
634 | ] | ||
635 | ] | ||
636 | edge | ||
637 | [ | ||
638 | source 2 | ||
639 | target 4 | ||
640 | graphics | ||
641 | [ | ||
642 | fill "#000000" | ||
643 | width 3 | ||
644 | targetArrow "standard" | ||
645 | ] | ||
646 | LabelGraphics | ||
647 | [ | ||
648 | text "state reference Statechart" | ||
649 | fontSize 14 | ||
650 | fontName "Consolas" | ||
651 | configuration "AutoFlippingLabel" | ||
652 | model "six_pos" | ||
653 | position "thead" | ||
654 | ] | ||
655 | ] | ||
656 | edge | ||
657 | [ | ||
658 | source 2 | ||
659 | target 5 | ||
660 | graphics | ||
661 | [ | ||
662 | fill "#000000" | ||
663 | width 3 | ||
664 | targetArrow "standard" | ||
665 | ] | ||
666 | LabelGraphics | ||
667 | [ | ||
668 | text "state reference Statechart" | ||
669 | fontSize 14 | ||
670 | fontName "Consolas" | ||
671 | configuration "AutoFlippingLabel" | ||
672 | model "six_pos" | ||
673 | position "thead" | ||
674 | ] | ||
675 | ] | ||
676 | edge | ||
677 | [ | ||
678 | source 2 | ||
679 | target 6 | ||
680 | graphics | ||
681 | [ | ||
682 | fill "#000000" | ||
683 | width 3 | ||
684 | targetArrow "standard" | ||
685 | ] | ||
686 | LabelGraphics | ||
687 | [ | ||
688 | text "state reference Statechart" | ||
689 | fontSize 14 | ||
690 | fontName "Consolas" | ||
691 | configuration "AutoFlippingLabel" | ||
692 | model "six_pos" | ||
693 | position "thead" | ||
694 | ] | ||
695 | ] | ||
696 | edge | ||
697 | [ | ||
698 | source 2 | ||
699 | target 7 | ||
700 | graphics | ||
701 | [ | ||
702 | fill "#000000" | ||
703 | width 3 | ||
704 | targetArrow "standard" | ||
705 | ] | ||
706 | LabelGraphics | ||
707 | [ | ||
708 | text "state reference Statechart" | ||
709 | fontSize 14 | ||
710 | fontName "Consolas" | ||
711 | configuration "AutoFlippingLabel" | ||
712 | model "six_pos" | ||
713 | position "thead" | ||
714 | ] | ||
715 | ] | ||
716 | edge | ||
717 | [ | ||
718 | source 2 | ||
719 | target 8 | ||
720 | graphics | ||
721 | [ | ||
722 | fill "#000000" | ||
723 | width 3 | ||
724 | targetArrow "standard" | ||
725 | ] | ||
726 | LabelGraphics | ||
727 | [ | ||
728 | text "entry reference Statechart" | ||
729 | fontSize 14 | ||
730 | fontName "Consolas" | ||
731 | configuration "AutoFlippingLabel" | ||
732 | model "six_pos" | ||
733 | position "thead" | ||
734 | ] | ||
735 | ] | ||
736 | ] | ||