/ Crawly Crypt Collection 1 / crawlyvol1.bin / program / compiler / elan1v5 / doc / h02.tex / node15_ct.html

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 3c 21 44 4f 43 54 59 50 | 45 20 48 54 4d 4c 20 50 |<!DOCTYP|E HTML P|
|00000010| 55 42 4c 49 43 20 22 2d | 2f 2f 57 33 43 2f 2f 44 |UBLIC "-|//W3C//D|
|00000020| 54 44 20 48 54 4d 4c 20 | 33 2e 32 20 46 69 6e 61 |TD HTML |3.2 Fina|
|00000030| 6c 2f 2f 65 6e 22 3e 0a | 0a 3c 21 2d 2d 43 6f 6e |l//en">.|.<!--Con|
|00000040| 76 65 72 74 65 64 20 77 | 69 74 68 20 4c 61 54 65 |verted w|ith LaTe|
|00000050| 58 32 48 54 4d 4c 20 32 | 30 32 32 20 28 52 65 6c |X2HTML 2|022 (Rel|
|00000060| 65 61 73 65 64 20 4a 61 | 6e 75 61 72 79 20 31 2c |eased Ja|nuary 1,|
|00000070| 20 32 30 32 32 29 20 2d | 2d 3e 0a 3c 48 54 4d 4c | 2022) -|->.<HTML|
|00000080| 20 6c 61 6e 67 3d 22 65 | 6e 22 3e 0a 3c 48 45 41 | lang="e|n">.<HEA|
|00000090| 44 3e 0a 3c 54 49 54 4c | 45 3e 43 6f 6e 74 65 6e |D>.<TITL|E>Conten|
|000000a0| 74 73 20 6f 66 20 52 65 | 66 69 6e 65 6d 65 6e 74 |ts of Re|finement|
|000000b0| 3c 2f 54 49 54 4c 45 3e | 0a 0a 3c 4d 45 54 41 20 |</TITLE>|..<META |
|000000c0| 48 54 54 50 2d 45 51 55 | 49 56 3d 22 43 6f 6e 74 |HTTP-EQU|IV="Cont|
|000000d0| 65 6e 74 2d 54 79 70 65 | 22 20 43 4f 4e 54 45 4e |ent-Type|" CONTEN|
|000000e0| 54 3d 22 74 65 78 74 2f | 68 74 6d 6c 3b 20 63 68 |T="text/|html; ch|
|000000f0| 61 72 73 65 74 3d 75 74 | 66 2d 38 22 3e 0a 3c 4d |arset=ut|f-8">.<M|
|00000100| 45 54 41 20 4e 41 4d 45 | 3d 22 76 69 65 77 70 6f |ETA NAME|="viewpo|
|00000110| 72 74 22 20 43 4f 4e 54 | 45 4e 54 3d 22 77 69 64 |rt" CONT|ENT="wid|
|00000120| 74 68 3d 64 65 76 69 63 | 65 2d 77 69 64 74 68 2c |th=devic|e-width,|
|00000130| 20 69 6e 69 74 69 61 6c | 2d 73 63 61 6c 65 3d 31 | initial|-scale=1|
|00000140| 2e 30 22 3e 0a 3c 4d 45 | 54 41 20 4e 41 4d 45 3d |.0">.<ME|TA NAME=|
|00000150| 22 47 65 6e 65 72 61 74 | 6f 72 22 20 43 4f 4e 54 |"Generat|or" CONT|
|00000160| 45 4e 54 3d 22 4c 61 54 | 65 58 32 48 54 4d 4c 20 |ENT="LaT|eX2HTML |
|00000170| 76 32 30 32 32 22 3e 0a | 0a 3c 4c 49 4e 4b 20 52 |v2022">.|.<LINK R|
|00000180| 45 4c 3d 22 53 54 59 4c | 45 53 48 45 45 54 22 20 |EL="STYL|ESHEET" |
|00000190| 48 52 45 46 3d 22 68 30 | 32 2e 63 73 73 22 3e 0a |HREF="h0|2.css">.|
|000001a0| 0a 3c 4c 49 4e 4b 20 52 | 45 4c 3d 22 6e 65 78 74 |.<LINK R|EL="next|
|000001b0| 22 20 48 52 45 46 3d 22 | 6e 6f 64 65 31 36 5f 6d |" HREF="|node16_m|
|000001c0| 6e 2e 68 74 6d 6c 22 3e | 0a 3c 4c 49 4e 4b 20 52 |n.html">|.<LINK R|
|000001d0| 45 4c 3d 22 70 72 65 76 | 69 6f 75 73 22 20 48 52 |EL="prev|ious" HR|
|000001e0| 45 46 3d 22 6e 6f 64 65 | 31 30 5f 6d 6e 2e 68 74 |EF="node|10_mn.ht|
|000001f0| 6d 6c 22 3e 0a 3c 4c 49 | 4e 4b 20 52 45 4c 3d 22 |ml">.<LI|NK REL="|
|00000200| 75 70 22 20 48 52 45 46 | 3d 22 6e 6f 64 65 38 5f |up" HREF|="node8_|
|00000210| 6d 6e 2e 68 74 6d 6c 22 | 3e 0a 3c 4c 49 4e 4b 20 |mn.html"|>.<LINK |
|00000220| 52 45 4c 3d 22 6e 65 78 | 74 22 20 48 52 45 46 3d |REL="nex|t" HREF=|
|00000230| 22 6e 6f 64 65 31 36 5f | 6d 6e 2e 68 74 6d 6c 22 |"node16_|mn.html"|
|00000240| 3e 0a 3c 2f 48 45 41 44 | 3e 0a 20 0a 3c 42 4f 44 |>.</HEAD|>. .<BOD|
|00000250| 59 20 62 67 63 6f 6c 6f | 72 3d 22 23 66 66 66 66 |Y bgcolo|r="#ffff|
|00000260| 66 66 22 20 74 65 78 74 | 3d 22 23 30 30 30 30 30 |ff" text|="#00000|
|00000270| 30 22 20 6c 69 6e 6b 3d | 22 23 39 39 34 34 45 45 |0" link=|"#9944EE|
|00000280| 22 20 76 6c 69 6e 6b 3d | 22 23 30 30 30 30 66 66 |" vlink=|"#0000ff|
|00000290| 22 20 61 6c 69 6e 6b 3d | 22 23 30 30 66 66 30 30 |" alink=|"#00ff00|
|000002a0| 22 3e 0a 0a 3c 48 32 3e | 3c 41 20 49 44 3d 22 53 |">..<H2>|<A ID="S|
|000002b0| 45 43 54 49 4f 4e 30 30 | 31 32 33 30 30 30 30 30 |ECTION00|12300000|
|000002c0| 30 30 30 30 30 30 30 30 | 30 30 22 3e 0a 52 65 66 |00000000|00">.Ref|
|000002d0| 69 6e 65 6d 65 6e 74 3c | 2f 41 3e 0a 3c 2f 48 32 |inement<|/A>.</H2|
|000002e0| 3e 0a 0a 3c 50 3e 0a 54 | 68 65 20 6d 6f 73 74 20 |>..<P>.T|he most |
|000002f0| 73 74 72 69 6b 69 6e 67 | 20 63 6f 6e 73 74 72 75 |striking| constru|
|00000300| 63 74 20 6f 66 20 45 6c | 61 6e 20 69 73 20 74 68 |ct of El|an is th|
|00000310| 65 20 3c 45 4d 3e 72 65 | 66 69 6e 65 6d 65 6e 74 |e <EM>re|finement|
|00000320| 3c 2f 45 4d 3e 2c 0d 0a | 61 20 73 69 6d 70 6c 65 |</EM>,..|a simple|
|00000330| 20 6d 65 63 68 61 6e 69 | 73 6d 20 66 6f 72 20 64 | mechani|sm for d|
|00000340| 65 66 69 6e 69 6e 67 20 | 61 62 73 74 72 61 63 74 |efining |abstract|
|00000350| 20 61 6c 67 6f 72 69 74 | 68 6d 73 20 77 68 69 63 | algorit|hms whic|
|00000360| 68 20 66 6f 72 6d 73 0d | 0a 74 68 65 20 62 61 73 |h forms.|.the bas|
|00000370| 69 73 20 66 6f 72 20 74 | 68 65 20 3c 45 4d 3e 54 |is for t|he <EM>T|
|00000380| 6f 70 2d 44 6f 77 6e 3c | 2f 45 4d 3e 20 70 72 6f |op-Down<|/EM> pro|
|00000390| 67 72 61 6d 6d 69 6e 67 | 20 73 74 79 6c 65 2c 20 |gramming| style, |
|000003a0| 77 68 69 63 68 20 63 61 | 6e 20 62 65 20 73 75 6d |which ca|n be sum|
|000003b0| 6d 61 72 69 7a 65 64 3a | 0a 0a 3c 50 3e 0a 3c 42 |marized:|..<P>.<B|
|000003c0| 4c 4f 43 4b 51 55 4f 54 | 45 3e 0a 60 60 41 20 70 |LOCKQUOT|E>.``A p|
|000003d0| 72 6f 67 72 61 6d 20 69 | 73 20 64 65 76 65 6c 6f |rogram i|s develo|
|000003e0| 70 65 64 20 62 79 20 66 | 69 72 73 74 20 67 69 76 |ped by f|irst giv|
|000003f0| 69 6e 67 20 61 20 72 6f | 75 67 68 20 62 75 74 20 |ing a ro|ugh but |
|00000400| 70 6f 74 65 6e 74 69 61 | 6c 6c 79 0d 0a 20 20 20 |potentia|lly..   |
|00000410| 63 6f 72 72 65 63 74 20 | 66 6f 72 6d 75 6c 61 74 |correct |formulat|
|00000420| 69 6f 6e 20 63 6f 6d 70 | 6f 73 65 64 20 6f 66 20 |ion comp|osed of |
|00000430| 61 62 73 74 72 61 63 74 | 20 65 6e 74 69 74 69 65 |abstract| entitie|
|00000440| 73 2e 20 54 68 65 72 65 | 75 70 6f 6e 0d 0a 20 20 |s. There|upon..  |
|00000450| 20 65 61 63 68 20 6f 66 | 20 74 68 65 73 65 20 61 | each of| these a|
|00000460| 62 73 74 72 61 63 74 20 | 65 6e 74 69 74 69 65 73 |bstract |entities|
|00000470| 20 69 73 20 73 69 6d 69 | 6c 61 72 6c 79 20 64 65 | is simi|larly de|
|00000480| 66 69 6e 65 64 2c 20 69 | 6e 20 74 65 72 6d 73 0d |fined, i|n terms.|
|00000490| 0a 20 20 20 6f 66 20 6f | 74 68 65 72 20 61 62 73 |.   of o|ther abs|
|000004a0| 74 72 61 63 74 20 61 6e | 64 20 63 6f 6e 63 72 65 |tract an|d concre|
|000004b0| 74 65 20 65 6e 74 69 74 | 69 65 73 2c 20 75 6e 74 |te entit|ies, unt|
|000004c0| 69 6c 20 61 74 20 6c 61 | 73 74 20 61 6c 6c 0d 0a |il at la|st all..|
|000004d0| 20 20 20 6e 65 63 65 73 | 73 61 72 79 20 61 62 73 |   neces|sary abs|
|000004e0| 74 72 61 63 74 20 65 6e | 74 69 74 69 65 73 20 68 |tract en|tities h|
|000004f0| 61 76 65 20 61 20 73 75 | 69 74 61 62 6c 65 20 64 |ave a su|itable d|
|00000500| 65 66 69 6e 69 74 69 6f | 6e 2e 27 27 0d 0a 0a 3c |efinitio|n.''...<|
|00000510| 2f 42 4c 4f 43 4b 51 55 | 4f 54 45 3e 0a 0a 3c 50 |/BLOCKQU|OTE>..<P|
|00000520| 3e 0a 41 20 72 65 66 69 | 6e 65 6d 65 6e 74 20 67 |>.A refi|nement g|
|00000530| 69 76 65 73 20 61 20 6e | 61 6d 65 20 74 6f 20 61 |ives a n|ame to a|
|00000540| 20 70 61 72 61 67 72 61 | 70 68 2c 20 61 6e 64 20 | paragra|ph, and |
|00000550| 6c 6f 6f 6b 73 20 6c 69 | 6b 65 0a 0a 3c 50 3e 0a |looks li|ke..<P>.|
|00000560| 3c 42 52 3e 0a 3c 49 4d | 47 0a 20 20 53 54 59 4c |<BR>.<IM|G.  STYL|
|00000570| 45 3d 22 68 65 69 67 68 | 74 3a 20 32 2e 32 34 65 |E="heigh|t: 2.24e|
|00000580| 78 3b 20 76 65 72 74 69 | 63 61 6c 2d 61 6c 69 67 |x; verti|cal-alig|
|00000590| 6e 3a 20 31 37 36 2e 36 | 31 65 78 3b 20 22 20 53 |n: 176.6|1ex; " S|
|000005a0| 52 43 3d 22 69 6d 67 31 | 35 2e 70 6e 67 22 0a 20 |RC="img1|5.png". |
|000005b0| 41 4c 54 3d 22 5c 62 65 | 67 69 6e 7b 65 6c 61 6e |ALT="\be|gin{elan|
|000005c0| 7d 0a 6e 61 6d 65 3a 20 | 70 61 72 61 67 72 61 70 |}.name: |paragrap|
|000005d0| 68 2e 0a 5c 65 6e 64 7b | 65 6c 61 6e 7d 22 3e 0a |h..\end{|elan}">.|
|000005e0| 3c 42 52 3e 0a 0a 3c 50 | 3e 0a 45 78 65 63 75 74 |<BR>..<P|>.Execut|
|000005f0| 69 6e 67 20 74 68 65 20 | 6e 61 6d 65 20 6f 66 20 |ing the |name of |
|00000600| 61 20 72 65 66 69 6e 65 | 6d 65 6e 74 20 6d 65 61 |a refine|ment mea|
|00000610| 6e 73 20 65 78 65 63 75 | 74 69 6e 67 20 69 74 73 |ns execu|ting its|
|00000620| 20 63 6f 6e 73 74 69 74 | 75 65 6e 74 0d 0a 70 61 | constit|uent..pa|
|00000630| 72 61 67 72 61 70 68 20 | 28 69 74 73 20 3c 45 4d |ragraph |(its <EM|
|00000640| 3e 62 6f 64 79 3c 2f 45 | 4d 3e 29 2e 20 54 68 65 |>body</E|M>). The|
|00000650| 20 76 61 6c 75 65 20 6f | 66 20 74 68 65 20 72 65 | value o|f the re|
|00000660| 66 69 6e 65 6d 65 6e 74 | 20 69 73 20 74 68 65 0d |finement| is the.|
|00000670| 0a 76 61 6c 75 65 20 6f | 66 20 69 74 73 20 62 6f |.value o|f its bo|
|00000680| 64 79 2e 0a 0a 3c 50 3e | 0a 49 6e 20 64 69 73 74 |dy...<P>|.In dist|
|00000690| 69 6e 63 74 69 6f 6e 20 | 74 6f 20 70 72 6f 63 65 |inction |to proce|
|000006a0| 64 75 72 65 73 20 28 77 | 68 69 63 68 20 63 6f 75 |dures (w|hich cou|
|000006b0| 6c 64 20 61 6c 73 6f 20 | 69 6e 20 70 72 69 6e 63 |ld also |in princ|
|000006c0| 69 70 6c 65 20 62 65 0d | 0a 75 73 65 64 20 61 73 |iple be.|.used as|
|000006d0| 20 72 65 66 69 6e 65 6d | 65 6e 74 73 29 20 72 65 | refinem|ents) re|
|000006e0| 66 69 6e 65 6d 65 6e 74 | 73 20 6d 61 79 20 61 70 |finement|s may ap|
|000006f0| 70 65 61 72 20 69 6e 20 | 61 6e 79 20 6f 72 64 65 |pear in |any orde|
|00000700| 72 2c 20 61 6e 64 0d 0a | 6d 61 79 20 69 6e 20 70 |r, and..|may in p|
|00000710| 61 72 74 69 63 75 6c 61 | 72 20 61 70 70 65 61 72 |articula|r appear|
|00000720| 20 61 66 74 65 72 20 61 | 6e 79 20 69 6e 76 6f 63 | after a|ny invoc|
|00000730| 61 74 69 6f 6e 20 6f 66 | 20 74 68 65 20 72 65 66 |ation of| the ref|
|00000740| 69 6e 65 6d 65 6e 74 2e | 0d 0a 52 65 66 69 6e 65 |inement.|..Refine|
|00000750| 6d 65 6e 74 73 20 63 61 | 6e 20 6e 6f 74 20 68 61 |ments ca|n not ha|
|00000760| 76 65 20 70 61 72 61 6d | 65 74 65 72 73 2c 20 69 |ve param|eters, i|
|00000770| 6e 20 6f 72 64 65 72 20 | 74 6f 20 6b 65 65 70 20 |n order |to keep |
|00000780| 74 68 65 20 60 60 76 69 | 73 75 61 6c 0d 0a 6f 76 |the ``vi|sual..ov|
|00000790| 65 72 68 65 61 64 27 27 | 20 69 6e 20 74 68 65 69 |erhead''| in thei|
|000007a0| 72 20 64 65 66 69 6e 69 | 74 69 6f 6e 20 61 6e 64 |r defini|tion and|
|000007b0| 20 61 70 70 6c 69 63 61 | 74 69 6f 6e 20 74 6f 20 | applica|tion to |
|000007c0| 61 20 6d 69 6e 69 6d 75 | 6d 2e 0d 0a 41 20 72 65 |a minimu|m...A re|
|000007d0| 66 69 6e 65 6d 65 6e 74 | 20 64 6f 65 73 20 6e 6f |finement| does no|
|000007e0| 74 20 66 6f 72 6d 20 61 | 20 73 65 70 61 72 61 74 |t form a| separat|
|000007f0| 65 20 73 63 6f 70 65 20 | 6f 66 20 6e 61 6d 69 6e |e scope |of namin|
|00000800| 67 2e 20 54 68 65 72 65 | 66 6f 72 65 0d 0a 69 74 |g. There|fore..it|
|00000810| 20 69 73 20 70 6f 73 73 | 69 62 6c 65 20 74 6f 20 | is poss|ible to |
|00000820| 70 75 74 20 61 20 64 65 | 63 6c 61 72 61 74 69 6f |put a de|claratio|
|00000830| 6e 20 69 6e 20 6f 6e 65 | 20 72 65 66 69 6e 65 6d |n in one| refinem|
|00000840| 65 6e 74 20 61 6e 64 20 | 75 73 65 0d 0a 69 74 20 |ent and |use..it |
|00000850| 69 6e 20 61 6e 6f 74 68 | 65 72 2e 20 46 6f 72 20 |in anoth|er. For |
|00000860| 74 68 65 73 65 20 72 65 | 61 73 6f 6e 73 2c 20 72 |these re|asons, r|
|00000870| 65 66 69 6e 65 6d 65 6e | 74 73 20 61 72 65 20 62 |efinemen|ts are b|
|00000880| 65 74 74 65 72 20 73 75 | 69 74 65 64 0d 0a 74 68 |etter su|ited..th|
|00000890| 61 6e 20 70 72 6f 63 65 | 64 75 72 65 73 20 66 6f |an proce|dures fo|
|000008a0| 72 20 63 61 70 74 75 72 | 69 6e 67 20 74 68 65 20 |r captur|ing the |
|000008b0| 60 60 66 6c 65 65 74 69 | 6e 67 20 61 62 73 74 72 |``fleeti|ng abstr|
|000008c0| 61 63 74 69 6f 6e 73 27 | 27 20 69 6e 0d 0a 70 72 |actions'|' in..pr|
|000008d0| 6f 67 72 61 6d 6d 69 6e | 67 2e 0a 0a 3c 50 3e 0a |ogrammin|g...<P>.|
|000008e0| 49 6e 20 45 6c 61 6e 2d | 30 2c 20 61 20 70 72 6f |In Elan-|0, a pro|
|000008f0| 67 72 61 6d 20 63 6f 6e | 73 69 73 74 73 20 6f 66 |gram con|sists of|
|00000900| 20 6f 6e 65 20 6f 72 20 | 6d 6f 72 65 20 72 65 66 | one or |more ref|
|00000910| 69 6e 65 6d 65 6e 74 73 | 2c 20 77 68 65 72 65 0d |inements|, where.|
|00000920| 0a 74 68 65 20 66 69 72 | 73 74 20 72 65 66 69 6e |.the fir|st refin|
|00000930| 65 6d 65 6e 74 20 69 73 | 20 74 68 65 20 3c 45 4d |ement is| the <EM|
|00000940| 3e 72 6f 6f 74 3c 2f 45 | 4d 3e 20 6f 66 20 74 68 |>root</E|M> of th|
|00000950| 65 20 70 72 6f 67 72 61 | 6d 2e 20 53 75 63 68 20 |e progra|m. Such |
|00000960| 70 72 6f 67 72 61 6d 73 | 0d 0a 63 6f 72 72 65 73 |programs|..corres|
|00000970| 70 6f 6e 64 20 74 6f 20 | 70 72 6f 63 65 64 75 72 |pond to |procedur|
|00000980| 65 2d 62 6f 64 69 65 73 | 20 69 6e 20 66 75 6c 6c |e-bodies| in full|
|00000990| 20 45 6c 61 6e 2e 0a 0a | 3c 50 3e 0a 0a 3c 48 52 | Elan...|<P>..<HR|
|000009a0| 3e 0a 0a 3c 2f 42 4f 44 | 59 3e 0a 3c 2f 48 54 4d |>..</BOD|Y>.</HTM|
|000009b0| 4c 3e 0a                |                         |L>.     |        |
+--------+-------------------------+-------------------------+--------+--------+