From d4f8ba585c4e3fbea4b3c9d20ac0cf4a1321d9ea Mon Sep 17 00:00:00 2001 Message-Id: From: Mark Wooding Date: Tue, 5 Feb 2002 18:54:14 +0000 Subject: [PATCH] State diagram fig file Organization: Straylight/Edgeware From: Ian Jackson --- telling.fig | 157 ++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 157 insertions(+) create mode 100644 telling.fig diff --git a/telling.fig b/telling.fig new file mode 100644 index 0000000..adc1126 --- /dev/null +++ b/telling.fig @@ -0,0 +1,157 @@ +#FIG 3.2 +Portrait +Center +Metric +A4 +100.00 +Single +-2 +1200 2 +5 1 0 1 0 7 50 0 -1 0.000 0 0 0 0 7860.000 8010.000 7740 8100 7740 7920 8010 8010 +6 540 990 3150 2880 +1 2 0 1 0 7 50 0 -1 0.000 1 0.0000 1395 1485 405 225 990 1260 1800 1710 +2 2 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 5 + 540 990 3150 990 3150 2880 540 2880 540 990 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6 + 0 0 1.00 60.00 120.00 + 1350 1710 1350 2340 1440 2610 1980 2610 2520 2430 2700 2070 + 0.000 1.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 4 + 0 0 1.00 60.00 120.00 + 2700 1800 2610 1440 2250 1350 1800 1440 + 0.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6 + 0 0 1.00 60.00 120.00 + 1350 1980 1350 2430 1080 2610 630 2610 630 2160 1080 1620 + 0.000 1.000 1.000 1.000 1.000 0.000 +4 0 0 50 0 0 12 0.0000 4 135 570 1080 1530 STATE\001 +4 0 0 50 0 0 12 0.0000 4 135 615 1440 1980 EVENT\001 +4 0 0 50 0 0 12 0.0000 4 135 690 1440 2340 condition\001 +4 0 0 50 0 0 12 0.0000 4 135 510 2520 1980 Action\001 +4 0 0 50 0 0 12 0.0000 4 135 555 720 2340 inverse\001 +4 0 0 50 0 1 12 0.0000 4 180 270 630 1170 key\001 +-6 +1 2 0 1 0 7 50 0 -1 0.000 1 0.0000 6840 1575 810 405 6030 1170 7650 1980 +1 2 0 1 0 7 50 0 -1 0.000 1 0.0000 2340 5895 810 405 3150 5490 1530 6300 +1 2 0 1 0 7 50 0 -1 0.000 1 0.0000 5625 8505 765 405 6390 8100 4860 8910 +2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2 + 0 0 1.00 60.00 120.00 + 6210 1890 3240 4680 +2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2 + 0 0 1.00 60.00 120.00 + 3060 4950 2520 5490 +2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2 + 0 0 1.00 60.00 120.00 + 2250 4590 2250 5400 +2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2 + 0 0 1.00 60.00 120.00 + 5400 6840 5490 8100 +2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2 + 0 0 1.00 60.00 120.00 + 4860 8550 2970 8640 +2 1 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 2 + 6300 8280 7740 8100 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 5 + 0 0 1.00 60.00 120.00 + 5760 2340 5400 2520 5130 2160 5400 1620 5940 1530 + 0.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 4 + 0 0 1.00 60.00 120.00 + 5220 2790 5040 3060 5220 3780 5400 6480 + 0.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 5 + 0 0 1.00 60.00 120.00 + 4680 3330 4320 3690 4410 4140 4950 4680 5310 5220 + 0.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 7 + 0 0 1.00 60.00 120.00 + 1440 5850 900 5760 810 5310 900 4860 1710 4680 1980 5040 + 2160 5490 + 0.000 1.000 1.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 5 + 0 0 1.00 60.00 120.00 + 810 5310 990 3870 1800 3690 2250 3960 2250 4320 + 0.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 4 + 0 0 1.00 60.00 120.00 + 7020 1980 7110 2700 5400 4410 5310 4770 + 0.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 5 + 0 0 1.00 60.00 120.00 + 3150 5850 4500 5850 5040 5850 5310 6030 5400 6210 + 0.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 8 + 0 0 1.00 60.00 120.00 + 1800 8640 1530 8640 1170 9000 1170 12150 1530 12510 8550 12510 + 9000 12060 9000 11700 + 0.000 1.000 1.000 1.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 4 + 0 0 1.00 60.00 120.00 + 7830 9360 7830 9090 7560 8820 6390 8640 + 0.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 5 + 0 0 1.00 60.00 120.00 + 9000 11700 9000 10890 9000 2790 9000 1890 7650 1620 + 0.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 4 + 0 0 1.00 60.00 120.00 + 8010 8010 8730 7920 8910 7560 9000 6930 + 0.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6 + 0 0 1.00 60.00 120.00 + 5400 6840 5400 7110 5220 7470 4140 7740 3330 8550 3060 8640 + 0.000 1.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 11 + 0 0 1.00 60.00 120.00 + 5580 8910 5580 9540 5670 10260 6030 10350 7650 10260 7920 9810 + 7830 6300 7560 5760 5670 5760 5400 6120 5400 6300 + 0.000 1.000 1.000 1.000 1.000 1.000 1.000 1.000 + 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 6 + 0 0 1.00 60.00 120.00 + 5580 10530 5490 10980 5310 11430 4050 11250 3600 8820 3330 8640 + 0.000 1.000 1.000 1.000 1.000 0.000 +3 0 0 1 0 7 50 0 -1 0.000 0 1 0 7 + 0 0 1.00 60.00 120.00 + 5580 9540 5580 10350 5670 11430 6120 11430 7740 11340 7830 10530 + 7830 9720 + 0.000 1.000 1.000 1.000 1.000 1.000 0.000 +4 0 0 50 0 0 12 0.0000 4 135 1065 6255 1620 NO RECORD\001 +4 0 0 50 0 0 12 0.0000 4 135 480 6030 2250 TALK\001 +4 0 0 50 0 0 12 0.0000 4 135 705 5310 8550 PASSED\001 +4 0 0 50 0 0 12 0.0000 4 135 285 4500 4140 id'd\001 +4 0 0 50 0 0 12 0.0000 4 90 510 4320 3150 secure\001 +4 0 0 50 0 0 12 0.0000 4 135 630 4680 2520 no msgs\001 +4 0 0 50 0 0 12 0.0000 4 135 1110 1800 5940 MENTIONED\001 +4 0 0 50 0 0 12 0.0000 4 135 630 2790 4860 Mention\001 +4 0 0 50 0 0 12 0.0000 4 180 1125 1620 4500 Mention Again\001 +4 0 0 50 0 0 12 0.0000 4 135 285 540 4680 late\001 +4 0 0 50 0 0 12 0.0000 4 90 360 1170 4950 soon\001 +4 0 0 50 0 0 12 0.0000 4 135 555 7110 2250 IDENT\001 +4 0 0 50 0 0 12 0.0000 4 180 855 5040 6750 Pass Msgs\001 +4 0 0 50 0 0 12 0.0000 4 150 480 5490 7380 pester\001 +4 0 0 50 0 0 12 0.0000 4 135 510 5580 7560 remind\001 +4 0 0 50 0 0 12 0.0000 4 135 735 4500 7380 unreliable\001 +4 0 0 50 0 0 12 0.0000 4 180 990 1980 8730 Delete Msgs\001 +4 0 0 50 0 0 12 0.0000 4 135 480 990 6030 TALK\001 +4 0 0 50 0 0 12 0.0000 4 135 555 3330 6030 IDENT\001 +4 0 0 50 0 0 12 0.0000 4 135 480 5670 9180 TALK\001 +4 0 0 50 0 0 12 0.0000 4 135 885 6390 8100 NEW MSG\001 +4 0 0 50 0 0 12 0.0000 4 135 285 7920 8910 late\001 +4 0 0 50 0 0 12 0.0000 4 90 360 7200 9000 soon\001 +4 0 0 50 0 0 12 0.0000 4 135 1425 1890 6480 DEL MSG is Error\001 +4 0 0 50 0 0 12 0.0000 4 135 1425 7470 1260 DEL MSG is Error\001 +4 0 0 50 0 0 12 0.0000 4 135 405 5490 2790 msgs\001 +4 0 0 50 0 0 12 0.0000 4 135 645 5220 3420 insecure\001 +4 0 0 50 0 0 12 0.0000 4 135 570 3510 3870 not id'd\001 +4 0 0 50 0 2 12 0.0000 4 180 3615 630 630 State diagram for !tell and related commands\001 +4 0 0 50 0 1 12 0.0000 4 165 450 5310 13050 $Id: telling.fig,v 1.1.2.1 2002-02-05 18:54:14 ijackson Exp $\001 +4 0 0 50 0 0 12 0.0000 4 180 1665 1890 6750 NEW MSG is ignored\001 +4 0 0 50 0 0 12 0.0000 4 135 810 3960 8460 DEL MSG\001 +4 0 0 50 0 0 12 0.0000 4 135 555 4590 9000 IDENT\001 +4 0 0 50 0 0 12 0.0000 4 180 735 4500 9180 is ignored\001 +4 0 0 50 0 0 12 0.0000 4 180 1665 7020 990 NEW MSG is ignored\001 +4 0 0 50 0 0 12 0.0000 4 135 735 4680 10980 very soon\001 +4 0 0 50 0 0 12 0.0000 4 150 1020 5760 11070 not very soon\001 +4 0 0 50 0 0 12 0.0000 4 150 480 5760 10080 pester\001 +4 0 0 50 0 0 12 0.0000 4 135 510 5040 10170 remind\001 -- [mdw]