Mercurial > hg > Papers > 2011 > nobu-prosym
comparison presen/omni/STATEMENT_LIST_1.graffle @ 68:1399414ea3f6
modify explanation of Generic Tree
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 29 Dec 2011 16:01:24 +0900 |
parents | baace77d7d30 |
children |
comparison
equal
deleted
inserted
replaced
67:1bc732d13326 | 68:1399414ea3f6 |
---|---|
12 <key>AutoAdjust</key> | 12 <key>AutoAdjust</key> |
13 <true/> | 13 <true/> |
14 <key>BackgroundGraphic</key> | 14 <key>BackgroundGraphic</key> |
15 <dict> | 15 <dict> |
16 <key>Bounds</key> | 16 <key>Bounds</key> |
17 <string>{{0, 0}, {1118, 783}}</string> | 17 <string>{{0, 0}, {559, 783}}</string> |
18 <key>Class</key> | 18 <key>Class</key> |
19 <string>SolidGraphic</string> | 19 <string>SolidGraphic</string> |
20 <key>ID</key> | 20 <key>ID</key> |
21 <integer>2</integer> | 21 <integer>2</integer> |
22 <key>Style</key> | 22 <key>Style</key> |
49 <integer>8</integer> | 49 <integer>8</integer> |
50 <key>GraphicsList</key> | 50 <key>GraphicsList</key> |
51 <array> | 51 <array> |
52 <dict> | 52 <dict> |
53 <key>Bounds</key> | 53 <key>Bounds</key> |
54 <string>{{486, 187}, {120, 22}}</string> | 54 <string>{{253, 241}, {120, 22}}</string> |
55 <key>Class</key> | 55 <key>Class</key> |
56 <string>ShapedGraphic</string> | 56 <string>ShapedGraphic</string> |
57 <key>ID</key> | 57 <key>ID</key> |
58 <integer>73</integer> | 58 <integer>71</integer> |
59 <key>Magnets</key> | 59 <key>Magnets</key> |
60 <array> | 60 <array> |
61 <string>{1, 1}</string> | 61 <string>{1, 1}</string> |
62 <string>{1, -1}</string> | 62 <string>{1, -1}</string> |
63 <string>{-1, -1}</string> | 63 <string>{-1, -1}</string> |
101 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 101 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
102 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 102 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
103 {\colortbl;\red255\green255\blue255;} | 103 {\colortbl;\red255\green255\blue255;} |
104 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 104 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
105 | 105 |
106 \f0\fs24 \cf0 _cbc_internal_return\ | 106 \f0\fs24 \cf0 _cbc_internal_return}</string> |
107 (address)}</string> | 107 <key>VerticalPad</key> |
108 <key>VerticalPad</key> | 108 <integer>0</integer> |
109 <integer>0</integer> | 109 </dict> |
110 </dict> | 110 </dict> |
111 </dict> | 111 <dict> |
112 <dict> | 112 <key>Bounds</key> |
113 <key>Bounds</key> | 113 <string>{{188, 241}, {65, 22}}</string> |
114 <string>{{401.5, 239}, {81, 22}}</string> | 114 <key>Class</key> |
115 <key>Class</key> | 115 <string>ShapedGraphic</string> |
116 <string>ShapedGraphic</string> | 116 <key>ID</key> |
117 <key>ID</key> | 117 <integer>70</integer> |
118 <integer>72</integer> | |
119 <key>Magnets</key> | 118 <key>Magnets</key> |
120 <array> | 119 <array> |
121 <string>{1, 1}</string> | 120 <string>{1, 1}</string> |
122 <string>{1, -1}</string> | 121 <string>{1, -1}</string> |
123 <string>{-1, -1}</string> | 122 <string>{-1, -1}</string> |
161 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 160 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
162 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 161 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
163 {\colortbl;\red255\green255\blue255;} | 162 {\colortbl;\red255\green255\blue255;} |
164 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 163 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
165 | 164 |
166 \f0\fs24 \cf0 if(0) \{..\}}</string> | 165 \f0\fs24 \cf0 retval}</string> |
167 <key>VerticalPad</key> | 166 <key>VerticalPad</key> |
168 <integer>0</integer> | 167 <integer>0</integer> |
169 </dict> | 168 </dict> |
170 </dict> | 169 </dict> |
171 <dict> | 170 <dict> |
172 <key>Bounds</key> | 171 <key>Bounds</key> |
173 <string>{{253, 241}, {120, 22}}</string> | 172 <string>{{53, 241}, {81, 22}}</string> |
174 <key>Class</key> | 173 <key>Class</key> |
175 <string>ShapedGraphic</string> | 174 <string>ShapedGraphic</string> |
176 <key>ID</key> | 175 <key>ID</key> |
177 <integer>71</integer> | 176 <integer>4</integer> |
178 <key>Magnets</key> | 177 <key>Magnets</key> |
179 <array> | 178 <array> |
180 <string>{1, 1}</string> | 179 <string>{1, 1}</string> |
181 <string>{1, -1}</string> | 180 <string>{1, -1}</string> |
182 <string>{-1, -1}</string> | 181 <string>{-1, -1}</string> |
220 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 219 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
221 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 220 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
222 {\colortbl;\red255\green255\blue255;} | 221 {\colortbl;\red255\green255\blue255;} |
223 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 222 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
224 | 223 |
225 \f0\fs24 \cf0 _cbc_internal_return}</string> | |
226 <key>VerticalPad</key> | |
227 <integer>0</integer> | |
228 </dict> | |
229 </dict> | |
230 <dict> | |
231 <key>Bounds</key> | |
232 <string>{{188, 241}, {65, 22}}</string> | |
233 <key>Class</key> | |
234 <string>ShapedGraphic</string> | |
235 <key>ID</key> | |
236 <integer>70</integer> | |
237 <key>Magnets</key> | |
238 <array> | |
239 <string>{1, 1}</string> | |
240 <string>{1, -1}</string> | |
241 <string>{-1, -1}</string> | |
242 <string>{-1, 1}</string> | |
243 <string>{0, 1}</string> | |
244 <string>{0, -1}</string> | |
245 <string>{1, 0}</string> | |
246 <string>{-1, 0}</string> | |
247 <string>{-0.5, -0.233518}</string> | |
248 <string>{-0.49144199, 0.26006299}</string> | |
249 <string>{0.50711799, -0.224086}</string> | |
250 <string>{0.50711799, 0.26717901}</string> | |
251 <string>{-0.27430999, -0.47402799}</string> | |
252 <string>{0.27978, -0.47847801}</string> | |
253 <string>{0.29393801, 0.54304397}</string> | |
254 <string>{-0.28623199, 0.55380398}</string> | |
255 </array> | |
256 <key>Shape</key> | |
257 <string>Rectangle</string> | |
258 <key>Style</key> | |
259 <dict> | |
260 <key>fill</key> | |
261 <dict> | |
262 <key>Draws</key> | |
263 <string>NO</string> | |
264 </dict> | |
265 <key>shadow</key> | |
266 <dict> | |
267 <key>Draws</key> | |
268 <string>NO</string> | |
269 </dict> | |
270 <key>stroke</key> | |
271 <dict> | |
272 <key>Draws</key> | |
273 <string>NO</string> | |
274 </dict> | |
275 </dict> | |
276 <key>Text</key> | |
277 <dict> | |
278 <key>Text</key> | |
279 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
280 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
281 {\colortbl;\red255\green255\blue255;} | |
282 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
283 | |
284 \f0\fs24 \cf0 retval}</string> | |
285 <key>VerticalPad</key> | |
286 <integer>0</integer> | |
287 </dict> | |
288 </dict> | |
289 <dict> | |
290 <key>Bounds</key> | |
291 <string>{{53, 241}, {81, 22}}</string> | |
292 <key>Class</key> | |
293 <string>ShapedGraphic</string> | |
294 <key>ID</key> | |
295 <integer>4</integer> | |
296 <key>Magnets</key> | |
297 <array> | |
298 <string>{1, 1}</string> | |
299 <string>{1, -1}</string> | |
300 <string>{-1, -1}</string> | |
301 <string>{-1, 1}</string> | |
302 <string>{0, 1}</string> | |
303 <string>{0, -1}</string> | |
304 <string>{1, 0}</string> | |
305 <string>{-1, 0}</string> | |
306 <string>{-0.5, -0.233518}</string> | |
307 <string>{-0.49144199, 0.26006299}</string> | |
308 <string>{0.50711799, -0.224086}</string> | |
309 <string>{0.50711799, 0.26717901}</string> | |
310 <string>{-0.27430999, -0.47402799}</string> | |
311 <string>{0.27978, -0.47847801}</string> | |
312 <string>{0.29393801, 0.54304397}</string> | |
313 <string>{-0.28623199, 0.55380398}</string> | |
314 </array> | |
315 <key>Shape</key> | |
316 <string>Rectangle</string> | |
317 <key>Style</key> | |
318 <dict> | |
319 <key>fill</key> | |
320 <dict> | |
321 <key>Draws</key> | |
322 <string>NO</string> | |
323 </dict> | |
324 <key>shadow</key> | |
325 <dict> | |
326 <key>Draws</key> | |
327 <string>NO</string> | |
328 </dict> | |
329 <key>stroke</key> | |
330 <dict> | |
331 <key>Draws</key> | |
332 <string>NO</string> | |
333 </dict> | |
334 </dict> | |
335 <key>Text</key> | |
336 <dict> | |
337 <key>Text</key> | |
338 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
339 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
340 {\colortbl;\red255\green255\blue255;} | |
341 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
342 | |
343 \f0\fs24 \cf0 _cbc_exit0}</string> | 224 \f0\fs24 \cf0 _cbc_exit0}</string> |
344 <key>VerticalPad</key> | 225 <key>VerticalPad</key> |
345 <integer>0</integer> | 226 <integer>0</integer> |
346 </dict> | 227 </dict> |
347 </dict> | 228 </dict> |
348 <dict> | 229 <dict> |
349 <key>Class</key> | 230 <key>Class</key> |
350 <string>LineGraphic</string> | 231 <string>LineGraphic</string> |
351 <key>Head</key> | 232 <key>ID</key> |
352 <dict> | 233 <integer>59</integer> |
353 <key>ID</key> | |
354 <integer>68</integer> | |
355 </dict> | |
356 <key>ID</key> | |
357 <integer>69</integer> | |
358 <key>Points</key> | 234 <key>Points</key> |
359 <array> | 235 <array> |
360 <string>{428, 187}</string> | 236 <string>{312.5, 133}</string> |
361 <string>{428, 215}</string> | 237 <string>{312.5, 161}</string> |
362 </array> | 238 </array> |
363 <key>Style</key> | 239 <key>Style</key> |
364 <dict> | 240 <dict> |
365 <key>stroke</key> | 241 <key>stroke</key> |
366 <dict> | 242 <dict> |
372 <string>0</string> | 248 <string>0</string> |
373 <key>TailScale</key> | 249 <key>TailScale</key> |
374 <real>0.5</real> | 250 <real>0.5</real> |
375 </dict> | 251 </dict> |
376 </dict> | 252 </dict> |
377 <key>Tail</key> | 253 </dict> |
254 <dict> | |
255 <key>Class</key> | |
256 <string>LineGraphic</string> | |
257 <key>Head</key> | |
378 <dict> | 258 <dict> |
379 <key>ID</key> | 259 <key>ID</key> |
380 <integer>62</integer> | 260 <integer>52</integer> |
381 </dict> | 261 </dict> |
382 </dict> | 262 <key>ID</key> |
383 <dict> | 263 <integer>58</integer> |
384 <key>Bounds</key> | |
385 <string>{{378, 215}, {100, 26}}</string> | |
386 <key>Class</key> | |
387 <string>ShapedGraphic</string> | |
388 <key>ID</key> | |
389 <integer>68</integer> | |
390 <key>Magnets</key> | |
391 <array> | |
392 <string>{1, 1}</string> | |
393 <string>{1, -1}</string> | |
394 <string>{-1, -1}</string> | |
395 <string>{-1, 1}</string> | |
396 <string>{0, 1}</string> | |
397 <string>{0, -1}</string> | |
398 <string>{1, 0}</string> | |
399 <string>{-1, 0}</string> | |
400 <string>{-0.5, -0.233518}</string> | |
401 <string>{-0.49144199, 0.26006299}</string> | |
402 <string>{0.50711799, -0.224086}</string> | |
403 <string>{0.50711799, 0.26717901}</string> | |
404 <string>{-0.27430999, -0.47402799}</string> | |
405 <string>{0.27978, -0.47847801}</string> | |
406 <string>{0.29393801, 0.54304397}</string> | |
407 <string>{-0.28623199, 0.55380398}</string> | |
408 </array> | |
409 <key>Shape</key> | |
410 <string>Rectangle</string> | |
411 <key>Style</key> | |
412 <dict> | |
413 <key>shadow</key> | |
414 <dict> | |
415 <key>Draws</key> | |
416 <string>NO</string> | |
417 </dict> | |
418 </dict> | |
419 <key>Text</key> | |
420 <dict> | |
421 <key>Text</key> | |
422 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
423 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
424 {\colortbl;\red255\green255\blue255;} | |
425 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
426 | |
427 \f0\fs24 \cf0 COND_EXPR}</string> | |
428 <key>VerticalPad</key> | |
429 <integer>0</integer> | |
430 </dict> | |
431 </dict> | |
432 <dict> | |
433 <key>Class</key> | |
434 <string>LineGraphic</string> | |
435 <key>ID</key> | |
436 <integer>67</integer> | |
437 <key>Points</key> | 264 <key>Points</key> |
438 <array> | 265 <array> |
439 <string>{548.5, 129}</string> | 266 <string>{218.5, 112.5}</string> |
440 <string>{548.5, 157}</string> | 267 <string>{283.5, 112.5}</string> |
441 </array> | 268 </array> |
442 <key>Style</key> | 269 <key>Style</key> |
443 <dict> | 270 <dict> |
444 <key>stroke</key> | 271 <key>stroke</key> |
445 <dict> | 272 <dict> |
454 </dict> | 281 </dict> |
455 </dict> | 282 </dict> |
456 </dict> | 283 </dict> |
457 <dict> | 284 <dict> |
458 <key>Bounds</key> | 285 <key>Bounds</key> |
459 <string>{{496, 157}, {100, 26}}</string> | 286 <string>{{253, 215}, {114, 26}}</string> |
460 <key>Class</key> | 287 <key>Class</key> |
461 <string>ShapedGraphic</string> | 288 <string>ShapedGraphic</string> |
462 <key>ID</key> | 289 <key>ID</key> |
463 <integer>66</integer> | 290 <integer>57</integer> |
464 <key>Magnets</key> | 291 <key>Magnets</key> |
465 <array> | 292 <array> |
466 <string>{1, 1}</string> | 293 <string>{1, 1}</string> |
467 <string>{1, -1}</string> | 294 <string>{1, -1}</string> |
468 <string>{-1, -1}</string> | 295 <string>{-1, -1}</string> |
496 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 323 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
497 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 324 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
498 {\colortbl;\red255\green255\blue255;} | 325 {\colortbl;\red255\green255\blue255;} |
499 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 326 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
500 | 327 |
501 \f0\fs24 \cf0 ADDR_EXPR}</string> | 328 \f0\fs24 \cf0 FUNCTION_DECL}</string> |
502 <key>VerticalPad</key> | |
503 <integer>0</integer> | |
504 </dict> | |
505 </dict> | |
506 <dict> | |
507 <key>Bounds</key> | |
508 <string>{{519.5, 88}, {53, 41}}</string> | |
509 <key>Class</key> | |
510 <string>ShapedGraphic</string> | |
511 <key>ID</key> | |
512 <integer>65</integer> | |
513 <key>Magnets</key> | |
514 <array> | |
515 <string>{1, 1}</string> | |
516 <string>{1, -1}</string> | |
517 <string>{-1, -1}</string> | |
518 <string>{-1, 1}</string> | |
519 <string>{0, 1}</string> | |
520 <string>{0, -1}</string> | |
521 <string>{1, 0}</string> | |
522 <string>{-1, 0}</string> | |
523 <string>{-0.5, -0.233518}</string> | |
524 <string>{-0.49144199, 0.26006299}</string> | |
525 <string>{0.50711799, -0.224086}</string> | |
526 <string>{0.50711799, 0.26717901}</string> | |
527 <string>{-0.27430999, -0.47402799}</string> | |
528 <string>{0.27978, -0.47847801}</string> | |
529 <string>{0.29393801, 0.54304397}</string> | |
530 <string>{-0.28623199, 0.55380398}</string> | |
531 </array> | |
532 <key>Shape</key> | |
533 <string>Rectangle</string> | |
534 <key>Style</key> | |
535 <dict> | |
536 <key>shadow</key> | |
537 <dict> | |
538 <key>Draws</key> | |
539 <string>NO</string> | |
540 </dict> | |
541 </dict> | |
542 <key>Text</key> | |
543 <dict> | |
544 <key>Text</key> | |
545 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
546 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
547 {\colortbl;\red255\green255\blue255;} | |
548 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc | |
549 | |
550 \f0\fs24 \cf0 next\ | |
551 prev\ | |
552 stmt}</string> | |
553 <key>VerticalPad</key> | 329 <key>VerticalPad</key> |
554 <integer>0</integer> | 330 <integer>0</integer> |
555 </dict> | 331 </dict> |
556 </dict> | 332 </dict> |
557 <dict> | 333 <dict> |
558 <key>Class</key> | 334 <key>Class</key> |
559 <string>LineGraphic</string> | 335 <string>LineGraphic</string> |
560 <key>ID</key> | 336 <key>ID</key> |
561 <integer>64</integer> | 337 <integer>56</integer> |
562 <key>Points</key> | 338 <key>Points</key> |
563 <array> | 339 <array> |
564 <string>{454.5, 112}</string> | 340 <string>{312.5, 187}</string> |
565 <string>{519.5, 112}</string> | 341 <string>{312.5, 215}</string> |
566 </array> | 342 </array> |
567 <key>Style</key> | 343 <key>Style</key> |
568 <dict> | 344 <dict> |
569 <key>stroke</key> | 345 <key>stroke</key> |
570 <dict> | 346 <dict> |
578 <real>0.5</real> | 354 <real>0.5</real> |
579 </dict> | 355 </dict> |
580 </dict> | 356 </dict> |
581 </dict> | 357 </dict> |
582 <dict> | 358 <dict> |
359 <key>Bounds</key> | |
360 <string>{{260, 161}, {100, 26}}</string> | |
361 <key>Class</key> | |
362 <string>ShapedGraphic</string> | |
363 <key>ID</key> | |
364 <integer>53</integer> | |
365 <key>Magnets</key> | |
366 <array> | |
367 <string>{1, 1}</string> | |
368 <string>{1, -1}</string> | |
369 <string>{-1, -1}</string> | |
370 <string>{-1, 1}</string> | |
371 <string>{0, 1}</string> | |
372 <string>{0, -1}</string> | |
373 <string>{1, 0}</string> | |
374 <string>{-1, 0}</string> | |
375 <string>{-0.5, -0.233518}</string> | |
376 <string>{-0.49144199, 0.26006299}</string> | |
377 <string>{0.50711799, -0.224086}</string> | |
378 <string>{0.50711799, 0.26717901}</string> | |
379 <string>{-0.27430999, -0.47402799}</string> | |
380 <string>{0.27978, -0.47847801}</string> | |
381 <string>{0.29393801, 0.54304397}</string> | |
382 <string>{-0.28623199, 0.55380398}</string> | |
383 </array> | |
384 <key>Shape</key> | |
385 <string>Rectangle</string> | |
386 <key>Style</key> | |
387 <dict> | |
388 <key>shadow</key> | |
389 <dict> | |
390 <key>Draws</key> | |
391 <string>NO</string> | |
392 </dict> | |
393 </dict> | |
394 <key>Text</key> | |
395 <dict> | |
396 <key>Text</key> | |
397 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
398 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
399 {\colortbl;\red255\green255\blue255;} | |
400 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
401 | |
402 \f0\fs24 \cf0 RETURN_EXPR}</string> | |
403 <key>VerticalPad</key> | |
404 <integer>0</integer> | |
405 </dict> | |
406 </dict> | |
407 <dict> | |
408 <key>Bounds</key> | |
409 <string>{{283.5, 92}, {53, 41}}</string> | |
410 <key>Class</key> | |
411 <string>ShapedGraphic</string> | |
412 <key>ID</key> | |
413 <integer>52</integer> | |
414 <key>Magnets</key> | |
415 <array> | |
416 <string>{1, 1}</string> | |
417 <string>{1, -1}</string> | |
418 <string>{-1, -1}</string> | |
419 <string>{-1, 1}</string> | |
420 <string>{0, 1}</string> | |
421 <string>{0, -1}</string> | |
422 <string>{1, 0}</string> | |
423 <string>{-1, 0}</string> | |
424 <string>{-0.5, -0.233518}</string> | |
425 <string>{-0.49144199, 0.26006299}</string> | |
426 <string>{0.50711799, -0.224086}</string> | |
427 <string>{0.50711799, 0.26717901}</string> | |
428 <string>{-0.27430999, -0.47402799}</string> | |
429 <string>{0.27978, -0.47847801}</string> | |
430 <string>{0.29393801, 0.54304397}</string> | |
431 <string>{-0.28623199, 0.55380398}</string> | |
432 </array> | |
433 <key>Shape</key> | |
434 <string>Rectangle</string> | |
435 <key>Style</key> | |
436 <dict> | |
437 <key>shadow</key> | |
438 <dict> | |
439 <key>Draws</key> | |
440 <string>NO</string> | |
441 </dict> | |
442 </dict> | |
443 <key>Text</key> | |
444 <dict> | |
445 <key>Text</key> | |
446 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
447 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
448 {\colortbl;\red255\green255\blue255;} | |
449 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc | |
450 | |
451 \f0\fs24 \cf0 next\ | |
452 prev\ | |
453 stmt}</string> | |
454 <key>VerticalPad</key> | |
455 <integer>0</integer> | |
456 </dict> | |
457 </dict> | |
458 <dict> | |
583 <key>Class</key> | 459 <key>Class</key> |
584 <string>LineGraphic</string> | 460 <string>LineGraphic</string> |
585 <key>Head</key> | 461 <key>ID</key> |
586 <dict> | 462 <integer>51</integer> |
587 <key>ID</key> | |
588 <integer>62</integer> | |
589 </dict> | |
590 <key>ID</key> | |
591 <integer>63</integer> | |
592 <key>Points</key> | 463 <key>Points</key> |
593 <array> | 464 <array> |
594 <string>{428, 129}</string> | 465 <string>{194.5, 133}</string> |
595 <string>{428, 161}</string> | 466 <string>{194.5, 161}</string> |
596 </array> | 467 </array> |
597 <key>Style</key> | 468 <key>Style</key> |
598 <dict> | 469 <dict> |
599 <key>stroke</key> | 470 <key>stroke</key> |
600 <dict> | 471 <dict> |
606 <string>0</string> | 477 <string>0</string> |
607 <key>TailScale</key> | 478 <key>TailScale</key> |
608 <real>0.5</real> | 479 <real>0.5</real> |
609 </dict> | 480 </dict> |
610 </dict> | 481 </dict> |
611 <key>Tail</key> | 482 </dict> |
483 <dict> | |
484 <key>Class</key> | |
485 <string>LineGraphic</string> | |
486 <key>Head</key> | |
612 <dict> | 487 <dict> |
613 <key>ID</key> | 488 <key>ID</key> |
614 <integer>61</integer> | 489 <integer>36</integer> |
615 </dict> | 490 </dict> |
616 </dict> | 491 <key>ID</key> |
617 <dict> | 492 <integer>50</integer> |
618 <key>Bounds</key> | |
619 <string>{{378, 161}, {100, 26}}</string> | |
620 <key>Class</key> | |
621 <string>ShapedGraphic</string> | |
622 <key>ID</key> | |
623 <integer>62</integer> | |
624 <key>Magnets</key> | |
625 <array> | |
626 <string>{1, 1}</string> | |
627 <string>{1, -1}</string> | |
628 <string>{-1, -1}</string> | |
629 <string>{-1, 1}</string> | |
630 <string>{0, 1}</string> | |
631 <string>{0, -1}</string> | |
632 <string>{1, 0}</string> | |
633 <string>{-1, 0}</string> | |
634 <string>{-0.5, -0.233518}</string> | |
635 <string>{-0.49144199, 0.26006299}</string> | |
636 <string>{0.50711799, -0.224086}</string> | |
637 <string>{0.50711799, 0.26717901}</string> | |
638 <string>{-0.27430999, -0.47402799}</string> | |
639 <string>{0.27978, -0.47847801}</string> | |
640 <string>{0.29393801, 0.54304397}</string> | |
641 <string>{-0.28623199, 0.55380398}</string> | |
642 </array> | |
643 <key>Shape</key> | |
644 <string>Rectangle</string> | |
645 <key>Style</key> | |
646 <dict> | |
647 <key>shadow</key> | |
648 <dict> | |
649 <key>Draws</key> | |
650 <string>NO</string> | |
651 </dict> | |
652 </dict> | |
653 <key>Text</key> | |
654 <dict> | |
655 <key>Text</key> | |
656 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
657 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
658 {\colortbl;\red255\green255\blue255;} | |
659 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
660 | |
661 \f0\fs24 \cf0 BIND_EXPR}</string> | |
662 <key>VerticalPad</key> | |
663 <integer>0</integer> | |
664 </dict> | |
665 </dict> | |
666 <dict> | |
667 <key>Bounds</key> | |
668 <string>{{401.5, 88}, {53, 41}}</string> | |
669 <key>Class</key> | |
670 <string>ShapedGraphic</string> | |
671 <key>ID</key> | |
672 <integer>61</integer> | |
673 <key>Magnets</key> | |
674 <array> | |
675 <string>{1, 1}</string> | |
676 <string>{1, -1}</string> | |
677 <string>{-1, -1}</string> | |
678 <string>{-1, 1}</string> | |
679 <string>{0, 1}</string> | |
680 <string>{0, -1}</string> | |
681 <string>{1, 0}</string> | |
682 <string>{-1, 0}</string> | |
683 <string>{-0.5, -0.233518}</string> | |
684 <string>{-0.49144199, 0.26006299}</string> | |
685 <string>{0.50711799, -0.224086}</string> | |
686 <string>{0.50711799, 0.26717901}</string> | |
687 <string>{-0.27430999, -0.47402799}</string> | |
688 <string>{0.27978, -0.47847801}</string> | |
689 <string>{0.29393801, 0.54304397}</string> | |
690 <string>{-0.28623199, 0.55380398}</string> | |
691 </array> | |
692 <key>Shape</key> | |
693 <string>Rectangle</string> | |
694 <key>Style</key> | |
695 <dict> | |
696 <key>shadow</key> | |
697 <dict> | |
698 <key>Draws</key> | |
699 <string>NO</string> | |
700 </dict> | |
701 </dict> | |
702 <key>Text</key> | |
703 <dict> | |
704 <key>Text</key> | |
705 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
706 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
707 {\colortbl;\red255\green255\blue255;} | |
708 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc | |
709 | |
710 \f0\fs24 \cf0 next\ | |
711 prev\ | |
712 stmt}</string> | |
713 <key>VerticalPad</key> | |
714 <integer>0</integer> | |
715 </dict> | |
716 </dict> | |
717 <dict> | |
718 <key>Class</key> | |
719 <string>LineGraphic</string> | |
720 <key>ID</key> | |
721 <integer>60</integer> | |
722 <key>Points</key> | 493 <key>Points</key> |
723 <array> | 494 <array> |
724 <string>{336.5, 112}</string> | 495 <string>{100.5, 112.5}</string> |
725 <string>{401.5, 112}</string> | 496 <string>{165.5, 112.5}</string> |
726 </array> | 497 </array> |
727 <key>Style</key> | 498 <key>Style</key> |
728 <dict> | 499 <dict> |
729 <key>stroke</key> | 500 <key>stroke</key> |
730 <dict> | 501 <dict> |
736 <string>0</string> | 507 <string>0</string> |
737 <key>TailScale</key> | 508 <key>TailScale</key> |
738 <real>0.5</real> | 509 <real>0.5</real> |
739 </dict> | 510 </dict> |
740 </dict> | 511 </dict> |
512 <key>Tail</key> | |
513 <dict> | |
514 <key>ID</key> | |
515 <integer>34</integer> | |
516 <key>Info</key> | |
517 <integer>7</integer> | |
518 </dict> | |
519 </dict> | |
520 <dict> | |
521 <key>Bounds</key> | |
522 <string>{{145, 215}, {100, 26}}</string> | |
523 <key>Class</key> | |
524 <string>ShapedGraphic</string> | |
525 <key>ID</key> | |
526 <integer>47</integer> | |
527 <key>Magnets</key> | |
528 <array> | |
529 <string>{1, 1}</string> | |
530 <string>{1, -1}</string> | |
531 <string>{-1, -1}</string> | |
532 <string>{-1, 1}</string> | |
533 <string>{0, 1}</string> | |
534 <string>{0, -1}</string> | |
535 <string>{1, 0}</string> | |
536 <string>{-1, 0}</string> | |
537 <string>{-0.5, -0.233518}</string> | |
538 <string>{-0.49144199, 0.26006299}</string> | |
539 <string>{0.50711799, -0.224086}</string> | |
540 <string>{0.50711799, 0.26717901}</string> | |
541 <string>{-0.27430999, -0.47402799}</string> | |
542 <string>{0.27978, -0.47847801}</string> | |
543 <string>{0.29393801, 0.54304397}</string> | |
544 <string>{-0.28623199, 0.55380398}</string> | |
545 </array> | |
546 <key>Shape</key> | |
547 <string>Rectangle</string> | |
548 <key>Style</key> | |
549 <dict> | |
550 <key>shadow</key> | |
551 <dict> | |
552 <key>Draws</key> | |
553 <string>NO</string> | |
554 </dict> | |
555 </dict> | |
556 <key>Text</key> | |
557 <dict> | |
558 <key>Text</key> | |
559 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
560 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
561 {\colortbl;\red255\green255\blue255;} | |
562 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
563 | |
564 \f0\fs24 \cf0 VAR_DECL}</string> | |
565 <key>VerticalPad</key> | |
566 <integer>0</integer> | |
567 </dict> | |
741 </dict> | 568 </dict> |
742 <dict> | 569 <dict> |
743 <key>Class</key> | 570 <key>Class</key> |
744 <string>LineGraphic</string> | 571 <string>LineGraphic</string> |
745 <key>ID</key> | 572 <key>ID</key> |
746 <integer>59</integer> | 573 <integer>46</integer> |
747 <key>Points</key> | 574 <key>Points</key> |
748 <array> | 575 <array> |
749 <string>{312.5, 133}</string> | 576 <string>{194.5, 187}</string> |
750 <string>{312.5, 161}</string> | 577 <string>{194.5, 215}</string> |
751 </array> | 578 </array> |
752 <key>Style</key> | 579 <key>Style</key> |
753 <dict> | 580 <dict> |
754 <key>stroke</key> | 581 <key>stroke</key> |
755 <dict> | 582 <dict> |
763 <real>0.5</real> | 590 <real>0.5</real> |
764 </dict> | 591 </dict> |
765 </dict> | 592 </dict> |
766 </dict> | 593 </dict> |
767 <dict> | 594 <dict> |
595 <key>Bounds</key> | |
596 <string>{{24, 215}, {100, 26}}</string> | |
597 <key>Class</key> | |
598 <string>ShapedGraphic</string> | |
599 <key>ID</key> | |
600 <integer>41</integer> | |
601 <key>Magnets</key> | |
602 <array> | |
603 <string>{1, 1}</string> | |
604 <string>{1, -1}</string> | |
605 <string>{-1, -1}</string> | |
606 <string>{-1, 1}</string> | |
607 <string>{0, 1}</string> | |
608 <string>{0, -1}</string> | |
609 <string>{1, 0}</string> | |
610 <string>{-1, 0}</string> | |
611 <string>{-0.5, -0.233518}</string> | |
612 <string>{-0.49144199, 0.26006299}</string> | |
613 <string>{0.50711799, -0.224086}</string> | |
614 <string>{0.50711799, 0.26717901}</string> | |
615 <string>{-0.27430999, -0.47402799}</string> | |
616 <string>{0.27978, -0.47847801}</string> | |
617 <string>{0.29393801, 0.54304397}</string> | |
618 <string>{-0.28623199, 0.55380398}</string> | |
619 </array> | |
620 <key>Shape</key> | |
621 <string>Rectangle</string> | |
622 <key>Style</key> | |
623 <dict> | |
624 <key>shadow</key> | |
625 <dict> | |
626 <key>Draws</key> | |
627 <string>NO</string> | |
628 </dict> | |
629 </dict> | |
630 <key>Text</key> | |
631 <dict> | |
632 <key>Text</key> | |
633 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
634 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
635 {\colortbl;\red255\green255\blue255;} | |
636 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
637 | |
638 \f0\fs24 \cf0 LABEL_DECL}</string> | |
639 <key>VerticalPad</key> | |
640 <integer>0</integer> | |
641 </dict> | |
642 </dict> | |
643 <dict> | |
768 <key>Class</key> | 644 <key>Class</key> |
769 <string>LineGraphic</string> | 645 <string>LineGraphic</string> |
770 <key>Head</key> | 646 <key>ID</key> |
771 <dict> | 647 <integer>40</integer> |
772 <key>ID</key> | |
773 <integer>52</integer> | |
774 </dict> | |
775 <key>ID</key> | |
776 <integer>58</integer> | |
777 <key>Points</key> | 648 <key>Points</key> |
778 <array> | 649 <array> |
779 <string>{218.5, 112.5}</string> | 650 <string>{73.5, 187}</string> |
780 <string>{283.5, 112.5}</string> | 651 <string>{73.5, 215}</string> |
781 </array> | 652 </array> |
782 <key>Style</key> | 653 <key>Style</key> |
783 <dict> | 654 <dict> |
784 <key>stroke</key> | 655 <key>stroke</key> |
785 <dict> | 656 <dict> |
794 </dict> | 665 </dict> |
795 </dict> | 666 </dict> |
796 </dict> | 667 </dict> |
797 <dict> | 668 <dict> |
798 <key>Bounds</key> | 669 <key>Bounds</key> |
799 <string>{{253, 215}, {114, 26}}</string> | 670 <string>{{142, 161}, {100, 26}}</string> |
800 <key>Class</key> | 671 <key>Class</key> |
801 <string>ShapedGraphic</string> | 672 <string>ShapedGraphic</string> |
802 <key>ID</key> | 673 <key>ID</key> |
803 <integer>57</integer> | 674 <integer>39</integer> |
804 <key>Magnets</key> | 675 <key>Magnets</key> |
805 <array> | 676 <array> |
806 <string>{1, 1}</string> | 677 <string>{1, 1}</string> |
807 <string>{1, -1}</string> | 678 <string>{1, -1}</string> |
808 <string>{-1, -1}</string> | 679 <string>{-1, -1}</string> |
836 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | 707 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 |
837 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | 708 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} |
838 {\colortbl;\red255\green255\blue255;} | 709 {\colortbl;\red255\green255\blue255;} |
839 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | 710 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc |
840 | 711 |
841 \f0\fs24 \cf0 FUNCTION_DECL}</string> | 712 \f0\fs24 \cf0 MODIFY_EXPR}</string> |
713 <key>VerticalPad</key> | |
714 <integer>0</integer> | |
715 </dict> | |
716 </dict> | |
717 <dict> | |
718 <key>Bounds</key> | |
719 <string>{{24, 161}, {100, 26}}</string> | |
720 <key>Class</key> | |
721 <string>ShapedGraphic</string> | |
722 <key>ID</key> | |
723 <integer>38</integer> | |
724 <key>Magnets</key> | |
725 <array> | |
726 <string>{1, 1}</string> | |
727 <string>{1, -1}</string> | |
728 <string>{-1, -1}</string> | |
729 <string>{-1, 1}</string> | |
730 <string>{0, 1}</string> | |
731 <string>{0, -1}</string> | |
732 <string>{1, 0}</string> | |
733 <string>{-1, 0}</string> | |
734 <string>{-0.5, -0.233518}</string> | |
735 <string>{-0.49144199, 0.26006299}</string> | |
736 <string>{0.50711799, -0.224086}</string> | |
737 <string>{0.50711799, 0.26717901}</string> | |
738 <string>{-0.27430999, -0.47402799}</string> | |
739 <string>{0.27978, -0.47847801}</string> | |
740 <string>{0.29393801, 0.54304397}</string> | |
741 <string>{-0.28623199, 0.55380398}</string> | |
742 </array> | |
743 <key>Shape</key> | |
744 <string>Rectangle</string> | |
745 <key>Style</key> | |
746 <dict> | |
747 <key>shadow</key> | |
748 <dict> | |
749 <key>Draws</key> | |
750 <string>NO</string> | |
751 </dict> | |
752 </dict> | |
753 <key>Text</key> | |
754 <dict> | |
755 <key>Text</key> | |
756 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
757 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
758 {\colortbl;\red255\green255\blue255;} | |
759 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
760 | |
761 \f0\fs24 \cf0 MODIFY_EXPR}</string> | |
842 <key>VerticalPad</key> | 762 <key>VerticalPad</key> |
843 <integer>0</integer> | 763 <integer>0</integer> |
844 </dict> | 764 </dict> |
845 </dict> | 765 </dict> |
846 <dict> | 766 <dict> |
847 <key>Class</key> | 767 <key>Class</key> |
848 <string>LineGraphic</string> | 768 <string>LineGraphic</string> |
849 <key>ID</key> | 769 <key>ID</key> |
850 <integer>56</integer> | 770 <integer>37</integer> |
851 <key>Points</key> | 771 <key>Points</key> |
852 <array> | 772 <array> |
853 <string>{312.5, 187}</string> | 773 <string>{73.5, 133}</string> |
854 <string>{312.5, 215}</string> | 774 <string>{73.5, 161}</string> |
855 </array> | 775 </array> |
856 <key>Style</key> | 776 <key>Style</key> |
857 <dict> | 777 <dict> |
858 <key>stroke</key> | 778 <key>stroke</key> |
859 <dict> | 779 <dict> |
868 </dict> | 788 </dict> |
869 </dict> | 789 </dict> |
870 </dict> | 790 </dict> |
871 <dict> | 791 <dict> |
872 <key>Bounds</key> | 792 <key>Bounds</key> |
873 <string>{{260, 161}, {100, 26}}</string> | 793 <string>{{165.5, 92}, {53, 41}}</string> |
874 <key>Class</key> | 794 <key>Class</key> |
875 <string>ShapedGraphic</string> | 795 <string>ShapedGraphic</string> |
876 <key>ID</key> | 796 <key>ID</key> |
877 <integer>53</integer> | 797 <integer>36</integer> |
878 <key>Magnets</key> | |
879 <array> | |
880 <string>{1, 1}</string> | |
881 <string>{1, -1}</string> | |
882 <string>{-1, -1}</string> | |
883 <string>{-1, 1}</string> | |
884 <string>{0, 1}</string> | |
885 <string>{0, -1}</string> | |
886 <string>{1, 0}</string> | |
887 <string>{-1, 0}</string> | |
888 <string>{-0.5, -0.233518}</string> | |
889 <string>{-0.49144199, 0.26006299}</string> | |
890 <string>{0.50711799, -0.224086}</string> | |
891 <string>{0.50711799, 0.26717901}</string> | |
892 <string>{-0.27430999, -0.47402799}</string> | |
893 <string>{0.27978, -0.47847801}</string> | |
894 <string>{0.29393801, 0.54304397}</string> | |
895 <string>{-0.28623199, 0.55380398}</string> | |
896 </array> | |
897 <key>Shape</key> | |
898 <string>Rectangle</string> | |
899 <key>Style</key> | |
900 <dict> | |
901 <key>shadow</key> | |
902 <dict> | |
903 <key>Draws</key> | |
904 <string>NO</string> | |
905 </dict> | |
906 </dict> | |
907 <key>Text</key> | |
908 <dict> | |
909 <key>Text</key> | |
910 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
911 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
912 {\colortbl;\red255\green255\blue255;} | |
913 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
914 | |
915 \f0\fs24 \cf0 DECL_EXPR}</string> | |
916 <key>VerticalPad</key> | |
917 <integer>0</integer> | |
918 </dict> | |
919 </dict> | |
920 <dict> | |
921 <key>Bounds</key> | |
922 <string>{{283.5, 92}, {53, 41}}</string> | |
923 <key>Class</key> | |
924 <string>ShapedGraphic</string> | |
925 <key>ID</key> | |
926 <integer>52</integer> | |
927 <key>Magnets</key> | 798 <key>Magnets</key> |
928 <array> | 799 <array> |
929 <string>{1, 1}</string> | 800 <string>{1, 1}</string> |
930 <string>{1, -1}</string> | 801 <string>{1, -1}</string> |
931 <string>{-1, -1}</string> | 802 <string>{-1, -1}</string> |
969 </dict> | 840 </dict> |
970 </dict> | 841 </dict> |
971 <dict> | 842 <dict> |
972 <key>Class</key> | 843 <key>Class</key> |
973 <string>LineGraphic</string> | 844 <string>LineGraphic</string> |
974 <key>ID</key> | 845 <key>Head</key> |
975 <integer>51</integer> | 846 <dict> |
847 <key>ID</key> | |
848 <integer>34</integer> | |
849 </dict> | |
850 <key>ID</key> | |
851 <integer>35</integer> | |
976 <key>Points</key> | 852 <key>Points</key> |
977 <array> | 853 <array> |
978 <string>{194.5, 133}</string> | 854 <string>{74, 64}</string> |
979 <string>{194.5, 161}</string> | 855 <string>{74, 92}</string> |
980 </array> | 856 </array> |
981 <key>Style</key> | 857 <key>Style</key> |
982 <dict> | 858 <dict> |
983 <key>stroke</key> | 859 <key>stroke</key> |
984 <dict> | 860 <dict> |
990 <string>0</string> | 866 <string>0</string> |
991 <key>TailScale</key> | 867 <key>TailScale</key> |
992 <real>0.5</real> | 868 <real>0.5</real> |
993 </dict> | 869 </dict> |
994 </dict> | 870 </dict> |
995 </dict> | |
996 <dict> | |
997 <key>Class</key> | |
998 <string>LineGraphic</string> | |
999 <key>Head</key> | |
1000 <dict> | |
1001 <key>ID</key> | |
1002 <integer>36</integer> | |
1003 </dict> | |
1004 <key>ID</key> | |
1005 <integer>50</integer> | |
1006 <key>Points</key> | |
1007 <array> | |
1008 <string>{100.5, 112.5}</string> | |
1009 <string>{165.5, 112.5}</string> | |
1010 </array> | |
1011 <key>Style</key> | |
1012 <dict> | |
1013 <key>stroke</key> | |
1014 <dict> | |
1015 <key>HeadArrow</key> | |
1016 <string>FilledArrow</string> | |
1017 <key>HeadScale</key> | |
1018 <real>1.4285709857940674</real> | |
1019 <key>TailArrow</key> | |
1020 <string>0</string> | |
1021 <key>TailScale</key> | |
1022 <real>0.5</real> | |
1023 </dict> | |
1024 </dict> | |
1025 <key>Tail</key> | |
1026 <dict> | |
1027 <key>ID</key> | |
1028 <integer>34</integer> | |
1029 <key>Info</key> | |
1030 <integer>7</integer> | |
1031 </dict> | |
1032 </dict> | |
1033 <dict> | |
1034 <key>Bounds</key> | |
1035 <string>{{145, 215}, {100, 26}}</string> | |
1036 <key>Class</key> | |
1037 <string>ShapedGraphic</string> | |
1038 <key>ID</key> | |
1039 <integer>47</integer> | |
1040 <key>Magnets</key> | |
1041 <array> | |
1042 <string>{1, 1}</string> | |
1043 <string>{1, -1}</string> | |
1044 <string>{-1, -1}</string> | |
1045 <string>{-1, 1}</string> | |
1046 <string>{0, 1}</string> | |
1047 <string>{0, -1}</string> | |
1048 <string>{1, 0}</string> | |
1049 <string>{-1, 0}</string> | |
1050 <string>{-0.5, -0.233518}</string> | |
1051 <string>{-0.49144199, 0.26006299}</string> | |
1052 <string>{0.50711799, -0.224086}</string> | |
1053 <string>{0.50711799, 0.26717901}</string> | |
1054 <string>{-0.27430999, -0.47402799}</string> | |
1055 <string>{0.27978, -0.47847801}</string> | |
1056 <string>{0.29393801, 0.54304397}</string> | |
1057 <string>{-0.28623199, 0.55380398}</string> | |
1058 </array> | |
1059 <key>Shape</key> | |
1060 <string>Rectangle</string> | |
1061 <key>Style</key> | |
1062 <dict> | |
1063 <key>shadow</key> | |
1064 <dict> | |
1065 <key>Draws</key> | |
1066 <string>NO</string> | |
1067 </dict> | |
1068 </dict> | |
1069 <key>Text</key> | |
1070 <dict> | |
1071 <key>Text</key> | |
1072 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
1073 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
1074 {\colortbl;\red255\green255\blue255;} | |
1075 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
1076 | |
1077 \f0\fs24 \cf0 VAR_DECL}</string> | |
1078 <key>VerticalPad</key> | |
1079 <integer>0</integer> | |
1080 </dict> | |
1081 </dict> | |
1082 <dict> | |
1083 <key>Class</key> | |
1084 <string>LineGraphic</string> | |
1085 <key>ID</key> | |
1086 <integer>46</integer> | |
1087 <key>Points</key> | |
1088 <array> | |
1089 <string>{194.5, 187}</string> | |
1090 <string>{194.5, 215}</string> | |
1091 </array> | |
1092 <key>Style</key> | |
1093 <dict> | |
1094 <key>stroke</key> | |
1095 <dict> | |
1096 <key>HeadArrow</key> | |
1097 <string>FilledArrow</string> | |
1098 <key>HeadScale</key> | |
1099 <real>1.4285709857940674</real> | |
1100 <key>TailArrow</key> | |
1101 <string>0</string> | |
1102 <key>TailScale</key> | |
1103 <real>0.5</real> | |
1104 </dict> | |
1105 </dict> | |
1106 </dict> | |
1107 <dict> | |
1108 <key>Bounds</key> | |
1109 <string>{{24, 215}, {100, 26}}</string> | |
1110 <key>Class</key> | |
1111 <string>ShapedGraphic</string> | |
1112 <key>ID</key> | |
1113 <integer>41</integer> | |
1114 <key>Magnets</key> | |
1115 <array> | |
1116 <string>{1, 1}</string> | |
1117 <string>{1, -1}</string> | |
1118 <string>{-1, -1}</string> | |
1119 <string>{-1, 1}</string> | |
1120 <string>{0, 1}</string> | |
1121 <string>{0, -1}</string> | |
1122 <string>{1, 0}</string> | |
1123 <string>{-1, 0}</string> | |
1124 <string>{-0.5, -0.233518}</string> | |
1125 <string>{-0.49144199, 0.26006299}</string> | |
1126 <string>{0.50711799, -0.224086}</string> | |
1127 <string>{0.50711799, 0.26717901}</string> | |
1128 <string>{-0.27430999, -0.47402799}</string> | |
1129 <string>{0.27978, -0.47847801}</string> | |
1130 <string>{0.29393801, 0.54304397}</string> | |
1131 <string>{-0.28623199, 0.55380398}</string> | |
1132 </array> | |
1133 <key>Shape</key> | |
1134 <string>Rectangle</string> | |
1135 <key>Style</key> | |
1136 <dict> | |
1137 <key>shadow</key> | |
1138 <dict> | |
1139 <key>Draws</key> | |
1140 <string>NO</string> | |
1141 </dict> | |
1142 </dict> | |
1143 <key>Text</key> | |
1144 <dict> | |
1145 <key>Text</key> | |
1146 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
1147 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
1148 {\colortbl;\red255\green255\blue255;} | |
1149 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
1150 | |
1151 \f0\fs24 \cf0 LABEL_DECL}</string> | |
1152 <key>VerticalPad</key> | |
1153 <integer>0</integer> | |
1154 </dict> | |
1155 </dict> | |
1156 <dict> | |
1157 <key>Class</key> | |
1158 <string>LineGraphic</string> | |
1159 <key>ID</key> | |
1160 <integer>40</integer> | |
1161 <key>Points</key> | |
1162 <array> | |
1163 <string>{73.5, 187}</string> | |
1164 <string>{73.5, 215}</string> | |
1165 </array> | |
1166 <key>Style</key> | |
1167 <dict> | |
1168 <key>stroke</key> | |
1169 <dict> | |
1170 <key>HeadArrow</key> | |
1171 <string>FilledArrow</string> | |
1172 <key>HeadScale</key> | |
1173 <real>1.4285709857940674</real> | |
1174 <key>TailArrow</key> | |
1175 <string>0</string> | |
1176 <key>TailScale</key> | |
1177 <real>0.5</real> | |
1178 </dict> | |
1179 </dict> | |
1180 </dict> | |
1181 <dict> | |
1182 <key>Bounds</key> | |
1183 <string>{{142, 161}, {100, 26}}</string> | |
1184 <key>Class</key> | |
1185 <string>ShapedGraphic</string> | |
1186 <key>ID</key> | |
1187 <integer>39</integer> | |
1188 <key>Magnets</key> | |
1189 <array> | |
1190 <string>{1, 1}</string> | |
1191 <string>{1, -1}</string> | |
1192 <string>{-1, -1}</string> | |
1193 <string>{-1, 1}</string> | |
1194 <string>{0, 1}</string> | |
1195 <string>{0, -1}</string> | |
1196 <string>{1, 0}</string> | |
1197 <string>{-1, 0}</string> | |
1198 <string>{-0.5, -0.233518}</string> | |
1199 <string>{-0.49144199, 0.26006299}</string> | |
1200 <string>{0.50711799, -0.224086}</string> | |
1201 <string>{0.50711799, 0.26717901}</string> | |
1202 <string>{-0.27430999, -0.47402799}</string> | |
1203 <string>{0.27978, -0.47847801}</string> | |
1204 <string>{0.29393801, 0.54304397}</string> | |
1205 <string>{-0.28623199, 0.55380398}</string> | |
1206 </array> | |
1207 <key>Shape</key> | |
1208 <string>Rectangle</string> | |
1209 <key>Style</key> | |
1210 <dict> | |
1211 <key>shadow</key> | |
1212 <dict> | |
1213 <key>Draws</key> | |
1214 <string>NO</string> | |
1215 </dict> | |
1216 </dict> | |
1217 <key>Text</key> | |
1218 <dict> | |
1219 <key>Text</key> | |
1220 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
1221 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
1222 {\colortbl;\red255\green255\blue255;} | |
1223 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
1224 | |
1225 \f0\fs24 \cf0 DECL_EXPR}</string> | |
1226 <key>VerticalPad</key> | |
1227 <integer>0</integer> | |
1228 </dict> | |
1229 </dict> | |
1230 <dict> | |
1231 <key>Bounds</key> | |
1232 <string>{{24, 161}, {100, 26}}</string> | |
1233 <key>Class</key> | |
1234 <string>ShapedGraphic</string> | |
1235 <key>ID</key> | |
1236 <integer>38</integer> | |
1237 <key>Magnets</key> | |
1238 <array> | |
1239 <string>{1, 1}</string> | |
1240 <string>{1, -1}</string> | |
1241 <string>{-1, -1}</string> | |
1242 <string>{-1, 1}</string> | |
1243 <string>{0, 1}</string> | |
1244 <string>{0, -1}</string> | |
1245 <string>{1, 0}</string> | |
1246 <string>{-1, 0}</string> | |
1247 <string>{-0.5, -0.233518}</string> | |
1248 <string>{-0.49144199, 0.26006299}</string> | |
1249 <string>{0.50711799, -0.224086}</string> | |
1250 <string>{0.50711799, 0.26717901}</string> | |
1251 <string>{-0.27430999, -0.47402799}</string> | |
1252 <string>{0.27978, -0.47847801}</string> | |
1253 <string>{0.29393801, 0.54304397}</string> | |
1254 <string>{-0.28623199, 0.55380398}</string> | |
1255 </array> | |
1256 <key>Shape</key> | |
1257 <string>Rectangle</string> | |
1258 <key>Style</key> | |
1259 <dict> | |
1260 <key>shadow</key> | |
1261 <dict> | |
1262 <key>Draws</key> | |
1263 <string>NO</string> | |
1264 </dict> | |
1265 </dict> | |
1266 <key>Text</key> | |
1267 <dict> | |
1268 <key>Text</key> | |
1269 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
1270 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
1271 {\colortbl;\red255\green255\blue255;} | |
1272 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc | |
1273 | |
1274 \f0\fs24 \cf0 DECL_EXPR}</string> | |
1275 <key>VerticalPad</key> | |
1276 <integer>0</integer> | |
1277 </dict> | |
1278 </dict> | |
1279 <dict> | |
1280 <key>Class</key> | |
1281 <string>LineGraphic</string> | |
1282 <key>ID</key> | |
1283 <integer>37</integer> | |
1284 <key>Points</key> | |
1285 <array> | |
1286 <string>{73.5, 133}</string> | |
1287 <string>{73.5, 161}</string> | |
1288 </array> | |
1289 <key>Style</key> | |
1290 <dict> | |
1291 <key>stroke</key> | |
1292 <dict> | |
1293 <key>HeadArrow</key> | |
1294 <string>FilledArrow</string> | |
1295 <key>HeadScale</key> | |
1296 <real>1.4285709857940674</real> | |
1297 <key>TailArrow</key> | |
1298 <string>0</string> | |
1299 <key>TailScale</key> | |
1300 <real>0.5</real> | |
1301 </dict> | |
1302 </dict> | |
1303 </dict> | |
1304 <dict> | |
1305 <key>Bounds</key> | |
1306 <string>{{165.5, 92}, {53, 41}}</string> | |
1307 <key>Class</key> | |
1308 <string>ShapedGraphic</string> | |
1309 <key>ID</key> | |
1310 <integer>36</integer> | |
1311 <key>Magnets</key> | |
1312 <array> | |
1313 <string>{1, 1}</string> | |
1314 <string>{1, -1}</string> | |
1315 <string>{-1, -1}</string> | |
1316 <string>{-1, 1}</string> | |
1317 <string>{0, 1}</string> | |
1318 <string>{0, -1}</string> | |
1319 <string>{1, 0}</string> | |
1320 <string>{-1, 0}</string> | |
1321 <string>{-0.5, -0.233518}</string> | |
1322 <string>{-0.49144199, 0.26006299}</string> | |
1323 <string>{0.50711799, -0.224086}</string> | |
1324 <string>{0.50711799, 0.26717901}</string> | |
1325 <string>{-0.27430999, -0.47402799}</string> | |
1326 <string>{0.27978, -0.47847801}</string> | |
1327 <string>{0.29393801, 0.54304397}</string> | |
1328 <string>{-0.28623199, 0.55380398}</string> | |
1329 </array> | |
1330 <key>Shape</key> | |
1331 <string>Rectangle</string> | |
1332 <key>Style</key> | |
1333 <dict> | |
1334 <key>shadow</key> | |
1335 <dict> | |
1336 <key>Draws</key> | |
1337 <string>NO</string> | |
1338 </dict> | |
1339 </dict> | |
1340 <key>Text</key> | |
1341 <dict> | |
1342 <key>Text</key> | |
1343 <string>{\rtf1\ansi\ansicpg1252\cocoartf1138\cocoasubrtf230 | |
1344 {\fonttbl\f0\fswiss\fcharset0 Helvetica;} | |
1345 {\colortbl;\red255\green255\blue255;} | |
1346 \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc | |
1347 | |
1348 \f0\fs24 \cf0 next\ | |
1349 prev\ | |
1350 stmt}</string> | |
1351 <key>VerticalPad</key> | |
1352 <integer>0</integer> | |
1353 </dict> | |
1354 </dict> | |
1355 <dict> | |
1356 <key>Class</key> | |
1357 <string>LineGraphic</string> | |
1358 <key>Head</key> | |
1359 <dict> | |
1360 <key>ID</key> | |
1361 <integer>34</integer> | |
1362 </dict> | |
1363 <key>ID</key> | |
1364 <integer>35</integer> | |
1365 <key>Points</key> | |
1366 <array> | |
1367 <string>{74, 64}</string> | |
1368 <string>{74, 92}</string> | |
1369 </array> | |
1370 <key>Style</key> | |
1371 <dict> | |
1372 <key>stroke</key> | |
1373 <dict> | |
1374 <key>HeadArrow</key> | |
1375 <string>FilledArrow</string> | |
1376 <key>HeadScale</key> | |
1377 <real>1.4285709857940674</real> | |
1378 <key>TailArrow</key> | |
1379 <string>0</string> | |
1380 <key>TailScale</key> | |
1381 <real>0.5</real> | |
1382 </dict> | |
1383 </dict> | |
1384 <key>Tail</key> | 871 <key>Tail</key> |
1385 <dict> | 872 <dict> |
1386 <key>ID</key> | 873 <key>ID</key> |
1387 <integer>33</integer> | 874 <integer>33</integer> |
1388 <key>Info</key> | 875 <key>Info</key> |
1495 <key>GuidesLocked</key> | 982 <key>GuidesLocked</key> |
1496 <string>NO</string> | 983 <string>NO</string> |
1497 <key>GuidesVisible</key> | 984 <key>GuidesVisible</key> |
1498 <string>YES</string> | 985 <string>YES</string> |
1499 <key>HPages</key> | 986 <key>HPages</key> |
1500 <integer>2</integer> | 987 <integer>1</integer> |
1501 <key>ImageCounter</key> | 988 <key>ImageCounter</key> |
1502 <integer>1</integer> | 989 <integer>1</integer> |
1503 <key>KeepToScale</key> | 990 <key>KeepToScale</key> |
1504 <false/> | 991 <false/> |
1505 <key>Layers</key> | 992 <key>Layers</key> |
1535 <key>MagnetsVisible</key> | 1022 <key>MagnetsVisible</key> |
1536 <string>NO</string> | 1023 <string>NO</string> |
1537 <key>MasterSheets</key> | 1024 <key>MasterSheets</key> |
1538 <array/> | 1025 <array/> |
1539 <key>ModificationDate</key> | 1026 <key>ModificationDate</key> |
1540 <string>2011-12-28 09:22:13 +0000</string> | 1027 <string>2011-12-29 06:52:40 +0000</string> |
1541 <key>Modifier</key> | 1028 <key>Modifier</key> |
1542 <string>Nobuyasu Oshiro</string> | 1029 <string>Nobuyasu Oshiro</string> |
1543 <key>NotesVisible</key> | 1030 <key>NotesVisible</key> |
1544 <string>NO</string> | 1031 <string>NO</string> |
1545 <key>Orientation</key> | 1032 <key>Orientation</key> |
1630 <key>Sidebar</key> | 1117 <key>Sidebar</key> |
1631 <true/> | 1118 <true/> |
1632 <key>SidebarWidth</key> | 1119 <key>SidebarWidth</key> |
1633 <integer>120</integer> | 1120 <integer>120</integer> |
1634 <key>VisibleRegion</key> | 1121 <key>VisibleRegion</key> |
1635 <string>{{126, 0}, {558, 783}}</string> | 1122 <string>{{0, 0}, {558, 783}}</string> |
1636 <key>Zoom</key> | 1123 <key>Zoom</key> |
1637 <real>1</real> | 1124 <real>1</real> |
1638 <key>ZoomValues</key> | 1125 <key>ZoomValues</key> |
1639 <array> | 1126 <array> |
1640 <array> | 1127 <array> |