diff options
Diffstat (limited to 'Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623')
7 files changed, 2571 insertions, 0 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/problem.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/problem.logicproblem new file mode 100644 index 00000000..ac0d6576 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/problem.logicproblem | |||
@@ -0,0 +1,151 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"> | ||
3 | <types xsi:type="language_1:TypeDeclaration" name="FamilyTree class"/> | ||
4 | <types xsi:type="language_1:TypeDeclaration" name="Member class"/> | ||
5 | <assertions name="upperMultiplicity parents Member" annotations="//@annotations.0"> | ||
6 | <value xsi:type="language_1:Forall"> | ||
7 | <quantifiedVariables name="src"> | ||
8 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
9 | </quantifiedVariables> | ||
10 | <quantifiedVariables name="trg 1"> | ||
11 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
12 | </quantifiedVariables> | ||
13 | <quantifiedVariables name="trg 2"> | ||
14 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
15 | </quantifiedVariables> | ||
16 | <quantifiedVariables name="trg 3"> | ||
17 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
18 | </quantifiedVariables> | ||
19 | <expression xsi:type="language_1:Impl"> | ||
20 | <leftOperand xsi:type="language_1:And"> | ||
21 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
22 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
23 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
24 | </operands> | ||
25 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
26 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
27 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
28 | </operands> | ||
29 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
30 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
32 | </operands> | ||
33 | </leftOperand> | ||
34 | <rightOperand xsi:type="language_1:Not"> | ||
35 | <operand xsi:type="language_1:Distinct"> | ||
36 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> | ||
37 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> | ||
38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/> | ||
39 | </operand> | ||
40 | </rightOperand> | ||
41 | </expression> | ||
42 | </value> | ||
43 | </assertions> | ||
44 | <assertions name="oppositeReference children Member" annotations="//@annotations.1"> | ||
45 | <value xsi:type="language_1:Forall"> | ||
46 | <quantifiedVariables name="src"> | ||
47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
48 | </quantifiedVariables> | ||
49 | <quantifiedVariables name="trg"> | ||
50 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
51 | </quantifiedVariables> | ||
52 | <expression xsi:type="language_1:Iff"> | ||
53 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
54 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
55 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
56 | </leftOperand> | ||
57 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | ||
58 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | ||
59 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
60 | </rightOperand> | ||
61 | </expression> | ||
62 | </value> | ||
63 | </assertions> | ||
64 | <assertions name="upperMultiplicity name Member" annotations="//@annotations.2"> | ||
65 | <value xsi:type="language_1:Forall"> | ||
66 | <quantifiedVariables name="src"> | ||
67 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
68 | </quantifiedVariables> | ||
69 | <quantifiedVariables name="trg 1"> | ||
70 | <range xsi:type="language_1:StringTypeReference"/> | ||
71 | </quantifiedVariables> | ||
72 | <quantifiedVariables name="trg 2"> | ||
73 | <range xsi:type="language_1:StringTypeReference"/> | ||
74 | </quantifiedVariables> | ||
75 | <expression xsi:type="language_1:Impl"> | ||
76 | <leftOperand xsi:type="language_1:And"> | ||
77 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
78 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
79 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
80 | </operands> | ||
81 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3"> | ||
82 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | ||
83 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
84 | </operands> | ||
85 | </leftOperand> | ||
86 | <rightOperand xsi:type="language_1:Not"> | ||
87 | <operand xsi:type="language_1:Distinct"> | ||
88 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | ||
89 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | ||
90 | </operand> | ||
91 | </rightOperand> | ||
92 | </expression> | ||
93 | </value> | ||
94 | </assertions> | ||
95 | <assertions name="upperMultiplicity age Member" annotations="//@annotations.3"> | ||
96 | <value xsi:type="language_1:Forall"> | ||
97 | <quantifiedVariables name="src"> | ||
98 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
99 | </quantifiedVariables> | ||
100 | <quantifiedVariables name="trg 1"> | ||
101 | <range xsi:type="language_1:IntTypeReference"/> | ||
102 | </quantifiedVariables> | ||
103 | <quantifiedVariables name="trg 2"> | ||
104 | <range xsi:type="language_1:IntTypeReference"/> | ||
105 | </quantifiedVariables> | ||
106 | <expression xsi:type="language_1:Impl"> | ||
107 | <leftOperand xsi:type="language_1:And"> | ||
108 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
109 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
110 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
111 | </operands> | ||
112 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> | ||
113 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | ||
114 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
115 | </operands> | ||
116 | </leftOperand> | ||
117 | <rightOperand xsi:type="language_1:Not"> | ||
118 | <operand xsi:type="language_1:Distinct"> | ||
119 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | ||
120 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | ||
121 | </operand> | ||
122 | </rightOperand> | ||
123 | </expression> | ||
124 | </value> | ||
125 | </assertions> | ||
126 | <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree"> | ||
127 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
128 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
129 | </relations> | ||
130 | <relations xsi:type="language_1:RelationDeclaration" name="children reference Member"> | ||
131 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
132 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
133 | </relations> | ||
134 | <relations xsi:type="language_1:RelationDeclaration" name="parents reference Member"> | ||
135 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
136 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
137 | </relations> | ||
138 | <relations xsi:type="language_1:RelationDeclaration" name="name attribute Member"> | ||
139 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
140 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
141 | </relations> | ||
142 | <relations xsi:type="language_1:RelationDeclaration" name="age attribute Member"> | ||
143 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
144 | <parameters xsi:type="language_1:IntTypeReference"/> | ||
145 | </relations> | ||
146 | <containmentHierarchies typesOrderedInHierarchy="//@types.1 //@types.0" containmentRelations="//@relations.0"/> | ||
147 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/> | ||
148 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/> | ||
149 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/> | ||
150 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" upper="1"/> | ||
151 | </language:LogicProblem> | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.gml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.gml new file mode 100644 index 00000000..f57e31e2 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.gml | |||
@@ -0,0 +1,1259 @@ | |||
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 15.400000000000002 | ||
79 | h 26 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "0" | ||
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 | " | ||
100 | fontSize 14 | ||
101 | fontName "Consolas" | ||
102 | alignment "left" | ||
103 | anchor "tl" | ||
104 | borderDistance 6 | ||
105 | ] | ||
106 | ] | ||
107 | |||
108 | node | ||
109 | [ | ||
110 | id 3 | ||
111 | graphics | ||
112 | [ | ||
113 | w 15.400000000000002 | ||
114 | h 26 | ||
115 | type "rectangle" | ||
116 | fill "#FFFFFF" | ||
117 | fill2 "#FFFFFF" | ||
118 | outline "#000000" | ||
119 | ] | ||
120 | LabelGraphics | ||
121 | [ | ||
122 | text "1" | ||
123 | outline "#000000" | ||
124 | fill "#FFFFFF" | ||
125 | fontSize 16 | ||
126 | fontName "Monospace" | ||
127 | autoSizePolicy "node_width" | ||
128 | anchor "t" | ||
129 | borderDistance 0.0 | ||
130 | ] | ||
131 | LabelGraphics | ||
132 | [ | ||
133 | text " | ||
134 | " | ||
135 | fontSize 14 | ||
136 | fontName "Consolas" | ||
137 | alignment "left" | ||
138 | anchor "tl" | ||
139 | borderDistance 6 | ||
140 | ] | ||
141 | ] | ||
142 | |||
143 | node | ||
144 | [ | ||
145 | id 4 | ||
146 | graphics | ||
147 | [ | ||
148 | w 15.400000000000002 | ||
149 | h 26 | ||
150 | type "rectangle" | ||
151 | fill "#FFFFFF" | ||
152 | fill2 "#FFFFFF" | ||
153 | outline "#000000" | ||
154 | ] | ||
155 | LabelGraphics | ||
156 | [ | ||
157 | text "2" | ||
158 | outline "#000000" | ||
159 | fill "#FFFFFF" | ||
160 | fontSize 16 | ||
161 | fontName "Monospace" | ||
162 | autoSizePolicy "node_width" | ||
163 | anchor "t" | ||
164 | borderDistance 0.0 | ||
165 | ] | ||
166 | LabelGraphics | ||
167 | [ | ||
168 | text " | ||
169 | " | ||
170 | fontSize 14 | ||
171 | fontName "Consolas" | ||
172 | alignment "left" | ||
173 | anchor "tl" | ||
174 | borderDistance 6 | ||
175 | ] | ||
176 | ] | ||
177 | |||
178 | node | ||
179 | [ | ||
180 | id 5 | ||
181 | graphics | ||
182 | [ | ||
183 | w 15.400000000000002 | ||
184 | h 26 | ||
185 | type "rectangle" | ||
186 | fill "#FFFFFF" | ||
187 | fill2 "#FFFFFF" | ||
188 | outline "#000000" | ||
189 | ] | ||
190 | LabelGraphics | ||
191 | [ | ||
192 | text "3" | ||
193 | outline "#000000" | ||
194 | fill "#FFFFFF" | ||
195 | fontSize 16 | ||
196 | fontName "Monospace" | ||
197 | autoSizePolicy "node_width" | ||
198 | anchor "t" | ||
199 | borderDistance 0.0 | ||
200 | ] | ||
201 | LabelGraphics | ||
202 | [ | ||
203 | text " | ||
204 | " | ||
205 | fontSize 14 | ||
206 | fontName "Consolas" | ||
207 | alignment "left" | ||
208 | anchor "tl" | ||
209 | borderDistance 6 | ||
210 | ] | ||
211 | ] | ||
212 | |||
213 | node | ||
214 | [ | ||
215 | id 6 | ||
216 | graphics | ||
217 | [ | ||
218 | w 15.400000000000002 | ||
219 | h 26 | ||
220 | type "rectangle" | ||
221 | fill "#FFFFFF" | ||
222 | fill2 "#FFFFFF" | ||
223 | outline "#000000" | ||
224 | ] | ||
225 | LabelGraphics | ||
226 | [ | ||
227 | text "4" | ||
228 | outline "#000000" | ||
229 | fill "#FFFFFF" | ||
230 | fontSize 16 | ||
231 | fontName "Monospace" | ||
232 | autoSizePolicy "node_width" | ||
233 | anchor "t" | ||
234 | borderDistance 0.0 | ||
235 | ] | ||
236 | LabelGraphics | ||
237 | [ | ||
238 | text " | ||
239 | " | ||
240 | fontSize 14 | ||
241 | fontName "Consolas" | ||
242 | alignment "left" | ||
243 | anchor "tl" | ||
244 | borderDistance 6 | ||
245 | ] | ||
246 | ] | ||
247 | |||
248 | node | ||
249 | [ | ||
250 | id 7 | ||
251 | graphics | ||
252 | [ | ||
253 | w 15.400000000000002 | ||
254 | h 26 | ||
255 | type "rectangle" | ||
256 | fill "#FFFFFF" | ||
257 | fill2 "#FFFFFF" | ||
258 | outline "#000000" | ||
259 | ] | ||
260 | LabelGraphics | ||
261 | [ | ||
262 | text "5" | ||
263 | outline "#000000" | ||
264 | fill "#FFFFFF" | ||
265 | fontSize 16 | ||
266 | fontName "Monospace" | ||
267 | autoSizePolicy "node_width" | ||
268 | anchor "t" | ||
269 | borderDistance 0.0 | ||
270 | ] | ||
271 | LabelGraphics | ||
272 | [ | ||
273 | text " | ||
274 | " | ||
275 | fontSize 14 | ||
276 | fontName "Consolas" | ||
277 | alignment "left" | ||
278 | anchor "tl" | ||
279 | borderDistance 6 | ||
280 | ] | ||
281 | ] | ||
282 | |||
283 | node | ||
284 | [ | ||
285 | id 8 | ||
286 | graphics | ||
287 | [ | ||
288 | w 15.400000000000002 | ||
289 | h 26 | ||
290 | type "rectangle" | ||
291 | fill "#FFFFFF" | ||
292 | fill2 "#FFFFFF" | ||
293 | outline "#000000" | ||
294 | ] | ||
295 | LabelGraphics | ||
296 | [ | ||
297 | text "6" | ||
298 | outline "#000000" | ||
299 | fill "#FFFFFF" | ||
300 | fontSize 16 | ||
301 | fontName "Monospace" | ||
302 | autoSizePolicy "node_width" | ||
303 | anchor "t" | ||
304 | borderDistance 0.0 | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text " | ||
309 | " | ||
310 | fontSize 14 | ||
311 | fontName "Consolas" | ||
312 | alignment "left" | ||
313 | anchor "tl" | ||
314 | borderDistance 6 | ||
315 | ] | ||
316 | ] | ||
317 | |||
318 | node | ||
319 | [ | ||
320 | id 9 | ||
321 | graphics | ||
322 | [ | ||
323 | w 15.400000000000002 | ||
324 | h 26 | ||
325 | type "rectangle" | ||
326 | fill "#FFFFFF" | ||
327 | fill2 "#FFFFFF" | ||
328 | outline "#000000" | ||
329 | ] | ||
330 | LabelGraphics | ||
331 | [ | ||
332 | text "7" | ||
333 | outline "#000000" | ||
334 | fill "#FFFFFF" | ||
335 | fontSize 16 | ||
336 | fontName "Monospace" | ||
337 | autoSizePolicy "node_width" | ||
338 | anchor "t" | ||
339 | borderDistance 0.0 | ||
340 | ] | ||
341 | LabelGraphics | ||
342 | [ | ||
343 | text " | ||
344 | " | ||
345 | fontSize 14 | ||
346 | fontName "Consolas" | ||
347 | alignment "left" | ||
348 | anchor "tl" | ||
349 | borderDistance 6 | ||
350 | ] | ||
351 | ] | ||
352 | |||
353 | node | ||
354 | [ | ||
355 | id 10 | ||
356 | graphics | ||
357 | [ | ||
358 | w 15.400000000000002 | ||
359 | h 26 | ||
360 | type "rectangle" | ||
361 | fill "#FFFFFF" | ||
362 | fill2 "#FFFFFF" | ||
363 | outline "#000000" | ||
364 | ] | ||
365 | LabelGraphics | ||
366 | [ | ||
367 | text "8" | ||
368 | outline "#000000" | ||
369 | fill "#FFFFFF" | ||
370 | fontSize 16 | ||
371 | fontName "Monospace" | ||
372 | autoSizePolicy "node_width" | ||
373 | anchor "t" | ||
374 | borderDistance 0.0 | ||
375 | ] | ||
376 | LabelGraphics | ||
377 | [ | ||
378 | text " | ||
379 | " | ||
380 | fontSize 14 | ||
381 | fontName "Consolas" | ||
382 | alignment "left" | ||
383 | anchor "tl" | ||
384 | borderDistance 6 | ||
385 | ] | ||
386 | ] | ||
387 | |||
388 | node | ||
389 | [ | ||
390 | id 11 | ||
391 | graphics | ||
392 | [ | ||
393 | w 15.400000000000002 | ||
394 | h 26 | ||
395 | type "rectangle" | ||
396 | fill "#FFFFFF" | ||
397 | fill2 "#FFFFFF" | ||
398 | outline "#000000" | ||
399 | ] | ||
400 | LabelGraphics | ||
401 | [ | ||
402 | text "9" | ||
403 | outline "#000000" | ||
404 | fill "#FFFFFF" | ||
405 | fontSize 16 | ||
406 | fontName "Monospace" | ||
407 | autoSizePolicy "node_width" | ||
408 | anchor "t" | ||
409 | borderDistance 0.0 | ||
410 | ] | ||
411 | LabelGraphics | ||
412 | [ | ||
413 | text " | ||
414 | " | ||
415 | fontSize 14 | ||
416 | fontName "Consolas" | ||
417 | alignment "left" | ||
418 | anchor "tl" | ||
419 | borderDistance 6 | ||
420 | ] | ||
421 | ] | ||
422 | |||
423 | node | ||
424 | [ | ||
425 | id 12 | ||
426 | graphics | ||
427 | [ | ||
428 | w 138.60000000000002 | ||
429 | h 40 | ||
430 | type "rectangle" | ||
431 | fill "#FFFFFF" | ||
432 | fill2 "#FFFFFF" | ||
433 | outline "#000000" | ||
434 | ] | ||
435 | LabelGraphics | ||
436 | [ | ||
437 | text "null" | ||
438 | outline "#000000" | ||
439 | fill "#FFFFFF" | ||
440 | fontSize 16 | ||
441 | fontName "Monospace" | ||
442 | autoSizePolicy "node_width" | ||
443 | anchor "t" | ||
444 | borderDistance 0.0 | ||
445 | ] | ||
446 | LabelGraphics | ||
447 | [ | ||
448 | text " | ||
449 | FamilyTree class | ||
450 | " | ||
451 | fontSize 14 | ||
452 | fontName "Consolas" | ||
453 | alignment "left" | ||
454 | anchor "tl" | ||
455 | borderDistance 6 | ||
456 | ] | ||
457 | ] | ||
458 | |||
459 | node | ||
460 | [ | ||
461 | id 13 | ||
462 | graphics | ||
463 | [ | ||
464 | w 107.80000000000001 | ||
465 | h 40 | ||
466 | type "rectangle" | ||
467 | fill "#FFFFFF" | ||
468 | fill2 "#FFFFFF" | ||
469 | outline "#000000" | ||
470 | ] | ||
471 | LabelGraphics | ||
472 | [ | ||
473 | text "null" | ||
474 | outline "#000000" | ||
475 | fill "#FFFFFF" | ||
476 | fontSize 16 | ||
477 | fontName "Monospace" | ||
478 | autoSizePolicy "node_width" | ||
479 | anchor "t" | ||
480 | borderDistance 0.0 | ||
481 | ] | ||
482 | LabelGraphics | ||
483 | [ | ||
484 | text " | ||
485 | Member class | ||
486 | " | ||
487 | fontSize 14 | ||
488 | fontName "Consolas" | ||
489 | alignment "left" | ||
490 | anchor "tl" | ||
491 | borderDistance 6 | ||
492 | ] | ||
493 | ] | ||
494 | |||
495 | node | ||
496 | [ | ||
497 | id 14 | ||
498 | graphics | ||
499 | [ | ||
500 | w 107.80000000000001 | ||
501 | h 40 | ||
502 | type "rectangle" | ||
503 | fill "#FFFFFF" | ||
504 | fill2 "#FFFFFF" | ||
505 | outline "#000000" | ||
506 | ] | ||
507 | LabelGraphics | ||
508 | [ | ||
509 | text "null" | ||
510 | outline "#000000" | ||
511 | fill "#FFFFFF" | ||
512 | fontSize 16 | ||
513 | fontName "Monospace" | ||
514 | autoSizePolicy "node_width" | ||
515 | anchor "t" | ||
516 | borderDistance 0.0 | ||
517 | ] | ||
518 | LabelGraphics | ||
519 | [ | ||
520 | text " | ||
521 | Member class | ||
522 | " | ||
523 | fontSize 14 | ||
524 | fontName "Consolas" | ||
525 | alignment "left" | ||
526 | anchor "tl" | ||
527 | borderDistance 6 | ||
528 | ] | ||
529 | ] | ||
530 | |||
531 | node | ||
532 | [ | ||
533 | id 15 | ||
534 | graphics | ||
535 | [ | ||
536 | w 107.80000000000001 | ||
537 | h 40 | ||
538 | type "rectangle" | ||
539 | fill "#FFFFFF" | ||
540 | fill2 "#FFFFFF" | ||
541 | outline "#000000" | ||
542 | ] | ||
543 | LabelGraphics | ||
544 | [ | ||
545 | text "null" | ||
546 | outline "#000000" | ||
547 | fill "#FFFFFF" | ||
548 | fontSize 16 | ||
549 | fontName "Monospace" | ||
550 | autoSizePolicy "node_width" | ||
551 | anchor "t" | ||
552 | borderDistance 0.0 | ||
553 | ] | ||
554 | LabelGraphics | ||
555 | [ | ||
556 | text " | ||
557 | Member class | ||
558 | " | ||
559 | fontSize 14 | ||
560 | fontName "Consolas" | ||
561 | alignment "left" | ||
562 | anchor "tl" | ||
563 | borderDistance 6 | ||
564 | ] | ||
565 | ] | ||
566 | |||
567 | node | ||
568 | [ | ||
569 | id 16 | ||
570 | graphics | ||
571 | [ | ||
572 | w 107.80000000000001 | ||
573 | h 40 | ||
574 | type "rectangle" | ||
575 | fill "#FFFFFF" | ||
576 | fill2 "#FFFFFF" | ||
577 | outline "#000000" | ||
578 | ] | ||
579 | LabelGraphics | ||
580 | [ | ||
581 | text "null" | ||
582 | outline "#000000" | ||
583 | fill "#FFFFFF" | ||
584 | fontSize 16 | ||
585 | fontName "Monospace" | ||
586 | autoSizePolicy "node_width" | ||
587 | anchor "t" | ||
588 | borderDistance 0.0 | ||
589 | ] | ||
590 | LabelGraphics | ||
591 | [ | ||
592 | text " | ||
593 | Member class | ||
594 | " | ||
595 | fontSize 14 | ||
596 | fontName "Consolas" | ||
597 | alignment "left" | ||
598 | anchor "tl" | ||
599 | borderDistance 6 | ||
600 | ] | ||
601 | ] | ||
602 | |||
603 | node | ||
604 | [ | ||
605 | id 17 | ||
606 | graphics | ||
607 | [ | ||
608 | w 107.80000000000001 | ||
609 | h 40 | ||
610 | type "rectangle" | ||
611 | fill "#FFFFFF" | ||
612 | fill2 "#FFFFFF" | ||
613 | outline "#000000" | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text "null" | ||
618 | outline "#000000" | ||
619 | fill "#FFFFFF" | ||
620 | fontSize 16 | ||
621 | fontName "Monospace" | ||
622 | autoSizePolicy "node_width" | ||
623 | anchor "t" | ||
624 | borderDistance 0.0 | ||
625 | ] | ||
626 | LabelGraphics | ||
627 | [ | ||
628 | text " | ||
629 | Member class | ||
630 | " | ||
631 | fontSize 14 | ||
632 | fontName "Consolas" | ||
633 | alignment "left" | ||
634 | anchor "tl" | ||
635 | borderDistance 6 | ||
636 | ] | ||
637 | ] | ||
638 | |||
639 | node | ||
640 | [ | ||
641 | id 18 | ||
642 | graphics | ||
643 | [ | ||
644 | w 112.2 | ||
645 | h 26 | ||
646 | type "rectangle" | ||
647 | fill "#FFFFFF" | ||
648 | fill2 "#FFFFFF" | ||
649 | outline "#000000" | ||
650 | ] | ||
651 | LabelGraphics | ||
652 | [ | ||
653 | text "New Integers" | ||
654 | outline "#000000" | ||
655 | fill "#FFFFFF" | ||
656 | fontSize 16 | ||
657 | fontName "Monospace" | ||
658 | autoSizePolicy "node_width" | ||
659 | anchor "t" | ||
660 | borderDistance 0.0 | ||
661 | ] | ||
662 | LabelGraphics | ||
663 | [ | ||
664 | text " | ||
665 | " | ||
666 | fontSize 14 | ||
667 | fontName "Consolas" | ||
668 | alignment "left" | ||
669 | anchor "tl" | ||
670 | borderDistance 6 | ||
671 | ] | ||
672 | ] | ||
673 | |||
674 | node | ||
675 | [ | ||
676 | id 19 | ||
677 | graphics | ||
678 | [ | ||
679 | w 85.80000000000001 | ||
680 | h 26 | ||
681 | type "rectangle" | ||
682 | fill "#FFFFFF" | ||
683 | fill2 "#FFFFFF" | ||
684 | outline "#000000" | ||
685 | ] | ||
686 | LabelGraphics | ||
687 | [ | ||
688 | text "New Reals" | ||
689 | outline "#000000" | ||
690 | fill "#FFFFFF" | ||
691 | fontSize 16 | ||
692 | fontName "Monospace" | ||
693 | autoSizePolicy "node_width" | ||
694 | anchor "t" | ||
695 | borderDistance 0.0 | ||
696 | ] | ||
697 | LabelGraphics | ||
698 | [ | ||
699 | text " | ||
700 | " | ||
701 | fontSize 14 | ||
702 | fontName "Consolas" | ||
703 | alignment "left" | ||
704 | anchor "tl" | ||
705 | borderDistance 6 | ||
706 | ] | ||
707 | ] | ||
708 | |||
709 | node | ||
710 | [ | ||
711 | id 20 | ||
712 | graphics | ||
713 | [ | ||
714 | w 103.4 | ||
715 | h 26 | ||
716 | type "rectangle" | ||
717 | fill "#FFFFFF" | ||
718 | fill2 "#FFFFFF" | ||
719 | outline "#000000" | ||
720 | ] | ||
721 | LabelGraphics | ||
722 | [ | ||
723 | text "New Strings" | ||
724 | outline "#000000" | ||
725 | fill "#FFFFFF" | ||
726 | fontSize 16 | ||
727 | fontName "Monospace" | ||
728 | autoSizePolicy "node_width" | ||
729 | anchor "t" | ||
730 | borderDistance 0.0 | ||
731 | ] | ||
732 | LabelGraphics | ||
733 | [ | ||
734 | text " | ||
735 | " | ||
736 | fontSize 14 | ||
737 | fontName "Consolas" | ||
738 | alignment "left" | ||
739 | anchor "tl" | ||
740 | borderDistance 6 | ||
741 | ] | ||
742 | ] | ||
743 | |||
744 | node | ||
745 | [ | ||
746 | id 21 | ||
747 | graphics | ||
748 | [ | ||
749 | w 103.4 | ||
750 | h 26 | ||
751 | type "rectangle" | ||
752 | fill "#FFFFFF" | ||
753 | fill2 "#FFFFFF" | ||
754 | outline "#000000" | ||
755 | ] | ||
756 | LabelGraphics | ||
757 | [ | ||
758 | text "New Objects" | ||
759 | outline "#000000" | ||
760 | fill "#FFFFFF" | ||
761 | fontSize 16 | ||
762 | fontName "Monospace" | ||
763 | autoSizePolicy "node_width" | ||
764 | anchor "t" | ||
765 | borderDistance 0.0 | ||
766 | ] | ||
767 | LabelGraphics | ||
768 | [ | ||
769 | text " | ||
770 | " | ||
771 | fontSize 14 | ||
772 | fontName "Consolas" | ||
773 | alignment "left" | ||
774 | anchor "tl" | ||
775 | borderDistance 6 | ||
776 | ] | ||
777 | ] | ||
778 | edge | ||
779 | [ | ||
780 | source 12 | ||
781 | target 13 | ||
782 | graphics | ||
783 | [ | ||
784 | fill "#000000" | ||
785 | width 3 | ||
786 | targetArrow "standard" | ||
787 | ] | ||
788 | LabelGraphics | ||
789 | [ | ||
790 | text "members reference FamilyTree" | ||
791 | fontSize 14 | ||
792 | fontName "Consolas" | ||
793 | configuration "AutoFlippingLabel" | ||
794 | model "six_pos" | ||
795 | position "thead" | ||
796 | ] | ||
797 | ] | ||
798 | edge | ||
799 | [ | ||
800 | source 12 | ||
801 | target 14 | ||
802 | graphics | ||
803 | [ | ||
804 | fill "#000000" | ||
805 | width 3 | ||
806 | targetArrow "standard" | ||
807 | ] | ||
808 | LabelGraphics | ||
809 | [ | ||
810 | text "members reference FamilyTree" | ||
811 | fontSize 14 | ||
812 | fontName "Consolas" | ||
813 | configuration "AutoFlippingLabel" | ||
814 | model "six_pos" | ||
815 | position "thead" | ||
816 | ] | ||
817 | ] | ||
818 | edge | ||
819 | [ | ||
820 | source 12 | ||
821 | target 15 | ||
822 | graphics | ||
823 | [ | ||
824 | fill "#000000" | ||
825 | width 3 | ||
826 | targetArrow "standard" | ||
827 | ] | ||
828 | LabelGraphics | ||
829 | [ | ||
830 | text "members reference FamilyTree" | ||
831 | fontSize 14 | ||
832 | fontName "Consolas" | ||
833 | configuration "AutoFlippingLabel" | ||
834 | model "six_pos" | ||
835 | position "thead" | ||
836 | ] | ||
837 | ] | ||
838 | edge | ||
839 | [ | ||
840 | source 12 | ||
841 | target 16 | ||
842 | graphics | ||
843 | [ | ||
844 | fill "#000000" | ||
845 | width 3 | ||
846 | targetArrow "standard" | ||
847 | ] | ||
848 | LabelGraphics | ||
849 | [ | ||
850 | text "members reference FamilyTree" | ||
851 | fontSize 14 | ||
852 | fontName "Consolas" | ||
853 | configuration "AutoFlippingLabel" | ||
854 | model "six_pos" | ||
855 | position "thead" | ||
856 | ] | ||
857 | ] | ||
858 | edge | ||
859 | [ | ||
860 | source 12 | ||
861 | target 17 | ||
862 | graphics | ||
863 | [ | ||
864 | fill "#000000" | ||
865 | width 3 | ||
866 | targetArrow "standard" | ||
867 | ] | ||
868 | LabelGraphics | ||
869 | [ | ||
870 | text "members reference FamilyTree" | ||
871 | fontSize 14 | ||
872 | fontName "Consolas" | ||
873 | configuration "AutoFlippingLabel" | ||
874 | model "six_pos" | ||
875 | position "thead" | ||
876 | ] | ||
877 | ] | ||
878 | edge | ||
879 | [ | ||
880 | source 13 | ||
881 | target 14 | ||
882 | graphics | ||
883 | [ | ||
884 | fill "#000000" | ||
885 | targetArrow "standard" | ||
886 | ] | ||
887 | LabelGraphics | ||
888 | [ | ||
889 | text "children reference Member" | ||
890 | fontSize 14 | ||
891 | fontName "Consolas" | ||
892 | configuration "AutoFlippingLabel" | ||
893 | model "six_pos" | ||
894 | position "thead" | ||
895 | ] | ||
896 | ] | ||
897 | edge | ||
898 | [ | ||
899 | source 13 | ||
900 | target 13 | ||
901 | graphics | ||
902 | [ | ||
903 | fill "#000000" | ||
904 | targetArrow "standard" | ||
905 | ] | ||
906 | LabelGraphics | ||
907 | [ | ||
908 | text "children reference Member" | ||
909 | fontSize 14 | ||
910 | fontName "Consolas" | ||
911 | configuration "AutoFlippingLabel" | ||
912 | model "six_pos" | ||
913 | position "thead" | ||
914 | ] | ||
915 | ] | ||
916 | edge | ||
917 | [ | ||
918 | source 14 | ||
919 | target 13 | ||
920 | graphics | ||
921 | [ | ||
922 | fill "#000000" | ||
923 | targetArrow "standard" | ||
924 | ] | ||
925 | LabelGraphics | ||
926 | [ | ||
927 | text "children reference Member" | ||
928 | fontSize 14 | ||
929 | fontName "Consolas" | ||
930 | configuration "AutoFlippingLabel" | ||
931 | model "six_pos" | ||
932 | position "thead" | ||
933 | ] | ||
934 | ] | ||
935 | edge | ||
936 | [ | ||
937 | source 15 | ||
938 | target 15 | ||
939 | graphics | ||
940 | [ | ||
941 | fill "#000000" | ||
942 | targetArrow "standard" | ||
943 | ] | ||
944 | LabelGraphics | ||
945 | [ | ||
946 | text "children reference Member" | ||
947 | fontSize 14 | ||
948 | fontName "Consolas" | ||
949 | configuration "AutoFlippingLabel" | ||
950 | model "six_pos" | ||
951 | position "thead" | ||
952 | ] | ||
953 | ] | ||
954 | edge | ||
955 | [ | ||
956 | source 15 | ||
957 | target 14 | ||
958 | graphics | ||
959 | [ | ||
960 | fill "#000000" | ||
961 | targetArrow "standard" | ||
962 | ] | ||
963 | LabelGraphics | ||
964 | [ | ||
965 | text "children reference Member" | ||
966 | fontSize 14 | ||
967 | fontName "Consolas" | ||
968 | configuration "AutoFlippingLabel" | ||
969 | model "six_pos" | ||
970 | position "thead" | ||
971 | ] | ||
972 | ] | ||
973 | edge | ||
974 | [ | ||
975 | source 16 | ||
976 | target 16 | ||
977 | graphics | ||
978 | [ | ||
979 | fill "#000000" | ||
980 | targetArrow "standard" | ||
981 | ] | ||
982 | LabelGraphics | ||
983 | [ | ||
984 | text "children reference Member" | ||
985 | fontSize 14 | ||
986 | fontName "Consolas" | ||
987 | configuration "AutoFlippingLabel" | ||
988 | model "six_pos" | ||
989 | position "thead" | ||
990 | ] | ||
991 | ] | ||
992 | edge | ||
993 | [ | ||
994 | source 14 | ||
995 | target 16 | ||
996 | graphics | ||
997 | [ | ||
998 | fill "#000000" | ||
999 | targetArrow "standard" | ||
1000 | ] | ||
1001 | LabelGraphics | ||
1002 | [ | ||
1003 | text "children reference Member" | ||
1004 | fontSize 14 | ||
1005 | fontName "Consolas" | ||
1006 | configuration "AutoFlippingLabel" | ||
1007 | model "six_pos" | ||
1008 | position "thead" | ||
1009 | ] | ||
1010 | ] | ||
1011 | edge | ||
1012 | [ | ||
1013 | source 14 | ||
1014 | target 15 | ||
1015 | graphics | ||
1016 | [ | ||
1017 | fill "#000000" | ||
1018 | targetArrow "standard" | ||
1019 | ] | ||
1020 | LabelGraphics | ||
1021 | [ | ||
1022 | text "children reference Member" | ||
1023 | fontSize 14 | ||
1024 | fontName "Consolas" | ||
1025 | configuration "AutoFlippingLabel" | ||
1026 | model "six_pos" | ||
1027 | position "thead" | ||
1028 | ] | ||
1029 | ] | ||
1030 | edge | ||
1031 | [ | ||
1032 | source 14 | ||
1033 | target 13 | ||
1034 | graphics | ||
1035 | [ | ||
1036 | fill "#000000" | ||
1037 | targetArrow "standard" | ||
1038 | ] | ||
1039 | LabelGraphics | ||
1040 | [ | ||
1041 | text "parents reference Member" | ||
1042 | fontSize 14 | ||
1043 | fontName "Consolas" | ||
1044 | configuration "AutoFlippingLabel" | ||
1045 | model "six_pos" | ||
1046 | position "thead" | ||
1047 | ] | ||
1048 | ] | ||
1049 | edge | ||
1050 | [ | ||
1051 | source 13 | ||
1052 | target 13 | ||
1053 | graphics | ||
1054 | [ | ||
1055 | fill "#000000" | ||
1056 | targetArrow "standard" | ||
1057 | ] | ||
1058 | LabelGraphics | ||
1059 | [ | ||
1060 | text "parents reference Member" | ||
1061 | fontSize 14 | ||
1062 | fontName "Consolas" | ||
1063 | configuration "AutoFlippingLabel" | ||
1064 | model "six_pos" | ||
1065 | position "thead" | ||
1066 | ] | ||
1067 | ] | ||
1068 | edge | ||
1069 | [ | ||
1070 | source 13 | ||
1071 | target 14 | ||
1072 | graphics | ||
1073 | [ | ||
1074 | fill "#000000" | ||
1075 | targetArrow "standard" | ||
1076 | ] | ||
1077 | LabelGraphics | ||
1078 | [ | ||
1079 | text "parents reference Member" | ||
1080 | fontSize 14 | ||
1081 | fontName "Consolas" | ||
1082 | configuration "AutoFlippingLabel" | ||
1083 | model "six_pos" | ||
1084 | position "thead" | ||
1085 | ] | ||
1086 | ] | ||
1087 | edge | ||
1088 | [ | ||
1089 | source 15 | ||
1090 | target 15 | ||
1091 | graphics | ||
1092 | [ | ||
1093 | fill "#000000" | ||
1094 | targetArrow "standard" | ||
1095 | ] | ||
1096 | LabelGraphics | ||
1097 | [ | ||
1098 | text "parents reference Member" | ||
1099 | fontSize 14 | ||
1100 | fontName "Consolas" | ||
1101 | configuration "AutoFlippingLabel" | ||
1102 | model "six_pos" | ||
1103 | position "thead" | ||
1104 | ] | ||
1105 | ] | ||
1106 | edge | ||
1107 | [ | ||
1108 | source 14 | ||
1109 | target 15 | ||
1110 | graphics | ||
1111 | [ | ||
1112 | fill "#000000" | ||
1113 | targetArrow "standard" | ||
1114 | ] | ||
1115 | LabelGraphics | ||
1116 | [ | ||
1117 | text "parents reference Member" | ||
1118 | fontSize 14 | ||
1119 | fontName "Consolas" | ||
1120 | configuration "AutoFlippingLabel" | ||
1121 | model "six_pos" | ||
1122 | position "thead" | ||
1123 | ] | ||
1124 | ] | ||
1125 | edge | ||
1126 | [ | ||
1127 | source 16 | ||
1128 | target 16 | ||
1129 | graphics | ||
1130 | [ | ||
1131 | fill "#000000" | ||
1132 | targetArrow "standard" | ||
1133 | ] | ||
1134 | LabelGraphics | ||
1135 | [ | ||
1136 | text "parents reference Member" | ||
1137 | fontSize 14 | ||
1138 | fontName "Consolas" | ||
1139 | configuration "AutoFlippingLabel" | ||
1140 | model "six_pos" | ||
1141 | position "thead" | ||
1142 | ] | ||
1143 | ] | ||
1144 | edge | ||
1145 | [ | ||
1146 | source 16 | ||
1147 | target 14 | ||
1148 | graphics | ||
1149 | [ | ||
1150 | fill "#000000" | ||
1151 | targetArrow "standard" | ||
1152 | ] | ||
1153 | LabelGraphics | ||
1154 | [ | ||
1155 | text "parents reference Member" | ||
1156 | fontSize 14 | ||
1157 | fontName "Consolas" | ||
1158 | configuration "AutoFlippingLabel" | ||
1159 | model "six_pos" | ||
1160 | position "thead" | ||
1161 | ] | ||
1162 | ] | ||
1163 | edge | ||
1164 | [ | ||
1165 | source 15 | ||
1166 | target 14 | ||
1167 | graphics | ||
1168 | [ | ||
1169 | fill "#000000" | ||
1170 | targetArrow "standard" | ||
1171 | ] | ||
1172 | LabelGraphics | ||
1173 | [ | ||
1174 | text "parents reference Member" | ||
1175 | fontSize 14 | ||
1176 | fontName "Consolas" | ||
1177 | configuration "AutoFlippingLabel" | ||
1178 | model "six_pos" | ||
1179 | position "thead" | ||
1180 | ] | ||
1181 | ] | ||
1182 | edge | ||
1183 | [ | ||
1184 | source 13 | ||
1185 | target 6 | ||
1186 | graphics | ||
1187 | [ | ||
1188 | fill "#000000" | ||
1189 | targetArrow "standard" | ||
1190 | ] | ||
1191 | LabelGraphics | ||
1192 | [ | ||
1193 | text "age attribute Member" | ||
1194 | fontSize 14 | ||
1195 | fontName "Consolas" | ||
1196 | configuration "AutoFlippingLabel" | ||
1197 | model "six_pos" | ||
1198 | position "thead" | ||
1199 | ] | ||
1200 | ] | ||
1201 | edge | ||
1202 | [ | ||
1203 | source 14 | ||
1204 | target 6 | ||
1205 | graphics | ||
1206 | [ | ||
1207 | fill "#000000" | ||
1208 | targetArrow "standard" | ||
1209 | ] | ||
1210 | LabelGraphics | ||
1211 | [ | ||
1212 | text "age attribute Member" | ||
1213 | fontSize 14 | ||
1214 | fontName "Consolas" | ||
1215 | configuration "AutoFlippingLabel" | ||
1216 | model "six_pos" | ||
1217 | position "thead" | ||
1218 | ] | ||
1219 | ] | ||
1220 | edge | ||
1221 | [ | ||
1222 | source 15 | ||
1223 | target 11 | ||
1224 | graphics | ||
1225 | [ | ||
1226 | fill "#000000" | ||
1227 | targetArrow "standard" | ||
1228 | ] | ||
1229 | LabelGraphics | ||
1230 | [ | ||
1231 | text "age attribute Member" | ||
1232 | fontSize 14 | ||
1233 | fontName "Consolas" | ||
1234 | configuration "AutoFlippingLabel" | ||
1235 | model "six_pos" | ||
1236 | position "thead" | ||
1237 | ] | ||
1238 | ] | ||
1239 | edge | ||
1240 | [ | ||
1241 | source 16 | ||
1242 | target 9 | ||
1243 | graphics | ||
1244 | [ | ||
1245 | fill "#000000" | ||
1246 | targetArrow "standard" | ||
1247 | ] | ||
1248 | LabelGraphics | ||
1249 | [ | ||
1250 | text "age attribute Member" | ||
1251 | fontSize 14 | ||
1252 | fontName "Consolas" | ||
1253 | configuration "AutoFlippingLabel" | ||
1254 | model "six_pos" | ||
1255 | position "thead" | ||
1256 | ] | ||
1257 | ] | ||
1258 | ] | ||
1259 | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.png b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.png new file mode 100644 index 00000000..4115674a --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.png | |||
Binary files differ | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.xmi new file mode 100644 index 00000000..52707ad5 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution0_0.xmi | |||
@@ -0,0 +1,8 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <familytree:FamilyTree xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:familytree="http://www.example.org/familytree"> | ||
3 | <members age="4" children="//@members.1 //@members.3 //@members.4" parents="//@members.3 //@members.4"/> | ||
4 | <members age="7" children="//@members.1" parents="//@members.0 //@members.1"/> | ||
5 | <members/> | ||
6 | <members age="4" children="//@members.0 //@members.3" parents="//@members.0 //@members.3"/> | ||
7 | <members age="9" children="//@members.0 //@members.4" parents="//@members.0 //@members.4"/> | ||
8 | </familytree:FamilyTree> | ||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.gml b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.gml new file mode 100644 index 00000000..5cba67ef --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.gml | |||
@@ -0,0 +1,1145 @@ | |||
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 15.400000000000002 | ||
79 | h 26 | ||
80 | type "rectangle" | ||
81 | fill "#FFFFFF" | ||
82 | fill2 "#FFFFFF" | ||
83 | outline "#000000" | ||
84 | ] | ||
85 | LabelGraphics | ||
86 | [ | ||
87 | text "0" | ||
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 | " | ||
100 | fontSize 14 | ||
101 | fontName "Consolas" | ||
102 | alignment "left" | ||
103 | anchor "tl" | ||
104 | borderDistance 6 | ||
105 | ] | ||
106 | ] | ||
107 | |||
108 | node | ||
109 | [ | ||
110 | id 3 | ||
111 | graphics | ||
112 | [ | ||
113 | w 15.400000000000002 | ||
114 | h 26 | ||
115 | type "rectangle" | ||
116 | fill "#FFFFFF" | ||
117 | fill2 "#FFFFFF" | ||
118 | outline "#000000" | ||
119 | ] | ||
120 | LabelGraphics | ||
121 | [ | ||
122 | text "1" | ||
123 | outline "#000000" | ||
124 | fill "#FFFFFF" | ||
125 | fontSize 16 | ||
126 | fontName "Monospace" | ||
127 | autoSizePolicy "node_width" | ||
128 | anchor "t" | ||
129 | borderDistance 0.0 | ||
130 | ] | ||
131 | LabelGraphics | ||
132 | [ | ||
133 | text " | ||
134 | " | ||
135 | fontSize 14 | ||
136 | fontName "Consolas" | ||
137 | alignment "left" | ||
138 | anchor "tl" | ||
139 | borderDistance 6 | ||
140 | ] | ||
141 | ] | ||
142 | |||
143 | node | ||
144 | [ | ||
145 | id 4 | ||
146 | graphics | ||
147 | [ | ||
148 | w 15.400000000000002 | ||
149 | h 26 | ||
150 | type "rectangle" | ||
151 | fill "#FFFFFF" | ||
152 | fill2 "#FFFFFF" | ||
153 | outline "#000000" | ||
154 | ] | ||
155 | LabelGraphics | ||
156 | [ | ||
157 | text "2" | ||
158 | outline "#000000" | ||
159 | fill "#FFFFFF" | ||
160 | fontSize 16 | ||
161 | fontName "Monospace" | ||
162 | autoSizePolicy "node_width" | ||
163 | anchor "t" | ||
164 | borderDistance 0.0 | ||
165 | ] | ||
166 | LabelGraphics | ||
167 | [ | ||
168 | text " | ||
169 | " | ||
170 | fontSize 14 | ||
171 | fontName "Consolas" | ||
172 | alignment "left" | ||
173 | anchor "tl" | ||
174 | borderDistance 6 | ||
175 | ] | ||
176 | ] | ||
177 | |||
178 | node | ||
179 | [ | ||
180 | id 5 | ||
181 | graphics | ||
182 | [ | ||
183 | w 15.400000000000002 | ||
184 | h 26 | ||
185 | type "rectangle" | ||
186 | fill "#FFFFFF" | ||
187 | fill2 "#FFFFFF" | ||
188 | outline "#000000" | ||
189 | ] | ||
190 | LabelGraphics | ||
191 | [ | ||
192 | text "3" | ||
193 | outline "#000000" | ||
194 | fill "#FFFFFF" | ||
195 | fontSize 16 | ||
196 | fontName "Monospace" | ||
197 | autoSizePolicy "node_width" | ||
198 | anchor "t" | ||
199 | borderDistance 0.0 | ||
200 | ] | ||
201 | LabelGraphics | ||
202 | [ | ||
203 | text " | ||
204 | " | ||
205 | fontSize 14 | ||
206 | fontName "Consolas" | ||
207 | alignment "left" | ||
208 | anchor "tl" | ||
209 | borderDistance 6 | ||
210 | ] | ||
211 | ] | ||
212 | |||
213 | node | ||
214 | [ | ||
215 | id 6 | ||
216 | graphics | ||
217 | [ | ||
218 | w 15.400000000000002 | ||
219 | h 26 | ||
220 | type "rectangle" | ||
221 | fill "#FFFFFF" | ||
222 | fill2 "#FFFFFF" | ||
223 | outline "#000000" | ||
224 | ] | ||
225 | LabelGraphics | ||
226 | [ | ||
227 | text "4" | ||
228 | outline "#000000" | ||
229 | fill "#FFFFFF" | ||
230 | fontSize 16 | ||
231 | fontName "Monospace" | ||
232 | autoSizePolicy "node_width" | ||
233 | anchor "t" | ||
234 | borderDistance 0.0 | ||
235 | ] | ||
236 | LabelGraphics | ||
237 | [ | ||
238 | text " | ||
239 | " | ||
240 | fontSize 14 | ||
241 | fontName "Consolas" | ||
242 | alignment "left" | ||
243 | anchor "tl" | ||
244 | borderDistance 6 | ||
245 | ] | ||
246 | ] | ||
247 | |||
248 | node | ||
249 | [ | ||
250 | id 7 | ||
251 | graphics | ||
252 | [ | ||
253 | w 15.400000000000002 | ||
254 | h 26 | ||
255 | type "rectangle" | ||
256 | fill "#FFFFFF" | ||
257 | fill2 "#FFFFFF" | ||
258 | outline "#000000" | ||
259 | ] | ||
260 | LabelGraphics | ||
261 | [ | ||
262 | text "5" | ||
263 | outline "#000000" | ||
264 | fill "#FFFFFF" | ||
265 | fontSize 16 | ||
266 | fontName "Monospace" | ||
267 | autoSizePolicy "node_width" | ||
268 | anchor "t" | ||
269 | borderDistance 0.0 | ||
270 | ] | ||
271 | LabelGraphics | ||
272 | [ | ||
273 | text " | ||
274 | " | ||
275 | fontSize 14 | ||
276 | fontName "Consolas" | ||
277 | alignment "left" | ||
278 | anchor "tl" | ||
279 | borderDistance 6 | ||
280 | ] | ||
281 | ] | ||
282 | |||
283 | node | ||
284 | [ | ||
285 | id 8 | ||
286 | graphics | ||
287 | [ | ||
288 | w 15.400000000000002 | ||
289 | h 26 | ||
290 | type "rectangle" | ||
291 | fill "#FFFFFF" | ||
292 | fill2 "#FFFFFF" | ||
293 | outline "#000000" | ||
294 | ] | ||
295 | LabelGraphics | ||
296 | [ | ||
297 | text "6" | ||
298 | outline "#000000" | ||
299 | fill "#FFFFFF" | ||
300 | fontSize 16 | ||
301 | fontName "Monospace" | ||
302 | autoSizePolicy "node_width" | ||
303 | anchor "t" | ||
304 | borderDistance 0.0 | ||
305 | ] | ||
306 | LabelGraphics | ||
307 | [ | ||
308 | text " | ||
309 | " | ||
310 | fontSize 14 | ||
311 | fontName "Consolas" | ||
312 | alignment "left" | ||
313 | anchor "tl" | ||
314 | borderDistance 6 | ||
315 | ] | ||
316 | ] | ||
317 | |||
318 | node | ||
319 | [ | ||
320 | id 9 | ||
321 | graphics | ||
322 | [ | ||
323 | w 15.400000000000002 | ||
324 | h 26 | ||
325 | type "rectangle" | ||
326 | fill "#FFFFFF" | ||
327 | fill2 "#FFFFFF" | ||
328 | outline "#000000" | ||
329 | ] | ||
330 | LabelGraphics | ||
331 | [ | ||
332 | text "7" | ||
333 | outline "#000000" | ||
334 | fill "#FFFFFF" | ||
335 | fontSize 16 | ||
336 | fontName "Monospace" | ||
337 | autoSizePolicy "node_width" | ||
338 | anchor "t" | ||
339 | borderDistance 0.0 | ||
340 | ] | ||
341 | LabelGraphics | ||
342 | [ | ||
343 | text " | ||
344 | " | ||
345 | fontSize 14 | ||
346 | fontName "Consolas" | ||
347 | alignment "left" | ||
348 | anchor "tl" | ||
349 | borderDistance 6 | ||
350 | ] | ||
351 | ] | ||
352 | |||
353 | node | ||
354 | [ | ||
355 | id 10 | ||
356 | graphics | ||
357 | [ | ||
358 | w 15.400000000000002 | ||
359 | h 26 | ||
360 | type "rectangle" | ||
361 | fill "#FFFFFF" | ||
362 | fill2 "#FFFFFF" | ||
363 | outline "#000000" | ||
364 | ] | ||
365 | LabelGraphics | ||
366 | [ | ||
367 | text "8" | ||
368 | outline "#000000" | ||
369 | fill "#FFFFFF" | ||
370 | fontSize 16 | ||
371 | fontName "Monospace" | ||
372 | autoSizePolicy "node_width" | ||
373 | anchor "t" | ||
374 | borderDistance 0.0 | ||
375 | ] | ||
376 | LabelGraphics | ||
377 | [ | ||
378 | text " | ||
379 | " | ||
380 | fontSize 14 | ||
381 | fontName "Consolas" | ||
382 | alignment "left" | ||
383 | anchor "tl" | ||
384 | borderDistance 6 | ||
385 | ] | ||
386 | ] | ||
387 | |||
388 | node | ||
389 | [ | ||
390 | id 11 | ||
391 | graphics | ||
392 | [ | ||
393 | w 15.400000000000002 | ||
394 | h 26 | ||
395 | type "rectangle" | ||
396 | fill "#FFFFFF" | ||
397 | fill2 "#FFFFFF" | ||
398 | outline "#000000" | ||
399 | ] | ||
400 | LabelGraphics | ||
401 | [ | ||
402 | text "9" | ||
403 | outline "#000000" | ||
404 | fill "#FFFFFF" | ||
405 | fontSize 16 | ||
406 | fontName "Monospace" | ||
407 | autoSizePolicy "node_width" | ||
408 | anchor "t" | ||
409 | borderDistance 0.0 | ||
410 | ] | ||
411 | LabelGraphics | ||
412 | [ | ||
413 | text " | ||
414 | " | ||
415 | fontSize 14 | ||
416 | fontName "Consolas" | ||
417 | alignment "left" | ||
418 | anchor "tl" | ||
419 | borderDistance 6 | ||
420 | ] | ||
421 | ] | ||
422 | |||
423 | node | ||
424 | [ | ||
425 | id 12 | ||
426 | graphics | ||
427 | [ | ||
428 | w 138.60000000000002 | ||
429 | h 40 | ||
430 | type "rectangle" | ||
431 | fill "#FFFFFF" | ||
432 | fill2 "#FFFFFF" | ||
433 | outline "#000000" | ||
434 | ] | ||
435 | LabelGraphics | ||
436 | [ | ||
437 | text "null" | ||
438 | outline "#000000" | ||
439 | fill "#FFFFFF" | ||
440 | fontSize 16 | ||
441 | fontName "Monospace" | ||
442 | autoSizePolicy "node_width" | ||
443 | anchor "t" | ||
444 | borderDistance 0.0 | ||
445 | ] | ||
446 | LabelGraphics | ||
447 | [ | ||
448 | text " | ||
449 | FamilyTree class | ||
450 | " | ||
451 | fontSize 14 | ||
452 | fontName "Consolas" | ||
453 | alignment "left" | ||
454 | anchor "tl" | ||
455 | borderDistance 6 | ||
456 | ] | ||
457 | ] | ||
458 | |||
459 | node | ||
460 | [ | ||
461 | id 13 | ||
462 | graphics | ||
463 | [ | ||
464 | w 107.80000000000001 | ||
465 | h 40 | ||
466 | type "rectangle" | ||
467 | fill "#FFFFFF" | ||
468 | fill2 "#FFFFFF" | ||
469 | outline "#000000" | ||
470 | ] | ||
471 | LabelGraphics | ||
472 | [ | ||
473 | text "null" | ||
474 | outline "#000000" | ||
475 | fill "#FFFFFF" | ||
476 | fontSize 16 | ||
477 | fontName "Monospace" | ||
478 | autoSizePolicy "node_width" | ||
479 | anchor "t" | ||
480 | borderDistance 0.0 | ||
481 | ] | ||
482 | LabelGraphics | ||
483 | [ | ||
484 | text " | ||
485 | Member class | ||
486 | " | ||
487 | fontSize 14 | ||
488 | fontName "Consolas" | ||
489 | alignment "left" | ||
490 | anchor "tl" | ||
491 | borderDistance 6 | ||
492 | ] | ||
493 | ] | ||
494 | |||
495 | node | ||
496 | [ | ||
497 | id 14 | ||
498 | graphics | ||
499 | [ | ||
500 | w 107.80000000000001 | ||
501 | h 40 | ||
502 | type "rectangle" | ||
503 | fill "#FFFFFF" | ||
504 | fill2 "#FFFFFF" | ||
505 | outline "#000000" | ||
506 | ] | ||
507 | LabelGraphics | ||
508 | [ | ||
509 | text "null" | ||
510 | outline "#000000" | ||
511 | fill "#FFFFFF" | ||
512 | fontSize 16 | ||
513 | fontName "Monospace" | ||
514 | autoSizePolicy "node_width" | ||
515 | anchor "t" | ||
516 | borderDistance 0.0 | ||
517 | ] | ||
518 | LabelGraphics | ||
519 | [ | ||
520 | text " | ||
521 | Member class | ||
522 | " | ||
523 | fontSize 14 | ||
524 | fontName "Consolas" | ||
525 | alignment "left" | ||
526 | anchor "tl" | ||
527 | borderDistance 6 | ||
528 | ] | ||
529 | ] | ||
530 | |||
531 | node | ||
532 | [ | ||
533 | id 15 | ||
534 | graphics | ||
535 | [ | ||
536 | w 107.80000000000001 | ||
537 | h 40 | ||
538 | type "rectangle" | ||
539 | fill "#FFFFFF" | ||
540 | fill2 "#FFFFFF" | ||
541 | outline "#000000" | ||
542 | ] | ||
543 | LabelGraphics | ||
544 | [ | ||
545 | text "null" | ||
546 | outline "#000000" | ||
547 | fill "#FFFFFF" | ||
548 | fontSize 16 | ||
549 | fontName "Monospace" | ||
550 | autoSizePolicy "node_width" | ||
551 | anchor "t" | ||
552 | borderDistance 0.0 | ||
553 | ] | ||
554 | LabelGraphics | ||
555 | [ | ||
556 | text " | ||
557 | Member class | ||
558 | " | ||
559 | fontSize 14 | ||
560 | fontName "Consolas" | ||
561 | alignment "left" | ||
562 | anchor "tl" | ||
563 | borderDistance 6 | ||
564 | ] | ||
565 | ] | ||
566 | |||
567 | node | ||
568 | [ | ||
569 | id 16 | ||
570 | graphics | ||
571 | [ | ||
572 | w 107.80000000000001 | ||
573 | h 40 | ||
574 | type "rectangle" | ||
575 | fill "#FFFFFF" | ||
576 | fill2 "#FFFFFF" | ||
577 | outline "#000000" | ||
578 | ] | ||
579 | LabelGraphics | ||
580 | [ | ||
581 | text "null" | ||
582 | outline "#000000" | ||
583 | fill "#FFFFFF" | ||
584 | fontSize 16 | ||
585 | fontName "Monospace" | ||
586 | autoSizePolicy "node_width" | ||
587 | anchor "t" | ||
588 | borderDistance 0.0 | ||
589 | ] | ||
590 | LabelGraphics | ||
591 | [ | ||
592 | text " | ||
593 | Member class | ||
594 | " | ||
595 | fontSize 14 | ||
596 | fontName "Consolas" | ||
597 | alignment "left" | ||
598 | anchor "tl" | ||
599 | borderDistance 6 | ||
600 | ] | ||
601 | ] | ||
602 | |||
603 | node | ||
604 | [ | ||
605 | id 17 | ||
606 | graphics | ||
607 | [ | ||
608 | w 107.80000000000001 | ||
609 | h 40 | ||
610 | type "rectangle" | ||
611 | fill "#FFFFFF" | ||
612 | fill2 "#FFFFFF" | ||
613 | outline "#000000" | ||
614 | ] | ||
615 | LabelGraphics | ||
616 | [ | ||
617 | text "null" | ||
618 | outline "#000000" | ||
619 | fill "#FFFFFF" | ||
620 | fontSize 16 | ||
621 | fontName "Monospace" | ||
622 | autoSizePolicy "node_width" | ||
623 | anchor "t" | ||
624 | borderDistance 0.0 | ||
625 | ] | ||
626 | LabelGraphics | ||
627 | [ | ||
628 | text " | ||
629 | Member class | ||
630 | " | ||
631 | fontSize 14 | ||
632 | fontName "Consolas" | ||
633 | alignment "left" | ||
634 | anchor "tl" | ||
635 | borderDistance 6 | ||
636 | ] | ||
637 | ] | ||
638 | |||
639 | node | ||
640 | [ | ||
641 | id 18 | ||
642 | graphics | ||
643 | [ | ||
644 | w 112.2 | ||
645 | h 26 | ||
646 | type "rectangle" | ||
647 | fill "#FFFFFF" | ||
648 | fill2 "#FFFFFF" | ||
649 | outline "#000000" | ||
650 | ] | ||
651 | LabelGraphics | ||
652 | [ | ||
653 | text "New Integers" | ||
654 | outline "#000000" | ||
655 | fill "#FFFFFF" | ||
656 | fontSize 16 | ||
657 | fontName "Monospace" | ||
658 | autoSizePolicy "node_width" | ||
659 | anchor "t" | ||
660 | borderDistance 0.0 | ||
661 | ] | ||
662 | LabelGraphics | ||
663 | [ | ||
664 | text " | ||
665 | " | ||
666 | fontSize 14 | ||
667 | fontName "Consolas" | ||
668 | alignment "left" | ||
669 | anchor "tl" | ||
670 | borderDistance 6 | ||
671 | ] | ||
672 | ] | ||
673 | |||
674 | node | ||
675 | [ | ||
676 | id 19 | ||
677 | graphics | ||
678 | [ | ||
679 | w 85.80000000000001 | ||
680 | h 26 | ||
681 | type "rectangle" | ||
682 | fill "#FFFFFF" | ||
683 | fill2 "#FFFFFF" | ||
684 | outline "#000000" | ||
685 | ] | ||
686 | LabelGraphics | ||
687 | [ | ||
688 | text "New Reals" | ||
689 | outline "#000000" | ||
690 | fill "#FFFFFF" | ||
691 | fontSize 16 | ||
692 | fontName "Monospace" | ||
693 | autoSizePolicy "node_width" | ||
694 | anchor "t" | ||
695 | borderDistance 0.0 | ||
696 | ] | ||
697 | LabelGraphics | ||
698 | [ | ||
699 | text " | ||
700 | " | ||
701 | fontSize 14 | ||
702 | fontName "Consolas" | ||
703 | alignment "left" | ||
704 | anchor "tl" | ||
705 | borderDistance 6 | ||
706 | ] | ||
707 | ] | ||
708 | |||
709 | node | ||
710 | [ | ||
711 | id 20 | ||
712 | graphics | ||
713 | [ | ||
714 | w 103.4 | ||
715 | h 26 | ||
716 | type "rectangle" | ||
717 | fill "#FFFFFF" | ||
718 | fill2 "#FFFFFF" | ||
719 | outline "#000000" | ||
720 | ] | ||
721 | LabelGraphics | ||
722 | [ | ||
723 | text "New Strings" | ||
724 | outline "#000000" | ||
725 | fill "#FFFFFF" | ||
726 | fontSize 16 | ||
727 | fontName "Monospace" | ||
728 | autoSizePolicy "node_width" | ||
729 | anchor "t" | ||
730 | borderDistance 0.0 | ||
731 | ] | ||
732 | LabelGraphics | ||
733 | [ | ||
734 | text " | ||
735 | " | ||
736 | fontSize 14 | ||
737 | fontName "Consolas" | ||
738 | alignment "left" | ||
739 | anchor "tl" | ||
740 | borderDistance 6 | ||
741 | ] | ||
742 | ] | ||
743 | |||
744 | node | ||
745 | [ | ||
746 | id 21 | ||
747 | graphics | ||
748 | [ | ||
749 | w 103.4 | ||
750 | h 26 | ||
751 | type "rectangle" | ||
752 | fill "#FFFFFF" | ||
753 | fill2 "#FFFFFF" | ||
754 | outline "#000000" | ||
755 | ] | ||
756 | LabelGraphics | ||
757 | [ | ||
758 | text "New Objects" | ||
759 | outline "#000000" | ||
760 | fill "#FFFFFF" | ||
761 | fontSize 16 | ||
762 | fontName "Monospace" | ||
763 | autoSizePolicy "node_width" | ||
764 | anchor "t" | ||
765 | borderDistance 0.0 | ||
766 | ] | ||
767 | LabelGraphics | ||
768 | [ | ||
769 | text " | ||
770 | " | ||
771 | fontSize 14 | ||
772 | fontName "Consolas" | ||
773 | alignment "left" | ||
774 | anchor "tl" | ||
775 | borderDistance 6 | ||
776 | ] | ||
777 | ] | ||
778 | edge | ||
779 | [ | ||
780 | source 12 | ||
781 | target 13 | ||
782 | graphics | ||
783 | [ | ||
784 | fill "#000000" | ||
785 | width 3 | ||
786 | targetArrow "standard" | ||
787 | ] | ||
788 | LabelGraphics | ||
789 | [ | ||
790 | text "members reference FamilyTree" | ||
791 | fontSize 14 | ||
792 | fontName "Consolas" | ||
793 | configuration "AutoFlippingLabel" | ||
794 | model "six_pos" | ||
795 | position "thead" | ||
796 | ] | ||
797 | ] | ||
798 | edge | ||
799 | [ | ||
800 | source 12 | ||
801 | target 14 | ||
802 | graphics | ||
803 | [ | ||
804 | fill "#000000" | ||
805 | width 3 | ||
806 | targetArrow "standard" | ||
807 | ] | ||
808 | LabelGraphics | ||
809 | [ | ||
810 | text "members reference FamilyTree" | ||
811 | fontSize 14 | ||
812 | fontName "Consolas" | ||
813 | configuration "AutoFlippingLabel" | ||
814 | model "six_pos" | ||
815 | position "thead" | ||
816 | ] | ||
817 | ] | ||
818 | edge | ||
819 | [ | ||
820 | source 12 | ||
821 | target 15 | ||
822 | graphics | ||
823 | [ | ||
824 | fill "#000000" | ||
825 | width 3 | ||
826 | targetArrow "standard" | ||
827 | ] | ||
828 | LabelGraphics | ||
829 | [ | ||
830 | text "members reference FamilyTree" | ||
831 | fontSize 14 | ||
832 | fontName "Consolas" | ||
833 | configuration "AutoFlippingLabel" | ||
834 | model "six_pos" | ||
835 | position "thead" | ||
836 | ] | ||
837 | ] | ||
838 | edge | ||
839 | [ | ||
840 | source 12 | ||
841 | target 16 | ||
842 | graphics | ||
843 | [ | ||
844 | fill "#000000" | ||
845 | width 3 | ||
846 | targetArrow "standard" | ||
847 | ] | ||
848 | LabelGraphics | ||
849 | [ | ||
850 | text "members reference FamilyTree" | ||
851 | fontSize 14 | ||
852 | fontName "Consolas" | ||
853 | configuration "AutoFlippingLabel" | ||
854 | model "six_pos" | ||
855 | position "thead" | ||
856 | ] | ||
857 | ] | ||
858 | edge | ||
859 | [ | ||
860 | source 12 | ||
861 | target 17 | ||
862 | graphics | ||
863 | [ | ||
864 | fill "#000000" | ||
865 | width 3 | ||
866 | targetArrow "standard" | ||
867 | ] | ||
868 | LabelGraphics | ||
869 | [ | ||
870 | text "members reference FamilyTree" | ||
871 | fontSize 14 | ||
872 | fontName "Consolas" | ||
873 | configuration "AutoFlippingLabel" | ||
874 | model "six_pos" | ||
875 | position "thead" | ||
876 | ] | ||
877 | ] | ||
878 | edge | ||
879 | [ | ||
880 | source 13 | ||
881 | target 13 | ||
882 | graphics | ||
883 | [ | ||
884 | fill "#000000" | ||
885 | targetArrow "standard" | ||
886 | ] | ||
887 | LabelGraphics | ||
888 | [ | ||
889 | text "children reference Member" | ||
890 | fontSize 14 | ||
891 | fontName "Consolas" | ||
892 | configuration "AutoFlippingLabel" | ||
893 | model "six_pos" | ||
894 | position "thead" | ||
895 | ] | ||
896 | ] | ||
897 | edge | ||
898 | [ | ||
899 | source 13 | ||
900 | target 15 | ||
901 | graphics | ||
902 | [ | ||
903 | fill "#000000" | ||
904 | targetArrow "standard" | ||
905 | ] | ||
906 | LabelGraphics | ||
907 | [ | ||
908 | text "children reference Member" | ||
909 | fontSize 14 | ||
910 | fontName "Consolas" | ||
911 | configuration "AutoFlippingLabel" | ||
912 | model "six_pos" | ||
913 | position "thead" | ||
914 | ] | ||
915 | ] | ||
916 | edge | ||
917 | [ | ||
918 | source 13 | ||
919 | target 14 | ||
920 | graphics | ||
921 | [ | ||
922 | fill "#000000" | ||
923 | targetArrow "standard" | ||
924 | ] | ||
925 | LabelGraphics | ||
926 | [ | ||
927 | text "children reference Member" | ||
928 | fontSize 14 | ||
929 | fontName "Consolas" | ||
930 | configuration "AutoFlippingLabel" | ||
931 | model "six_pos" | ||
932 | position "thead" | ||
933 | ] | ||
934 | ] | ||
935 | edge | ||
936 | [ | ||
937 | source 15 | ||
938 | target 14 | ||
939 | graphics | ||
940 | [ | ||
941 | fill "#000000" | ||
942 | targetArrow "standard" | ||
943 | ] | ||
944 | LabelGraphics | ||
945 | [ | ||
946 | text "children reference Member" | ||
947 | fontSize 14 | ||
948 | fontName "Consolas" | ||
949 | configuration "AutoFlippingLabel" | ||
950 | model "six_pos" | ||
951 | position "thead" | ||
952 | ] | ||
953 | ] | ||
954 | edge | ||
955 | [ | ||
956 | source 14 | ||
957 | target 13 | ||
958 | graphics | ||
959 | [ | ||
960 | fill "#000000" | ||
961 | targetArrow "standard" | ||
962 | ] | ||
963 | LabelGraphics | ||
964 | [ | ||
965 | text "children reference Member" | ||
966 | fontSize 14 | ||
967 | fontName "Consolas" | ||
968 | configuration "AutoFlippingLabel" | ||
969 | model "six_pos" | ||
970 | position "thead" | ||
971 | ] | ||
972 | ] | ||
973 | edge | ||
974 | [ | ||
975 | source 13 | ||
976 | target 13 | ||
977 | graphics | ||
978 | [ | ||
979 | fill "#000000" | ||
980 | targetArrow "standard" | ||
981 | ] | ||
982 | LabelGraphics | ||
983 | [ | ||
984 | text "parents reference Member" | ||
985 | fontSize 14 | ||
986 | fontName "Consolas" | ||
987 | configuration "AutoFlippingLabel" | ||
988 | model "six_pos" | ||
989 | position "thead" | ||
990 | ] | ||
991 | ] | ||
992 | edge | ||
993 | [ | ||
994 | source 15 | ||
995 | target 13 | ||
996 | graphics | ||
997 | [ | ||
998 | fill "#000000" | ||
999 | targetArrow "standard" | ||
1000 | ] | ||
1001 | LabelGraphics | ||
1002 | [ | ||
1003 | text "parents reference Member" | ||
1004 | fontSize 14 | ||
1005 | fontName "Consolas" | ||
1006 | configuration "AutoFlippingLabel" | ||
1007 | model "six_pos" | ||
1008 | position "thead" | ||
1009 | ] | ||
1010 | ] | ||
1011 | edge | ||
1012 | [ | ||
1013 | source 14 | ||
1014 | target 13 | ||
1015 | graphics | ||
1016 | [ | ||
1017 | fill "#000000" | ||
1018 | targetArrow "standard" | ||
1019 | ] | ||
1020 | LabelGraphics | ||
1021 | [ | ||
1022 | text "parents reference Member" | ||
1023 | fontSize 14 | ||
1024 | fontName "Consolas" | ||
1025 | configuration "AutoFlippingLabel" | ||
1026 | model "six_pos" | ||
1027 | position "thead" | ||
1028 | ] | ||
1029 | ] | ||
1030 | edge | ||
1031 | [ | ||
1032 | source 14 | ||
1033 | target 15 | ||
1034 | graphics | ||
1035 | [ | ||
1036 | fill "#000000" | ||
1037 | targetArrow "standard" | ||
1038 | ] | ||
1039 | LabelGraphics | ||
1040 | [ | ||
1041 | text "parents reference Member" | ||
1042 | fontSize 14 | ||
1043 | fontName "Consolas" | ||
1044 | configuration "AutoFlippingLabel" | ||
1045 | model "six_pos" | ||
1046 | position "thead" | ||
1047 | ] | ||
1048 | ] | ||
1049 | edge | ||
1050 | [ | ||
1051 | source 13 | ||
1052 | target 14 | ||
1053 | graphics | ||
1054 | [ | ||
1055 | fill "#000000" | ||
1056 | targetArrow "standard" | ||
1057 | ] | ||
1058 | LabelGraphics | ||
1059 | [ | ||
1060 | text "parents reference Member" | ||
1061 | fontSize 14 | ||
1062 | fontName "Consolas" | ||
1063 | configuration "AutoFlippingLabel" | ||
1064 | model "six_pos" | ||
1065 | position "thead" | ||
1066 | ] | ||
1067 | ] | ||
1068 | edge | ||
1069 | [ | ||
1070 | source 13 | ||
1071 | target 7 | ||
1072 | graphics | ||
1073 | [ | ||
1074 | fill "#000000" | ||
1075 | targetArrow "standard" | ||
1076 | ] | ||
1077 | LabelGraphics | ||
1078 | [ | ||
1079 | text "age attribute Member" | ||
1080 | fontSize 14 | ||
1081 | fontName "Consolas" | ||
1082 | configuration "AutoFlippingLabel" | ||
1083 | model "six_pos" | ||
1084 | position "thead" | ||
1085 | ] | ||
1086 | ] | ||
1087 | edge | ||
1088 | [ | ||
1089 | source 14 | ||
1090 | target 11 | ||
1091 | graphics | ||
1092 | [ | ||
1093 | fill "#000000" | ||
1094 | targetArrow "standard" | ||
1095 | ] | ||
1096 | LabelGraphics | ||
1097 | [ | ||
1098 | text "age attribute Member" | ||
1099 | fontSize 14 | ||
1100 | fontName "Consolas" | ||
1101 | configuration "AutoFlippingLabel" | ||
1102 | model "six_pos" | ||
1103 | position "thead" | ||
1104 | ] | ||
1105 | ] | ||
1106 | edge | ||
1107 | [ | ||
1108 | source 15 | ||
1109 | target 2 | ||
1110 | graphics | ||
1111 | [ | ||
1112 | fill "#000000" | ||
1113 | targetArrow "standard" | ||
1114 | ] | ||
1115 | LabelGraphics | ||
1116 | [ | ||
1117 | text "age attribute Member" | ||
1118 | fontSize 14 | ||
1119 | fontName "Consolas" | ||
1120 | configuration "AutoFlippingLabel" | ||
1121 | model "six_pos" | ||
1122 | position "thead" | ||
1123 | ] | ||
1124 | ] | ||
1125 | edge | ||
1126 | [ | ||
1127 | source 16 | ||
1128 | target 9 | ||
1129 | graphics | ||
1130 | [ | ||
1131 | fill "#000000" | ||
1132 | targetArrow "standard" | ||
1133 | ] | ||
1134 | LabelGraphics | ||
1135 | [ | ||
1136 | text "age attribute Member" | ||
1137 | fontSize 14 | ||
1138 | fontName "Consolas" | ||
1139 | configuration "AutoFlippingLabel" | ||
1140 | model "six_pos" | ||
1141 | position "thead" | ||
1142 | ] | ||
1143 | ] | ||
1144 | ] | ||
1145 | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.png b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.png new file mode 100644 index 00000000..775b1213 --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.png | |||
Binary files differ | |||
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.xmi b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.xmi new file mode 100644 index 00000000..defcabbd --- /dev/null +++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.run/output/27-1623/solution1_0.xmi | |||
@@ -0,0 +1,8 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | ||
2 | <familytree:FamilyTree xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:familytree="http://www.example.org/familytree"> | ||
3 | <members/> | ||
4 | <members age="9" children="//@members.2" parents="//@members.2 //@members.3"/> | ||
5 | <members age="5" children="//@members.1 //@members.2 //@members.3" parents="//@members.1 //@members.2"/> | ||
6 | <members children="//@members.1" parents="//@members.2"/> | ||
7 | <members age="7"/> | ||
8 | </familytree:FamilyTree> | ||