source: doc/theses/andrew_beach_MMath/resumption-marking.fig @ 9411cf0

ADTast-experimentalenumforall-pointer-decaypthread-emulationqualifiedEnum
Last change on this file since 9411cf0 was 25d4e15, checked in by Andrew Beach <ajbeach@…>, 3 years ago

Andrew MMath: That's the rest of the \todo items and everything needed for the initial submission.
  • Property mode set to 100644
File size: 3.2 KB
Line 
1#FIG 3.2  Produced by xfig version 3.2.7b
2Landscape
3Center
4Metric
5A4
6100.00
7Single
8-2
91200 2
101 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 1620 90 90 4905 1620 4905 1710
111 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 945 90 90 4905 945 4905 1035
121 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 2340 90 90 4905 2340 4905 2430
131 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 1620 90 90 1665 1620 1665 1710
141 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 2340 90 90 1665 2340 1665 2430
151 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 1665 3060 90 90 1665 3060 1665 3150
161 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 1620 90 90 3195 1620 3195 1710
171 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 2340 90 90 3195 2340 3195 2430
181 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 3195 3060 90 90 3195 3060 3195 3150
191 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 1620 90 90 6525 1620 6525 1710
201 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 2340 90 90 6525 2340 6525 2430
211 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 4905 3060 90 90 4905 3060 4905 3150
221 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 6525 3060 90 90 6525 3060 6525 3150
232 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
24        1 1 1.00 60.00 120.00
25         4905 1755 4905 2205
262 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
27        1 1 1.00 60.00 120.00
28         4905 2475 4905 2925
292 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 4
30        1 1 1.00 60.00 120.00
31         4770 1080 4590 1260 4590 2070 4770 2250
322 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
33        1 1 1.00 60.00 120.00
34         1665 1755 1665 2205
352 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
36        1 1 1.00 60.00 120.00
37         1665 2475 1665 2925
382 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
39        1 1 1.00 60.00 120.00
40         3195 1755 3195 2205
412 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
42        1 1 1.00 60.00 120.00
43         3195 2475 3195 2925
442 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
45        1 1 1.00 60.00 120.00
46         6525 1755 6525 2205
472 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
48        1 1 1.00 60.00 120.00
49         6525 2475 6525 2925
502 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
51        1 1 1.00 60.00 120.00
52         1260 1620 1485 1620
532 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
54        1 1 1.00 60.00 120.00
55         1980 1440 1755 1440
562 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
57        1 1 1.00 60.00 120.00
58         2790 2340 3015 2340
592 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
60        1 1 1.00 60.00 120.00
61         3600 1620 3375 1620
622 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
63        1 1 1.00 60.00 120.00
64         4500 945 4725 945
652 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
66        1 1 1.00 60.00 120.00
67         5265 765 5040 765
682 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
69        1 1 1.00 60.00 120.00
70         6120 1620 6345 1620
712 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
72        1 1 1.00 60.00 120.00
73         6840 1440 6615 1440
744 1 0 50 -1 0 12 0.0000 0 135 1170 1665 3375 Initial State\001
754 1 0 50 -1 0 12 0.0000 0 135 1170 3195 3375 Found Handler\001
764 1 0 50 -1 0 12 0.0000 0 165 1530 6570 3375 Handling Complete\001
774 2 0 50 -1 0 12 0.0000 0 135 720 1485 2385 handlers\001
784 1 0 50 -1 0 12 0.0000 0 135 900 4905 3375 Handler in\001
794 1 0 50 -1 0 12 0.0000 0 165 810 4905 3600 Try block\001
804 0 0 50 -1 0 12 0.0000 0 135 360 855 1665 head\001
814 0 0 50 -1 0 12 0.0000 4 120 810 2025 1485 execution\001
824 0 0 50 -1 0 12 0.0000 0 135 360 2385 2385 head\001
834 0 0 50 -1 0 12 0.0000 4 120 810 3645 1665 execution\001
844 0 0 50 -1 0 12 0.0000 0 135 360 4095 990 head\001
854 0 0 50 -1 0 12 0.0000 4 120 810 5310 810 execution\001
864 0 0 50 -1 0 12 0.0000 0 135 360 5715 1665 head\001
874 0 0 50 -1 0 12 0.0000 4 120 810 6885 1485 execution\001
Note: See TracBrowser for help on using the repository browser.