3 classinstance 128020 class_ref 130325 // GameLoop
4 name "" mortal xyz 379 4 2000 life_line_z 2000
6 color lightmediumblue xyzwh 117 1 1970 699 1064
8 classinstance 128148 class_ref 128917 // MainWindow
9 name "" xyz 15 5 2000 life_line_z 2000
11 color lightmagenta xyzwh 286 416 2000 413 192
13 textcanvas 128490 "[valid == true]"
14 xyzwh 327 420 2005 77 14
16 color lightmagenta xyzwh 178 688 1975 393 212
18 textcanvas 128746 "[valid == true]"
19 xyzwh 218 693 2000 77 14
20 classinstance 129812 class_ref 129045 // Player
21 name "_currentPlayer" xyz 487 4 2000 life_line_z 2000
22 classinstance 130324 class_ref 129557 // GameMatrix
23 name "" mortal xyz 637 4 2000 life_line_z 2000
24 textcanvas 131220 "[(one or more elements of GameLoop::_winStatus is true or GameMatrix is full) && valid == true]"
25 xyzwh 244 124 2010 215 49
26 fragment 131604 "loop"
27 color lightblue xyzwh 223 174 1990 513 446
29 textcanvas 131732 "[(for each player or until GameMatrix is full) && valid == true]"
30 xyzwh 276 178 2000 126 54
31 fragment 131860 "loop"
32 color yellow xyzwh 192 121 1985 584 540
35 color yellow xyzwh 216 728 1995 320 154
38 textcanvas 132372 "[only one element in GameLoop::_winStatus is true]"
39 xyzwh 248 732 3005 296 22
40 textcanvas 132500 "[else]"
41 xyzwh 227 810 2000 39 16
42 durationcanvas 128106 classinstance_ref 130324 // GameMatrix
43 xyzwh 670 369 2010 11 26
45 durationcanvas 128164 classinstance_ref 128148 // MainWindow
46 xyzwh 51 940 2010 11 47
48 durationcanvas 128276 classinstance_ref 128148 // MainWindow
49 xyzwh 51 52 2010 11 37
51 durationcanvas 128280 classinstance_ref 130324 // GameMatrix
52 xyzwh 670 970 2010 11 27
54 durationcanvas 128404 classinstance_ref 128020 // GameLoop
55 xyzwh 410 52 2010 9 30
57 durationcanvas 129044 classinstance_ref 128020 // GameLoop
58 xyzwh 410 100 2010 9 786
60 durationcanvas 129556 classinstance_ref 128148 // MainWindow
61 xyzwh 51 236 2010 11 37
63 durationcanvas 129940 classinstance_ref 129812 // _currentPlayer:Player
64 xyzwh 547 248 2010 11 82
65 overlappingdurationcanvas 128291
66 xyzwh 553 263 2020 11 53
69 durationcanvas 130452 classinstance_ref 130324 // GameMatrix
70 xyzwh 670 476 2010 11 47
72 durationcanvas 130836 classinstance_ref 128148 // MainWindow
73 xyzwh 51 331 2010 11 37
75 durationcanvas 131348 classinstance_ref 128148 // MainWindow
76 xyzwh 51 773 2010 11 34
78 durationcanvas 132116 classinstance_ref 128148 // MainWindow
79 xyzwh 51 846 2010 11 30
81 durationcanvas 132756 classinstance_ref 130324 // GameMatrix
82 xyzwh 670 549 2010 11 43
84 durationcanvas 134676 classinstance_ref 128020 // GameLoop
85 xyzwh 409 940 2010 11 84
86 overlappingdurationcanvas 128163
87 xyzwh 415 953 2020 11 54
90 reflexivemsg 128024 synchronous
91 to durationcanvas_ref 128163
92 yz 953 3010 explicitmsg "delete"
93 show_full_operations_definition default drawing_language default
95 reflexivemsg 128035 synchronous
96 to durationcanvas_ref 128291
97 yz 263 3010 explicitmsg "doMove"
98 show_full_operations_definition default drawing_language default
100 msg 128234 synchronous
101 from durationcanvas_ref 129044
102 to durationcanvas_ref 128106
103 yz 369 2015 explicitmsg "valid := check(m.point())"
104 show_full_operations_definition default drawing_language default
106 msg 128292 asynchronous
107 from durationcanvas_ref 128164
108 to durationcanvas_ref 134676
109 yz 940 3010 explicitmsg "deleteLater"
110 show_full_operations_definition default drawing_language default
112 msg 128408 synchronous
113 from durationcanvas_ref 128163
114 to durationcanvas_ref 128280
115 yz 970 3015 explicitmsg "destroy"
116 show_full_operations_definition default drawing_language default
118 selfreflexivemsg 128419
119 to durationcanvas_ref 128291
120 yz 308 2035 explicitmsg "Point"
121 show_full_operations_definition default drawing_language default
123 msg 128532 synchronous
124 from durationcanvas_ref 128276
125 to durationcanvas_ref 128404
126 yz 52 3010 explicitmsg "start"
127 show_full_operations_definition default drawing_language default
129 reflexivemsg 129172 asynchronous
130 to durationcanvas_ref 129044
131 yz 104 3005 explicitmsg "run"
132 show_full_operations_definition default drawing_language default
134 msg 129684 asynchronous
135 from durationcanvas_ref 129044
136 to durationcanvas_ref 129556
137 yz 238 3010 explicitmsg "turn"
138 show_full_operations_definition default drawing_language default
140 msg 130068 synchronous
141 from durationcanvas_ref 129044
142 to durationcanvas_ref 129940
143 yz 249 3015 explicitmsg "m := move()"
144 show_full_operations_definition default drawing_language default
147 from durationcanvas_ref 129940
148 to durationcanvas_ref 129044
149 yz 319 3010 unspecifiedmsg
150 show_full_operations_definition default drawing_language default
151 msg 130580 synchronous
152 from durationcanvas_ref 129044
153 to durationcanvas_ref 130452
154 yz 476 3010 explicitmsg "add"
155 show_full_operations_definition default drawing_language default
158 from durationcanvas_ref 130452
159 to durationcanvas_ref 129044
160 yz 511 3010 explicitmsg "bool"
161 show_full_operations_definition default drawing_language default
163 msg 130964 asynchronous
164 from durationcanvas_ref 129044
165 to durationcanvas_ref 130836
166 yz 331 3010 explicitmsg "drawMove"
167 show_full_operations_definition default drawing_language default
169 msg 131476 asynchronous
170 from durationcanvas_ref 129044
171 to durationcanvas_ref 131348
172 yz 773 3010 explicitmsg "playerWin"
173 show_full_operations_definition default drawing_language default
175 msg 132244 asynchronous
176 from durationcanvas_ref 129044
177 to durationcanvas_ref 132116
178 yz 848 3010 explicitmsg "playersDraw"
179 show_full_operations_definition default drawing_language default
181 msg 132884 synchronous
182 from durationcanvas_ref 129044
183 to durationcanvas_ref 132756
184 yz 549 3010 explicitmsg "isFull"
185 show_full_operations_definition default drawing_language default
188 from durationcanvas_ref 132756
189 to durationcanvas_ref 129044
190 yz 581 3010 explicitmsg "bool"
191 show_full_operations_definition default drawing_language default