home *** CD-ROM | disk | FTP | other *** search
open in:
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: Tape Archive
(archive/tar).
Confidence | Program | Detection | Match Type | Support
|
---|
100%
| dexvert
| Tape Archive (archive/tar)
| magic
| Supported |
100%
| file
| POSIX tar archive (GNU)
| default
| |
99%
| file
| POSIX tar archive (GNU), directory rat95html/, mode 40755 , uid 2136 , gid 50 , size 0 , seconds 6104236145, user guerby, group 3A
| default
| |
98%
| file
| data
| default
| |
62%
| TrID
| TAR - Tape ARchive (GNU)
| default
| |
37%
| TrID
| TAR - Tape ARchive (directory)
| default
| |
100%
| dearkID
| deark: tar
| default
| |
100%
| siegfried
| x-fmt/265 Tape Archive Format
| default
| |
100%
| lsar
| Tar
| default (weak)
| |
100%
| gt2
| TAR Archiv gefunden (Auflistung ist deaktiviert)
| default
| |
100%
| disktype
| GNU tar archive
| default
| |
100%
| detectItEasy
| Archive: tar
| default
| |
100%
| binwalkID
| POSIX tar archive (GNU), owner user name: "l/"
| default
| |
100%
| xdgMime
| application/x-tar
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 72 61 74 39 35 68 74 6d | 6c 2f 00 00 00 00 00 00 |rat95htm|l/......|
|00000010| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000020| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000030| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000040| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000050| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000060| 00 00 00 00 20 34 30 37 | 35 35 20 00 20 20 32 31 |.... 407|55 . 21|
|00000070| 33 36 20 00 20 20 20 20 | 35 30 20 00 20 20 20 20 |36 . |50 . |
|00000080| 20 20 20 20 20 20 30 20 | 20 36 31 30 34 32 33 36 | 0 | 6104236|
|00000090| 31 34 35 20 20 31 30 36 | 30 35 00 20 35 00 00 00 |145 106|05. 5...|
|000000a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000000f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000100| 00 75 73 74 61 72 20 20 | 00 67 75 65 72 62 79 00 |.ustar |.guerby.|
|00000110| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000120| 00 00 00 00 00 00 00 00 | 00 33 41 00 00 00 00 00 |........|.3A.....|
|00000130| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000140| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000150| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000160| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000170| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000180| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000190| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000001f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000200| 72 61 74 39 35 68 74 6d | 6c 2f 72 61 74 39 35 2d |rat95htm|l/rat95-|
|00000210| 66 6f 72 65 77 6f 72 64 | 2e 68 74 6d 6c 00 00 00 |foreword|.html...|
|00000220| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000230| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000240| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000250| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000260| 00 00 00 00 31 30 30 36 | 34 34 20 00 20 20 32 31 |....1006|44 . 21|
|00000270| 33 36 20 00 20 20 20 20 | 35 30 20 00 20 20 20 20 |36 . |50 . |
|00000280| 20 20 31 32 36 36 30 20 | 20 36 31 30 34 32 33 36 | 12660 | 6104236|
|00000290| 31 33 36 20 20 31 34 34 | 30 36 00 20 30 00 00 00 |136 144|06. 0...|
|000002a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000002b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000002c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000002d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000002e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000002f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000300| 00 75 73 74 61 72 20 20 | 00 67 75 65 72 62 79 00 |.ustar |.guerby.|
|00000310| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000320| 00 00 00 00 00 00 00 00 | 00 33 41 00 00 00 00 00 |........|.3A.....|
|00000330| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000340| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000350| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000360| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000370| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000380| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000390| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000003f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00000400| 3c 68 74 6d 6c 3e 0a 3c | 68 65 61 64 3e 0a 3c 74 |<html>.<|head>.<t|
|00000410| 69 74 6c 65 3e 0a 48 79 | 70 65 72 74 65 78 74 20 |itle>.Hy|pertext |
|00000420| 41 64 61 20 39 35 20 52 | 61 74 69 6f 6e 61 6c 65 |Ada 95 R|ationale|
|00000430| 20 2d 20 46 6f 72 65 77 | 6f 72 64 0a 3c 2f 74 69 | - Forew|ord.</ti|
|00000440| 74 6c 65 3e 0a 3c 2f 68 | 65 61 64 3e 0a 0a 3c 62 |tle>.</h|ead>..<b|
|00000450| 6f 64 79 3e 0a 0a 3c 61 | 20 68 72 65 66 3d 72 61 |ody>..<a| href=ra|
|00000460| 74 39 35 2d 63 6f 70 79 | 72 69 67 68 74 2e 68 74 |t95-copy|right.ht|
|00000470| 6d 6c 3e 20 43 6f 70 79 | 72 69 67 68 74 20 3c 2f |ml> Copy|right </|
|00000480| 61 3e 20 7c 0a 3c 61 20 | 68 72 65 66 3d 72 61 74 |a> |.<a |href=rat|
|00000490| 39 35 2d 63 6f 6e 74 65 | 6e 74 73 2e 68 74 6d 6c |95-conte|nts.html|
|000004a0| 3e 20 43 6f 6e 74 65 6e | 74 73 20 3c 2f 61 3e 20 |> Conten|ts </a> |
|000004b0| 7c 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d ||.<a hre|f=rat95-|
|000004c0| 69 6e 64 65 78 2e 68 74 | 6d 6c 3e 20 49 6e 64 65 |index.ht|ml> Inde|
|000004d0| 78 20 3c 2f 61 3e 20 7c | 0a 3c 61 20 68 72 65 66 |x </a> ||.<a href|
|000004e0| 3d 72 61 74 39 35 2d 63 | 6f 70 79 72 69 67 68 74 |=rat95-c|opyright|
|000004f0| 2e 68 74 6d 6c 3e 20 50 | 72 65 76 69 6f 75 73 20 |.html> P|revious |
|00000500| 3c 2f 61 3e 20 7c 0a 3c | 61 20 68 72 65 66 3d 72 |</a> |.<|a href=r|
|00000510| 61 74 39 35 2d 70 72 65 | 66 61 63 65 2e 68 74 6d |at95-pre|face.htm|
|00000520| 6c 3e 20 4e 65 78 74 20 | 3c 2f 61 3e 0a 3c 68 72 |l> Next |</a>.<hr|
|00000530| 3e 0a 0a 3c 68 31 3e 0a | 46 6f 72 65 77 6f 72 64 |>..<h1>.|Foreword|
|00000540| 0a 3c 2f 68 31 3e 0a 0a | 3c 70 3e 0a 49 20 61 6d |.</h1>..|<p>.I am|
|00000550| 20 64 65 6c 69 67 68 74 | 65 64 20 74 6f 20 77 72 | delight|ed to wr|
|00000560| 69 74 65 20 74 68 65 73 | 65 20 77 6f 72 64 73 20 |ite thes|e words |
|00000570| 6f 66 20 69 6e 74 72 6f | 64 75 63 74 69 6f 6e 20 |of intro|duction |
|00000580| 74 6f 20 74 68 69 73 0a | 69 6d 70 6f 72 74 61 6e |to this.|importan|
|00000590| 74 20 64 6f 63 75 6d 65 | 6e 74 20 77 68 69 63 68 |t docume|nt which|
|000005a0| 20 61 63 63 6f 6d 70 61 | 6e 69 65 73 20 74 68 65 | accompa|nies the|
|000005b0| 20 6e 65 77 20 41 64 61 | 0a 49 6e 74 65 72 6e 61 | new Ada|.Interna|
|000005c0| 74 69 6f 6e 61 6c 20 53 | 74 61 6e 64 61 72 64 2e |tional S|tandard.|
|000005d0| 20 20 49 74 20 69 73 20 | 6d 6f 73 74 20 73 61 74 | It is |most sat|
|000005e0| 69 73 66 79 69 6e 67 20 | 74 6f 20 73 65 65 20 74 |isfying |to see t|
|000005f0| 68 65 0a 65 66 66 6f 72 | 74 73 20 6f 66 20 61 6c |he.effor|ts of al|
|00000600| 6c 20 74 68 6f 73 65 20 | 69 6e 76 6f 6c 76 65 64 |l those |involved|
|00000610| 20 77 69 74 68 20 74 68 | 65 20 6c 61 6e 67 75 61 | with th|e langua|
|00000620| 67 65 20 72 65 76 69 73 | 69 6f 6e 0a 65 66 66 6f |ge revis|ion.effo|
|00000630| 72 74 20 62 65 61 72 69 | 6e 67 20 66 72 75 69 74 |rt beari|ng fruit|
|00000640| 2c 20 61 6e 64 20 49 20 | 61 6d 20 76 65 72 79 20 |, and I |am very |
|00000650| 63 6f 6e 66 69 64 65 6e | 74 20 74 68 61 74 20 41 |confiden|t that A|
|00000660| 64 61 20 39 35 0a 77 69 | 6c 6c 20 70 72 6f 76 65 |da 95.wi|ll prove|
|00000670| 20 74 6f 20 62 65 20 61 | 20 77 6f 72 74 68 79 20 | to be a| worthy |
|00000680| 73 75 63 63 65 73 73 6f | 72 20 74 6f 20 41 64 61 |successo|r to Ada|
|00000690| 20 38 33 2c 20 65 78 74 | 65 6e 64 69 6e 67 0a 41 | 83, ext|ending.A|
|000006a0| 64 61 27 73 20 53 6f 66 | 74 77 61 72 65 20 45 6e |da's Sof|tware En|
|000006b0| 67 69 6e 65 65 72 69 6e | 67 20 61 64 76 61 6e 74 |gineerin|g advant|
|000006c0| 61 67 65 73 20 74 6f 20 | 6e 65 77 20 75 73 65 72 |ages to |new user|
|000006d0| 0a 63 6f 6d 6d 75 6e 69 | 74 69 65 73 2e 20 20 57 |.communi|ties. W|
|000006e0| 69 74 68 20 6d 6f 64 65 | 72 6e 20 66 65 61 74 75 |ith mode|rn featu|
|000006f0| 72 65 73 20 73 75 63 68 | 20 61 73 20 4f 62 6a 65 |res such| as Obje|
|00000700| 63 74 2d 4f 72 69 65 6e | 74 65 64 0a 50 72 6f 67 |ct-Orien|ted.Prog|
|00000710| 72 61 6d 6d 69 6e 67 20 | 61 6e 64 20 65 6e 68 61 |ramming |and enha|
|00000720| 6e 63 65 64 20 69 6e 74 | 65 72 66 61 63 69 6e 67 |nced int|erfacing|
|00000730| 20 63 61 70 61 62 69 6c | 69 74 69 65 73 2c 20 41 | capabil|ities, A|
|00000740| 64 61 20 39 35 0a 77 69 | 6c 6c 20 65 6e 61 62 6c |da 95.wi|ll enabl|
|00000750| 65 20 74 68 65 20 66 6c | 65 78 69 62 6c 65 20 61 |e the fl|exible a|
|00000760| 6e 64 20 72 65 6c 69 61 | 62 6c 65 20 64 65 76 65 |nd relia|ble deve|
|00000770| 6c 6f 70 6d 65 6e 74 20 | 6f 66 20 6d 61 6a 6f 72 |lopment |of major|
|00000780| 0a 61 70 70 6c 69 63 61 | 74 69 6f 6e 73 20 69 6e |.applica|tions in|
|00000790| 20 74 68 65 20 63 6f 6d | 69 6e 67 20 79 65 61 72 | the com|ing year|
|000007a0| 73 2e 0a 3c 2f 70 3e 0a | 3c 70 3e 0a 54 68 65 20 |s..</p>.|<p>.The |
|000007b0| 6e 65 77 20 73 74 61 6e | 64 61 72 64 2c 20 6f 66 |new stan|dard, of|
|000007c0| 66 69 63 69 61 6c 6c 79 | 20 49 53 4f 2f 49 45 43 |ficially| ISO/IEC|
|000007d0| 20 38 36 35 32 3a 31 39 | 39 35 2c 20 74 68 75 73 | 8652:19|95, thus|
|000007e0| 0a 6d 61 72 6b 73 20 61 | 6e 20 69 6d 70 6f 72 74 |.marks a|n import|
|000007f0| 61 6e 74 20 6d 69 6c 65 | 73 74 6f 6e 65 20 69 6e |ant mile|stone in|
|00000800| 20 41 64 61 27 73 20 68 | 69 73 74 6f 72 79 2e 20 | Ada's h|istory. |
|00000810| 20 45 6e 6f 72 6d 6f 75 | 73 0a 63 6f 6e 74 72 69 | Enormou|s.contri|
|00000820| 62 75 74 69 6f 6e 73 20 | 66 72 6f 6d 20 73 6f 6d |butions |from som|
|00000830| 65 20 6f 66 20 74 68 65 | 20 77 6f 72 6c 64 27 73 |e of the| world's|
|00000840| 20 66 69 6e 65 73 74 20 | 73 6f 66 74 77 61 72 65 | finest |software|
|00000850| 0a 65 6e 67 69 6e 65 65 | 72 73 20 61 6e 64 20 70 |.enginee|rs and p|
|00000860| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 6c 61 6e 67 75 |rogrammi|ng langu|
|00000870| 61 67 65 20 65 78 70 65 | 72 74 73 20 68 61 76 65 |age expe|rts have|
|00000880| 20 67 6f 6e 65 20 69 6e | 74 6f 0a 74 68 65 20 72 | gone in|to.the r|
|00000890| 65 76 69 73 69 6f 6e 20 | 65 66 66 6f 72 74 2c 20 |evision |effort, |
|000008a0| 72 65 66 6c 65 63 74 69 | 6e 67 20 62 6f 74 68 20 |reflecti|ng both |
|000008b0| 63 75 72 72 65 6e 74 20 | 61 6e 64 20 61 6e 74 69 |current |and anti|
|000008c0| 63 69 70 61 74 65 64 0a | 75 73 65 72 20 72 65 71 |cipated.|user req|
|000008d0| 75 69 72 65 6d 65 6e 74 | 73 2e 20 20 49 20 77 6f |uirement|s. I wo|
|000008e0| 75 6c 64 20 74 68 65 72 | 65 66 6f 72 65 20 6c 69 |uld ther|efore li|
|000008f0| 6b 65 20 74 6f 20 74 61 | 6b 65 20 74 68 69 73 0a |ke to ta|ke this.|
|00000900| 6f 70 70 6f 72 74 75 6e | 69 74 79 20 74 6f 20 61 |opportun|ity to a|
|00000910| 63 6b 6e 6f 77 6c 65 64 | 67 65 20 74 68 65 20 73 |cknowled|ge the s|
|00000920| 74 65 72 6c 69 6e 67 20 | 65 66 66 6f 72 74 73 20 |terling |efforts |
|00000930| 6f 66 20 61 6c 6c 20 74 | 68 6f 73 65 0a 69 6e 76 |of all t|hose.inv|
|00000940| 6f 6c 76 65 64 20 69 6e | 20 64 65 76 65 6c 6f 70 |olved in| develop|
|00000950| 69 6e 67 20 74 68 65 20 | 6e 65 77 20 73 74 61 6e |ing the |new stan|
|00000960| 64 61 72 64 20 61 6e 64 | 20 69 6e 20 77 72 69 74 |dard and| in writ|
|00000970| 69 6e 67 20 74 68 69 73 | 0a 72 61 74 69 6f 6e 61 |ing this|.rationa|
|00000980| 6c 65 20 64 6f 63 75 6d | 65 6e 74 2e 0a 3c 2f 70 |le docum|ent..</p|
|00000990| 3e 0a 3c 70 3e 0a 20 20 | 20 54 68 65 20 41 64 61 |>.<p>. | The Ada|
|000009a0| 20 39 35 20 6c 61 6e 67 | 75 61 67 65 20 72 65 76 | 95 lang|uage rev|
|000009b0| 69 73 69 6f 6e 20 77 61 | 73 20 70 72 65 70 61 72 |ision wa|s prepar|
|000009c0| 65 64 20 62 79 20 74 68 | 65 20 41 64 61 20 39 58 |ed by th|e Ada 9X|
|000009d0| 0a 44 65 73 69 67 6e 20 | 54 65 61 6d 20 62 61 73 |.Design |Team bas|
|000009e0| 65 64 20 61 74 20 49 6e | 74 65 72 6d 65 74 72 69 |ed at In|termetri|
|000009f0| 63 73 2c 20 49 6e 63 2e | 2c 20 75 6e 64 65 72 20 |cs, Inc.|, under |
|00000a00| 74 68 65 20 64 69 72 65 | 63 74 69 6f 6e 0a 6f 66 |the dire|ction.of|
|00000a10| 20 57 69 6c 6c 69 61 6d | 20 43 61 72 6c 73 6f 6e | William| Carlson|
|00000a20| 2c 20 50 72 6f 67 72 61 | 6d 20 4d 61 6e 61 67 65 |, Progra|m Manage|
|00000a30| 72 2c 20 61 6e 64 20 53 | 2e 20 54 75 63 6b 65 72 |r, and S|. Tucker|
|00000a40| 20 54 61 66 74 2c 0a 54 | 65 63 68 6e 69 63 61 6c | Taft,.T|echnical|
|00000a50| 20 44 69 72 65 63 74 6f | 72 2e 20 20 54 68 65 20 | Directo|r. The |
|00000a60| 49 6e 74 65 72 6d 65 74 | 72 69 63 73 20 74 65 61 |Intermet|rics tea|
|00000a70| 6d 20 69 6e 63 6c 75 64 | 65 64 20 52 6f 62 65 72 |m includ|ed Rober|
|00000a80| 74 0a 44 75 66 66 20 28 | 4f 61 6b 20 54 72 65 65 |t.Duff (|Oak Tree|
|00000a90| 20 53 6f 66 74 77 61 72 | 65 29 20 61 6e 64 20 61 | Softwar|e) and a|
|00000aa0| 6c 73 6f 20 63 6f 6e 73 | 75 6c 74 61 6e 74 73 20 |lso cons|ultants |
|00000ab0| 4a 6f 68 6e 20 42 61 72 | 6e 65 73 2c 0a 42 65 6e |John Bar|nes,.Ben|
|00000ac0| 20 42 72 6f 73 67 6f 6c | 2c 20 61 6e 64 20 4f 66 | Brosgol|, and Of|
|00000ad0| 66 65 72 20 50 61 7a 79 | 2e 0a 3c 2f 70 3e 0a 3c |fer Pazy|..</p>.<|
|00000ae0| 70 3e 0a 20 20 20 41 20 | 74 65 61 6d 20 6c 65 64 |p>. A |team led|
|00000af0| 20 62 79 20 4a 6f 68 6e | 20 47 6f 6f 64 65 6e 6f | by John| Goodeno|
|00000b00| 75 67 68 20 28 53 45 49 | 29 20 70 72 65 70 61 72 |ugh (SEI|) prepar|
|00000b10| 65 64 20 74 68 65 0a 74 | 65 63 68 6e 69 63 61 6c |ed the.t|echnical|
|00000b20| 20 72 65 71 75 69 72 65 | 6d 65 6e 74 73 20 73 70 | require|ments sp|
|00000b30| 65 63 69 66 69 63 61 74 | 69 6f 6e 20 66 6f 72 20 |ecificat|ion for |
|00000b40| 74 68 65 20 41 64 61 20 | 72 65 76 69 73 69 6f 6e |the Ada |revision|
|00000b50| 2c 0a 62 61 73 65 64 20 | 6f 6e 20 70 72 65 6c 69 |,.based |on preli|
|00000b60| 6d 69 6e 61 72 79 20 77 | 6f 72 6b 20 62 79 20 74 |minary w|ork by t|
|00000b70| 68 65 20 49 6e 73 74 69 | 74 75 74 65 20 66 6f 72 |he Insti|tute for|
|00000b80| 20 44 65 66 65 6e 73 65 | 0a 41 6e 61 6c 79 73 65 | Defense|.Analyse|
|00000b90| 73 20 75 6e 64 65 72 20 | 41 75 64 72 65 79 20 48 |s under |Audrey H|
|00000ba0| 6f 6f 6b 20 74 6f 20 61 | 6e 61 6c 79 7a 65 20 74 |ook to a|nalyze t|
|00000bb0| 68 65 20 6d 6f 72 65 20 | 74 68 61 6e 20 37 35 30 |he more |than 750|
|00000bc0| 0a 72 65 76 69 73 69 6f | 6e 20 72 65 71 75 65 73 |.revisio|n reques|
|00000bd0| 74 73 20 73 75 62 6d 69 | 74 74 65 64 20 62 79 20 |ts submi|tted by |
|00000be0| 74 68 65 20 41 64 61 20 | 63 6f 6d 6d 75 6e 69 74 |the Ada |communit|
|00000bf0| 79 2e 0a 3c 2f 70 3e 0a | 3c 70 3e 0a 54 68 65 20 |y..</p>.|<p>.The |
|00000c00| 66 6f 6c 6c 6f 77 69 6e | 67 20 63 6f 6e 73 75 6c |followin|g consul|
|00000c10| 74 61 6e 74 73 20 74 6f | 20 74 68 65 20 41 64 61 |tants to| the Ada|
|00000c20| 20 39 58 20 50 72 6f 6a | 65 63 74 0a 63 6f 6e 74 | 9X Proj|ect.cont|
|00000c30| 72 69 62 75 74 65 64 20 | 74 6f 20 74 68 65 20 53 |ributed |to the S|
|00000c40| 70 65 63 69 61 6c 69 7a | 65 64 20 4e 65 65 64 73 |pecializ|ed Needs|
|00000c50| 20 41 6e 6e 65 78 65 73 | 3a 20 20 54 65 64 20 42 | Annexes|: Ted B|
|00000c60| 61 6b 65 72 0a 28 53 45 | 49 2c 20 46 6c 6f 72 69 |aker.(SE|I, Flori|
|00000c70| 64 61 20 53 74 61 74 65 | 20 55 6e 69 76 2e 29 2c |da State| Univ.),|
|00000c80| 20 4b 65 6e 20 44 72 69 | 74 7a 20 28 41 72 67 6f | Ken Dri|tz (Argo|
|00000c90| 6e 6e 65 20 4e 61 74 69 | 6f 6e 61 6c 0a 4c 61 62 |nne Nati|onal.Lab|
|00000ca0| 6f 72 61 74 6f 72 79 29 | 2c 20 41 6e 74 68 6f 6e |oratory)|, Anthon|
|00000cb0| 79 20 47 61 72 67 61 72 | 6f 20 28 43 6f 6d 70 75 |y Gargar|o (Compu|
|00000cc0| 74 65 72 20 53 63 69 65 | 6e 63 65 73 20 43 6f 72 |ter Scie|nces Cor|
|00000cd0| 70 2e 29 2c 20 4a 6f 68 | 6e 0a 47 6f 6f 64 65 6e |p.), Joh|n.Gooden|
|00000ce0| 6f 75 67 68 20 28 53 45 | 49 29 2c 20 4a 6f 68 6e |ough (SE|I), John|
|00000cf0| 20 4d 63 48 75 67 68 20 | 28 63 6f 6e 73 75 6c 74 | McHugh |(consult|
|00000d00| 61 6e 74 29 2c 20 61 6e | 64 20 42 72 69 61 6e 0a |ant), an|d Brian.|
|00000d10| 57 69 63 68 6d 61 6e 6e | 20 28 4e 50 4c 3a 20 55 |Wichmann| (NPL: U|
|00000d20| 4b 29 2e 0a 3c 2f 70 3e | 0a 3c 70 3e 0a 20 20 20 |K)..</p>|.<p>. |
|00000d30| 54 68 69 73 20 77 6f 72 | 6b 20 77 61 73 20 72 65 |This wor|k was re|
|00000d40| 67 75 6c 61 72 6c 79 20 | 72 65 76 69 65 77 65 64 |gularly |reviewed|
|00000d50| 20 62 79 20 74 68 65 20 | 41 64 61 20 39 58 0a 44 | by the |Ada 9X.D|
|00000d60| 69 73 74 69 6e 67 75 69 | 73 68 65 64 20 52 65 76 |istingui|shed Rev|
|00000d70| 69 65 77 65 72 73 20 61 | 6e 64 20 74 68 65 20 6d |iewers a|nd the m|
|00000d80| 65 6d 62 65 72 73 20 6f | 66 20 74 68 65 20 49 53 |embers o|f the IS|
|00000d90| 4f 20 41 64 61 20 39 58 | 0a 52 61 70 70 6f 72 74 |O Ada 9X|.Rapport|
|00000da0| 65 75 72 20 47 72 6f 75 | 70 20 28 58 52 47 29 3a |eur Grou|p (XRG):|
|00000db0| 20 20 45 72 68 61 72 64 | 20 50 6c 6f 65 64 65 72 | Erhard| Ploeder|
|00000dc0| 65 64 65 72 2c 20 43 68 | 61 69 72 6d 61 6e 20 6f |eder, Ch|airman o|
|00000dd0| 66 20 44 52 73 0a 61 6e | 64 20 58 52 47 20 28 55 |f DRs.an|d XRG (U|
|00000de0| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 53 74 75 |niversit|y of Stu|
|00000df0| 74 74 67 61 72 74 3a 20 | 47 65 72 6d 61 6e 79 29 |ttgart: |Germany)|
|00000e00| 3b 20 42 2e 20 42 61 72 | 64 69 6e 0a 28 48 75 67 |; B. Bar|din.(Hug|
|00000e10| 68 65 73 29 3b 20 4a 2e | 20 42 61 72 6e 65 73 20 |hes); J.| Barnes |
|00000e20| 28 63 6f 6e 73 75 6c 74 | 61 6e 74 3a 20 55 4b 29 |(consult|ant: UK)|
|00000e30| 3b 20 42 2e 20 42 72 65 | 74 74 20 28 44 45 43 29 |; B. Bre|tt (DEC)|
|00000e40| 3b 0a 42 2e 20 42 72 6f | 73 67 6f 6c 20 28 63 6f |;.B. Bro|sgol (co|
|00000e50| 6e 73 75 6c 74 61 6e 74 | 29 3b 20 52 2e 20 42 72 |nsultant|); R. Br|
|00000e60| 75 6b 61 72 64 74 20 28 | 52 52 20 53 6f 66 74 77 |ukardt (|RR Softw|
|00000e70| 61 72 65 29 3b 20 4e 2e | 20 43 6f 68 65 6e 0a 28 |are); N.| Cohen.(|
|00000e80| 49 42 4d 29 3b 20 52 2e | 20 44 65 77 61 72 20 28 |IBM); R.| Dewar (|
|00000e90| 4e 59 55 29 3b 20 47 2e | 20 44 69 73 6d 75 6b 65 |NYU); G.| Dismuke|
|00000ea0| 73 20 28 41 6c 73 79 73 | 20 5b 54 65 6c 65 73 6f |s (Alsys| [Teleso|
|00000eb0| 66 74 5d 29 3b 0a 41 2e | 20 45 76 61 6e 73 20 28 |ft]);.A.| Evans (|
|00000ec0| 63 6f 6e 73 75 6c 74 61 | 6e 74 29 3b 20 41 2e 20 |consulta|nt); A. |
|00000ed0| 47 61 72 67 61 72 6f 20 | 28 43 6f 6d 70 75 74 65 |Gargaro |(Compute|
|00000ee0| 72 20 53 63 69 65 6e 63 | 65 73 20 43 6f 72 70 2e |r Scienc|es Corp.|
|00000ef0| 29 3b 0a 4d 2e 20 47 65 | 72 68 61 72 64 74 20 28 |);.M. Ge|rhardt (|
|00000f00| 45 53 4c 29 3b 20 4a 2e | 20 47 6f 6f 64 65 6e 6f |ESL); J.| Goodeno|
|00000f10| 75 67 68 20 28 53 45 49 | 29 3b 20 53 2e 20 48 65 |ugh (SEI|); S. He|
|00000f20| 69 6c 62 72 75 6e 6e 65 | 72 0a 28 55 6e 69 76 65 |ilbrunne|r.(Unive|
|00000f30| 72 73 69 74 79 20 6f 66 | 20 53 61 6c 7a 62 75 72 |rsity of| Salzbur|
|00000f40| 67 3a 20 41 75 73 74 72 | 69 61 29 3b 20 50 2e 20 |g: Austr|ia); P. |
|00000f50| 48 69 6c 66 69 6e 67 65 | 72 0a 28 55 43 2f 42 65 |Hilfinge|r.(UC/Be|
|00000f60| 72 6b 65 6c 65 79 29 3b | 20 42 2e 20 4b 61 6c 6c |rkeley);| B. Kall|
|00000f70| 62 65 72 67 20 28 43 65 | 6c 73 69 75 73 54 65 63 |berg (Ce|lsiusTec|
|00000f80| 68 3a 20 53 77 65 64 65 | 6e 29 3b 20 4d 2e 20 4b |h: Swede|n); M. K|
|00000f90| 61 6d 72 61 64 0a 49 49 | 20 28 55 6e 69 73 79 73 |amrad.II| (Unisys|
|00000fa0| 29 3b 20 4a 2e 20 76 61 | 6e 20 4b 61 74 77 69 6a |); J. va|n Katwij|
|00000fb0| 6b 20 28 44 65 6c 66 74 | 20 55 6e 69 76 65 72 73 |k (Delft| Univers|
|00000fc0| 69 74 79 20 6f 66 20 54 | 65 63 68 6e 6f 6c 6f 67 |ity of T|echnolog|
|00000fd0| 79 3a 0a 54 68 65 20 4e | 65 74 68 65 72 6c 61 6e |y:.The N|etherlan|
|00000fe0| 64 73 29 3b 20 56 2e 20 | 4b 61 75 66 6d 61 6e 20 |ds); V. |Kaufman |
|00000ff0| 28 52 75 73 73 69 61 29 | 3b 20 50 2e 20 4b 72 75 |(Russia)|; P. Kru|
|00001000| 63 68 74 65 6e 0a 28 52 | 61 74 69 6f 6e 61 6c 29 |chten.(R|ational)|
|00001010| 3b 20 52 2e 20 4c 61 6e | 64 77 65 68 72 20 28 43 |; R. Lan|dwehr (C|
|00001020| 43 49 3a 20 47 65 72 6d | 61 6e 79 29 3b 20 43 2e |CI: Germ|any); C.|
|00001030| 20 4c 65 73 74 65 72 0a | 28 50 6f 72 74 73 6d 6f | Lester.|(Portsmo|
|00001040| 75 74 68 20 50 6f 6c 79 | 74 65 63 68 6e 69 63 3a |uth Poly|technic:|
|00001050| 20 55 4b 29 3b 20 4c 2e | 20 4d 61 6e 73 73 6f 6e | UK); L.| Mansson|
|00001060| 20 28 54 45 4c 49 41 20 | 52 65 73 65 61 72 63 68 | (TELIA |Research|
|00001070| 3a 0a 53 77 65 64 65 6e | 29 3b 20 53 2e 20 4d 69 |:.Sweden|); S. Mi|
|00001080| 63 68 65 6c 6c 20 28 4d | 75 6c 74 69 70 72 6f 63 |chell (M|ultiproc|
|00001090| 65 73 73 6f 72 20 54 6f | 6f 6c 73 6d 69 74 68 73 |essor To|olsmiths|
|000010a0| 3a 20 43 61 6e 61 64 61 | 29 3b 0a 4d 2e 20 4d 69 |: Canada|);.M. Mi|
|000010b0| 6c 6c 73 20 28 55 53 20 | 41 69 72 20 46 6f 72 63 |lls (US |Air Forc|
|000010c0| 65 29 3b 20 44 2e 20 50 | 6f 67 67 65 20 28 55 53 |e); D. P|ogge (US|
|000010d0| 20 4e 61 76 79 29 3b 20 | 4b 2e 20 50 6f 77 65 72 | Navy); |K. Power|
|000010e0| 0a 28 42 6f 65 69 6e 67 | 29 3b 20 4f 2e 20 52 6f |.(Boeing|); O. Ro|
|000010f0| 75 62 69 6e 65 20 28 56 | 65 72 64 69 78 3a 20 46 |ubine (V|erdix: F|
|00001100| 72 61 6e 63 65 29 3b 20 | 41 2e 20 53 74 72 6f 68 |rance); |A. Stroh|
|00001110| 6d 65 69 65 72 20 28 53 | 77 69 73 73 0a 46 65 64 |meier (S|wiss.Fed|
|00001120| 65 72 61 6c 20 49 6e 73 | 74 69 74 75 74 65 20 6f |eral Ins|titute o|
|00001130| 66 20 54 65 63 68 6e 6f | 6c 6f 67 79 3a 20 53 77 |f Techno|logy: Sw|
|00001140| 69 74 7a 65 72 6c 61 6e | 64 29 3b 20 57 2e 20 54 |itzerlan|d); W. T|
|00001150| 61 79 6c 6f 72 0a 28 63 | 6f 6e 73 75 6c 74 61 6e |aylor.(c|onsultan|
|00001160| 74 3a 20 55 4b 29 3b 20 | 4a 2e 20 54 6f 6b 61 72 |t: UK); |J. Tokar|
|00001170| 20 28 54 61 72 74 61 6e | 29 3b 20 45 2e 20 56 61 | (Tartan|); E. Va|
|00001180| 73 69 6c 65 73 63 75 20 | 28 47 72 75 6d 6d 61 6e |silescu |(Grumman|
|00001190| 29 3b 0a 4a 2e 20 56 6c | 61 64 69 6b 20 28 50 72 |);.J. Vl|adik (Pr|
|000011a0| 6f 73 70 65 6b 73 20 73 | 2e 72 2e 6f 2e 3a 20 20 |ospeks s|.r.o.: |
|000011b0| 43 7a 65 63 68 20 52 65 | 70 75 62 6c 69 63 29 3b |Czech Re|public);|
|000011c0| 20 53 2e 20 56 61 6e 20 | 56 6c 69 65 72 2d 0a 62 | S. Van |Vlier-.b|
|000011d0| 65 72 67 68 65 20 28 4f | 46 46 49 53 3a 20 42 65 |erghe (O|FFIS: Be|
|000011e0| 6c 67 69 75 6d 29 2e 0a | 3c 2f 70 3e 0a 3c 70 3e |lgium)..|</p>.<p>|
|000011f0| 0a 20 20 20 45 61 72 6c | 79 20 63 6f 6e 74 72 69 |. Earl|y contri|
|00001200| 62 75 74 6f 72 73 20 6f | 6e 20 74 68 65 20 41 64 |butors o|n the Ad|
|00001210| 61 20 39 58 20 44 65 73 | 69 67 6e 20 54 65 61 6d |a 9X Des|ign Team|
|00001220| 20 77 65 72 65 0a 43 2e | 20 47 61 72 72 69 74 79 | were.C.| Garrity|
|00001230| 2c 20 52 2e 20 48 69 6c | 6c 69 61 72 64 2c 20 44 |, R. Hil|liard, D|
|00001240| 2e 20 52 6f 73 65 6e 66 | 65 6c 64 2c 20 4c 2e 20 |. Rosenf|eld, L. |
|00001250| 53 68 61 66 65 72 2c 20 | 57 2e 20 57 68 69 74 65 |Shafer, |W. White|
|00001260| 2c 0a 61 6e 64 20 4d 2e | 20 57 6f 6f 64 67 65 72 |,.and M.| Woodger|
|00001270| 2e 20 20 4f 74 68 65 72 | 20 76 61 6c 75 61 62 6c |. Other| valuabl|
|00001280| 65 20 66 65 65 64 62 61 | 63 6b 20 69 6e 66 6c 75 |e feedba|ck influ|
|00001290| 65 6e 63 69 6e 67 20 74 | 68 65 0a 72 65 76 69 73 |encing t|he.revis|
|000012a0| 69 6f 6e 20 70 72 6f 63 | 65 73 73 20 77 61 73 20 |ion proc|ess was |
|000012b0| 70 72 6f 76 69 64 65 64 | 20 62 79 20 74 68 65 20 |provided| by the |
|000012c0| 41 64 61 20 39 58 20 4c | 61 6e 67 75 61 67 65 0a |Ada 9X L|anguage.|
|000012d0| 50 72 65 63 69 73 69 6f | 6e 20 54 65 61 6d 20 28 |Precisio|n Team (|
|000012e0| 4f 64 79 73 73 65 79 20 | 52 65 73 65 61 72 63 68 |Odyssey |Research|
|000012f0| 20 41 73 73 6f 63 69 61 | 74 65 73 29 2c 20 74 68 | Associa|tes), th|
|00001300| 65 20 41 64 61 20 39 58 | 0a 55 73 65 72 2f 49 6d |e Ada 9X|.User/Im|
|00001310| 70 6c 65 6d 65 6e 74 65 | 72 20 54 65 61 6d 73 20 |plemente|r Teams |
|00001320| 28 41 45 54 45 43 48 2c | 20 54 61 72 74 61 6e 2c |(AETECH,| Tartan,|
|00001330| 20 41 6c 73 79 73 20 5b | 54 65 6c 65 73 6f 66 74 | Alsys [|Telesoft|
|00001340| 5d 29 2c 0a 74 68 65 20 | 41 64 61 20 39 58 20 49 |]),.the |Ada 9X I|
|00001350| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 20 41 6e |mplement|ation An|
|00001360| 61 6c 79 73 69 73 20 54 | 65 61 6d 20 28 4e 65 77 |alysis T|eam (New|
|00001370| 20 59 6f 72 6b 0a 55 6e | 69 76 65 72 73 69 74 79 | York.Un|iversity|
|00001380| 29 2c 20 61 6e 64 20 74 | 68 65 20 56 6f 6c 75 6e |), and t|he Volun|
|00001390| 74 65 65 72 20 52 65 76 | 69 65 77 65 72 73 20 67 |teer Rev|iewers g|
|000013a0| 72 6f 75 70 20 75 6e 64 | 65 72 20 41 72 74 0a 45 |roup und|er Art.E|
|000013b0| 76 61 6e 73 20 28 63 6f | 6e 73 75 6c 74 61 6e 74 |vans (co|nsultant|
|000013c0| 29 2e 0a 3c 2f 70 3e 0a | 3c 70 3e 0a 20 20 20 54 |)..</p>.|<p>. T|
|000013d0| 68 65 20 70 72 69 6e 63 | 69 70 61 6c 20 61 75 74 |he princ|ipal aut|
|000013e0| 68 6f 72 73 20 6f 66 20 | 74 68 69 73 20 72 61 74 |hors of |this rat|
|000013f0| 69 6f 6e 61 6c 65 20 64 | 6f 63 75 6d 65 6e 74 20 |ionale d|ocument |
|00001400| 77 65 72 65 0a 4a 6f 68 | 6e 20 42 61 72 6e 65 73 |were.Joh|n Barnes|
|00001410| 20 61 6e 64 20 42 65 6e | 20 42 72 6f 73 67 6f 6c | and Ben| Brosgol|
|00001420| 20 77 69 74 68 20 76 61 | 6c 75 61 62 6c 65 20 63 | with va|luable c|
|00001430| 6f 6e 74 72 69 62 75 74 | 69 6f 6e 73 20 66 72 6f |ontribut|ions fro|
|00001440| 6d 0a 4b 65 6e 20 44 72 | 69 74 7a 2c 20 4f 66 66 |m.Ken Dr|itz, Off|
|00001450| 65 72 20 50 61 7a 79 20 | 61 6e 64 20 42 72 69 61 |er Pazy |and Bria|
|00001460| 6e 20 57 69 63 68 6d 61 | 6e 6e 2e 20 20 4d 61 6e |n Wichma|nn. Man|
|00001470| 79 20 74 68 61 6e 6b 73 | 20 61 6c 73 6f 0a 74 6f |y thanks| also.to|
|00001480| 20 20 42 69 6c 6c 20 54 | 61 79 6c 6f 72 20 66 6f | Bill T|aylor fo|
|00001490| 72 20 70 72 6f 76 69 64 | 69 6e 67 20 74 68 65 20 |r provid|ing the |
|000014a0| 6d 61 74 65 72 69 61 6c | 20 75 70 6f 6e 20 77 68 |material| upon wh|
|000014b0| 69 63 68 20 41 70 70 65 | 6e 64 69 78 0a 58 20 69 |ich Appe|ndix.X i|
|000014c0| 73 20 62 61 73 65 64 2c | 20 61 6e 64 20 74 6f 20 |s based,| and to |
|000014d0| 54 75 63 6b 65 72 20 54 | 61 66 74 20 61 6e 64 20 |Tucker T|aft and |
|000014e0| 52 6f 62 65 72 74 20 44 | 75 66 66 20 66 6f 72 20 |Robert D|uff for |
|000014f0| 74 68 65 69 72 0a 63 6f | 6d 6d 65 6e 74 73 20 61 |their.co|mments a|
|00001500| 6e 64 20 72 65 76 69 65 | 77 2e 0a 3c 2f 70 3e 0a |nd revie|w..</p>.|
|00001510| 3c 70 3e 0a 20 20 20 56 | 65 72 79 20 73 70 65 63 |<p>. V|ery spec|
|00001520| 69 61 6c 20 74 68 61 6e | 6b 73 20 67 6f 20 74 6f |ial than|ks go to|
|00001530| 20 56 69 72 67 69 6e 69 | 61 20 43 61 73 74 6f 72 | Virgini|a Castor|
|00001540| 2c 20 4a 6f 68 6e 20 53 | 6f 6c 6f 6d 6f 6e 64 0a |, John S|olomond.|
|00001550| 61 6e 64 20 44 6f 6e 20 | 52 65 69 66 65 72 20 66 |and Don |Reifer f|
|00001560| 72 6f 6d 20 74 68 65 20 | 41 64 61 20 4a 6f 69 6e |rom the |Ada Join|
|00001570| 74 20 50 72 6f 67 72 61 | 6d 20 4f 66 66 69 63 65 |t Progra|m Office|
|00001580| 20 66 6f 72 0a 73 75 70 | 70 6f 72 74 69 6e 67 20 | for.sup|porting |
|00001590| 61 6e 64 20 73 70 6f 6e | 73 6f 72 69 6e 67 20 74 |and spon|soring t|
|000015a0| 68 65 20 41 64 61 20 39 | 58 20 50 72 6f 6a 65 63 |he Ada 9|X Projec|
|000015b0| 74 20 73 69 6e 63 65 20 | 69 74 73 0a 69 6e 63 65 |t since |its.ince|
|000015c0| 70 74 69 6f 6e 2c 20 61 | 6e 64 20 74 6f 20 42 6f |ption, a|nd to Bo|
|000015d0| 62 20 4d 61 74 68 69 73 | 2c 20 43 6f 6e 76 65 6e |b Mathis|, Conven|
|000015e0| 6f 72 20 6f 66 20 49 53 | 4f 2f 49 45 43 20 4a 54 |or of IS|O/IEC JT|
|000015f0| 43 31 2f 53 43 32 32 0a | 57 6f 72 6b 69 6e 67 20 |C1/SC22.|Working |
|00001600| 47 72 6f 75 70 20 39 2c | 20 66 6f 72 20 73 68 65 |Group 9,| for she|
|00001610| 70 68 65 72 64 69 6e 67 | 20 74 68 65 20 72 65 76 |pherding| the rev|
|00001620| 69 73 69 6f 6e 20 74 68 | 72 6f 75 67 68 20 74 68 |ision th|rough th|
|00001630| 65 0a 73 74 61 6e 64 61 | 72 64 69 7a 61 74 69 6f |e.standa|rdizatio|
|00001640| 6e 20 70 72 6f 63 65 73 | 73 2e 0a 3c 2f 70 3e 0a |n proces|s..</p>.|
|00001650| 3c 70 3e 0a 20 20 20 4c | 61 73 74 20 62 75 74 20 |<p>. L|ast but |
|00001660| 6e 6f 74 20 6c 65 61 73 | 74 2c 20 49 20 77 61 6e |not leas|t, I wan|
|00001670| 74 20 74 6f 20 65 78 74 | 65 6e 64 20 6d 79 20 73 |t to ext|end my s|
|00001680| 69 6e 63 65 72 65 73 74 | 0a 61 70 70 72 65 63 69 |incerest|.appreci|
|00001690| 61 74 69 6f 6e 20 74 6f | 20 74 68 65 20 41 64 61 |ation to| the Ada|
|000016a0| 20 63 6f 6d 6d 75 6e 69 | 74 79 20 61 74 20 6c 61 | communi|ty at la|
|000016b0| 72 67 65 20 77 68 6f 20 | 68 61 76 65 0a 76 6f 6c |rge who |have.vol|
|000016c0| 75 6e 74 65 65 72 65 64 | 20 74 68 65 69 72 20 74 |unteered| their t|
|000016d0| 69 6d 65 20 61 6e 64 20 | 65 6e 65 72 67 79 20 6f |ime and |energy o|
|000016e0| 6e 20 74 68 69 73 20 70 | 72 6f 6a 65 63 74 2e 20 |n this p|roject. |
|000016f0| 20 57 69 74 68 6f 75 74 | 0a 79 6f 75 72 20 73 75 | Without|.your su|
|00001700| 70 70 6f 72 74 20 77 65 | 20 77 6f 75 6c 64 20 6e |pport we| would n|
|00001710| 6f 74 20 68 61 76 65 20 | 62 65 65 6e 20 61 62 6c |ot have |been abl|
|00001720| 65 20 74 6f 20 73 75 63 | 63 65 65 64 2e 0a 3c 2f |e to suc|ceed..</|
|00001730| 70 3e 0a 3c 70 3e 0a 20 | 20 20 41 64 61 20 39 35 |p>.<p>. | Ada 95|
|00001740| 20 69 73 20 68 65 72 65 | 2e 20 20 49 74 20 69 73 | is here|. It is|
|00001750| 20 6e 6f 77 20 75 70 20 | 74 6f 20 74 68 65 20 75 | now up |to the u|
|00001760| 73 65 72 73 2c 20 62 6f | 74 68 20 74 68 6f 73 65 |sers, bo|th those|
|00001770| 0a 77 68 6f 20 68 61 76 | 65 20 61 70 70 72 65 63 |.who hav|e apprec|
|00001780| 69 61 74 65 64 20 74 68 | 65 20 65 6e 67 69 6e 65 |iated th|e engine|
|00001790| 65 72 69 6e 67 20 62 65 | 6e 65 66 69 74 73 20 6f |ering be|nefits o|
|000017a0| 66 20 41 64 61 20 38 33 | 20 61 6e 64 0a 6f 74 68 |f Ada 83| and.oth|
|000017b0| 65 72 73 20 77 68 6f 20 | 6d 61 79 20 62 65 20 66 |ers who |may be f|
|000017c0| 72 75 73 74 72 61 74 65 | 64 20 77 69 74 68 20 74 |rustrate|d with t|
|000017d0| 68 65 20 68 61 7a 61 72 | 64 73 20 6f 66 20 74 68 |he hazar|ds of th|
|000017e0| 65 69 72 0a 63 75 72 72 | 65 6e 74 20 74 65 63 68 |eir.curr|ent tech|
|000017f0| 6e 69 71 75 65 73 2c 20 | 74 6f 20 6d 6f 76 65 20 |niques, |to move |
|00001800| 66 6f 72 77 61 72 64 20 | 61 6e 64 20 72 65 61 70 |forward |and reap|
|00001810| 20 74 68 65 20 62 65 6e | 65 66 69 74 73 20 6f 66 | the ben|efits of|
|00001820| 0a 74 68 69 73 20 6e 65 | 77 20 6c 61 6e 67 75 61 |.this ne|w langua|
|00001830| 67 65 2e 0a 3c 2f 70 3e | 0a 0a 3c 69 3e 0a 43 68 |ge..</p>|..<i>.Ch|
|00001840| 72 69 73 74 69 6e 65 20 | 4d 2e 20 41 6e 64 65 72 |ristine |M. Ander|
|00001850| 73 6f 6e 2c 0a 3c 62 72 | 3e 0a 41 64 61 20 39 58 |son,.<br|>.Ada 9X|
|00001860| 20 50 72 6f 6a 65 63 74 | 20 4d 61 6e 61 67 65 72 | Project| Manager|
|00001870| 0a 3c 2f 69 3e 0a 0a 3c | 68 72 3e 0a 3c 61 20 68 |.</i>..<|hr>.<a h|
|00001880| 72 65 66 3d 72 61 74 39 | 35 2d 63 6f 70 79 72 69 |ref=rat9|5-copyri|
|00001890| 67 68 74 2e 68 74 6d 6c | 3e 20 43 6f 70 79 72 69 |ght.html|> Copyri|
|000018a0| 67 68 74 20 3c 2f 61 3e | 20 7c 0a 3c 61 20 68 72 |ght </a>| |.<a hr|
|000018b0| 65 66 3d 72 61 74 39 35 | 2d 63 6f 6e 74 65 6e 74 |ef=rat95|-content|
|000018c0| 73 2e 68 74 6d 6c 3e 20 | 43 6f 6e 74 65 6e 74 73 |s.html> |Contents|
|000018d0| 20 3c 2f 61 3e 20 7c 0a | 3c 61 20 68 72 65 66 3d | </a> |.|<a href=|
|000018e0| 72 61 74 39 35 2d 69 6e | 64 65 78 2e 68 74 6d 6c |rat95-in|dex.html|
|000018f0| 3e 20 49 6e 64 65 78 20 | 3c 2f 61 3e 20 7c 0a 3c |> Index |</a> |.<|
|00001900| 61 20 68 72 65 66 3d 72 | 61 74 39 35 2d 63 6f 70 |a href=r|at95-cop|
|00001910| 79 72 69 67 68 74 2e 68 | 74 6d 6c 3e 20 50 72 65 |yright.h|tml> Pre|
|00001920| 76 69 6f 75 73 20 3c 2f | 61 3e 20 7c 0a 3c 61 20 |vious </|a> |.<a |
|00001930| 68 72 65 66 3d 72 61 74 | 39 35 2d 70 72 65 66 61 |href=rat|95-prefa|
|00001940| 63 65 2e 68 74 6d 6c 3e | 20 4e 65 78 74 20 3c 2f |ce.html>| Next </|
|00001950| 61 3e 0a 0a 3c 68 72 3e | 0a 3c 61 64 64 72 65 73 |a>..<hr>|.<addres|
|00001960| 73 3e 0a 3c 61 20 68 72 | 65 66 3d 72 61 74 39 35 |s>.<a hr|ef=rat95|
|00001970| 2d 61 75 74 68 6f 72 2e | 68 74 6d 6c 3e 20 4c 61 |-author.|html> La|
|00001980| 75 72 65 6e 74 20 47 75 | 65 72 62 79 20 3c 2f 61 |urent Gu|erby </a|
|00001990| 3e 0a 3c 2f 61 64 64 72 | 65 73 73 3e 0a 0a 0a 0a |>.</addr|ess>....|
|000019a0| 3c 2f 62 6f 64 79 3e 0a | 3c 2f 68 74 6d 6c 3e 0a |</body>.|</html>.|
|000019b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000019c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000019d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000019e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000019f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001a00| 72 61 74 39 35 68 74 6d | 6c 2f 72 61 74 39 35 2d |rat95htm|l/rat95-|
|00001a10| 70 32 2d 31 2e 68 74 6d | 6c 00 00 00 00 00 00 00 |p2-1.htm|l.......|
|00001a20| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001a30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001a40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001a50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001a60| 00 00 00 00 31 30 30 36 | 34 34 20 00 20 20 32 31 |....1006|44 . 21|
|00001a70| 33 36 20 00 20 20 20 20 | 35 30 20 00 20 20 20 20 |36 . |50 . |
|00001a80| 20 20 33 34 35 31 37 20 | 20 36 31 30 34 32 33 36 | 34517 | 6104236|
|00001a90| 31 33 36 20 20 31 33 32 | 34 33 00 20 30 00 00 00 |136 132|43. 0...|
|00001aa0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001ab0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001ac0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001ad0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001ae0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001af0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b00| 00 75 73 74 61 72 20 20 | 00 67 75 65 72 62 79 00 |.ustar |.guerby.|
|00001b10| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b20| 00 00 00 00 00 00 00 00 | 00 33 41 00 00 00 00 00 |........|.3A.....|
|00001b30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b60| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b70| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b80| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001b90| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001ba0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001bb0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001bc0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001bd0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001be0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001bf0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00001c00| 3c 68 74 6d 6c 3e 0a 3c | 68 65 61 64 3e 0a 3c 74 |<html>.<|head>.<t|
|00001c10| 69 74 6c 65 3e 0a 48 79 | 70 65 72 74 65 78 74 20 |itle>.Hy|pertext |
|00001c20| 41 64 61 20 39 35 20 52 | 61 74 69 6f 6e 61 6c 65 |Ada 95 R|ationale|
|00001c30| 20 2d 20 50 61 72 74 20 | 54 77 6f 20 2d 20 43 68 | - Part |Two - Ch|
|00001c40| 61 70 74 65 72 20 31 0a | 3c 2f 74 69 74 6c 65 3e |apter 1.|</title>|
|00001c50| 0a 3c 2f 68 65 61 64 3e | 0a 0a 3c 62 6f 64 79 3e |.</head>|..<body>|
|00001c60| 0a 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d |..<a hre|f=rat95-|
|00001c70| 63 6f 70 79 72 69 67 68 | 74 2e 68 74 6d 6c 3e 20 |copyrigh|t.html> |
|00001c80| 43 6f 70 79 72 69 67 68 | 74 20 3c 2f 61 3e 20 7c |Copyrigh|t </a> ||
|00001c90| 0a 3c 61 20 68 72 65 66 | 3d 72 61 74 39 35 2d 63 |.<a href|=rat95-c|
|00001ca0| 6f 6e 74 65 6e 74 73 2e | 68 74 6d 6c 3e 20 43 6f |ontents.|html> Co|
|00001cb0| 6e 74 65 6e 74 73 20 3c | 2f 61 3e 20 7c 0a 3c 61 |ntents <|/a> |.<a|
|00001cc0| 20 68 72 65 66 3d 72 61 | 74 39 35 2d 69 6e 64 65 | href=ra|t95-inde|
|00001cd0| 78 2e 68 74 6d 6c 3e 20 | 49 6e 64 65 78 20 3c 2f |x.html> |Index </|
|00001ce0| 61 3e 20 7c 0a 3c 61 20 | 68 72 65 66 3d 72 61 74 |a> |.<a |href=rat|
|00001cf0| 39 35 2d 70 32 2e 68 74 | 6d 6c 3e 20 50 72 65 76 |95-p2.ht|ml> Prev|
|00001d00| 69 6f 75 73 20 3c 2f 61 | 3e 20 7c 0a 3c 61 20 68 |ious </a|> |.<a h|
|00001d10| 72 65 66 3d 72 61 74 39 | 35 2d 70 32 2d 32 2e 68 |ref=rat9|5-p2-2.h|
|00001d20| 74 6d 6c 3e 20 4e 65 78 | 74 20 3c 2f 61 3e 0a 3c |tml> Nex|t </a>.<|
|00001d30| 68 72 3e 0a 0a 3c 68 31 | 3e 0a 31 20 20 20 49 6e |hr>..<h1|>.1 In|
|00001d40| 74 72 6f 64 75 63 74 69 | 6f 6e 0a 3c 2f 68 31 3e |troducti|on.</h1>|
|00001d50| 0a 0a 3c 70 3e 0a 54 68 | 69 73 20 73 65 63 6f 6e |..<p>.Th|is secon|
|00001d60| 64 20 70 61 72 74 20 6f | 66 20 74 68 65 20 72 61 |d part o|f the ra|
|00001d70| 74 69 6f 6e 61 6c 65 20 | 69 73 20 61 72 72 61 6e |tionale |is arran|
|00001d80| 67 65 64 20 74 6f 20 67 | 65 6e 65 72 61 6c 6c 79 |ged to g|enerally|
|00001d90| 20 63 6f 72 72 65 73 70 | 6f 6e 64 20 74 6f 0a 74 | corresp|ond to.t|
|00001da0| 68 65 20 73 65 63 74 69 | 6f 6e 73 20 69 6e 20 74 |he secti|ons in t|
|00001db0| 68 65 20 41 64 61 20 39 | 35 20 52 65 66 65 72 65 |he Ada 9|5 Refere|
|00001dc0| 6e 63 65 20 4d 61 6e 75 | 61 6c 20 5b 52 4d 39 35 |nce Manu|al [RM95|
|00001dd0| 5d 2e 20 20 54 68 75 73 | 20 74 68 65 20 64 69 73 |]. Thus| the dis|
|00001de0| 63 75 73 73 69 6f 6e 0a | 6f 6e 20 65 78 63 65 70 |cussion.|on excep|
|00001df0| 74 69 6f 6e 73 20 77 68 | 69 63 68 20 69 73 20 63 |tions wh|ich is c|
|00001e00| 6f 76 65 72 65 64 20 69 | 6e 20 73 65 63 74 69 6f |overed i|n sectio|
|00001e10| 6e 20 31 31 20 6f 66 20 | 5b 52 4d 39 35 5d 20 77 |n 11 of |[RM95] w|
|00001e20| 69 6c 6c 20 62 65 20 66 | 6f 75 6e 64 20 69 6e 0a |ill be f|ound in.|
|00001e30| 43 68 61 70 74 65 72 20 | 31 31 20 6f 66 20 74 68 |Chapter |11 of th|
|00001e40| 69 73 20 70 61 72 74 2e | 20 20 54 68 65 20 6f 6e |is part.| The on|
|00001e50| 6c 79 20 65 78 63 65 70 | 74 69 6f 6e 20 74 6f 20 |ly excep|tion to |
|00001e60| 74 68 69 73 20 69 73 20 | 74 68 61 74 20 74 68 65 |this is |that the|
|00001e70| 20 6d 61 74 65 72 69 61 | 6c 0a 63 6f 76 65 72 65 | materia|l.covere|
|00001e80| 64 20 62 79 20 73 65 63 | 74 69 6f 6e 73 20 33 20 |d by sec|tions 3 |
|00001e90| 61 6e 64 20 34 20 6f 66 | 20 5b 52 4d 39 35 5d 20 |and 4 of| [RM95] |
|00001ea0| 69 73 20 73 75 62 64 69 | 76 69 64 65 64 20 64 69 |is subdi|vided di|
|00001eb0| 66 66 65 72 65 6e 74 6c | 79 2e 20 20 43 68 61 70 |fferentl|y. Chap|
|00001ec0| 74 65 72 0a 33 20 6f 66 | 20 74 68 69 73 20 76 6f |ter.3 of| this vo|
|00001ed0| 6c 75 6d 65 20 63 6f 76 | 65 72 73 20 74 79 70 65 |lume cov|ers type|
|00001ee0| 73 20 61 6e 64 20 65 78 | 70 72 65 73 73 69 6f 6e |s and ex|pression|
|00001ef0| 73 20 69 6e 20 67 65 6e | 65 72 61 6c 20 77 68 65 |s in gen|eral whe|
|00001f00| 72 65 61 73 20 43 68 61 | 70 74 65 72 0a 34 20 63 |reas Cha|pter.4 c|
|00001f10| 6f 6e 63 65 6e 74 72 61 | 74 65 73 20 6f 6e 20 74 |oncentra|tes on t|
|00001f20| 68 65 20 6f 62 6a 65 63 | 74 20 6f 72 69 65 6e 74 |he objec|t orient|
|00001f30| 65 64 20 66 65 61 74 75 | 72 65 73 20 73 75 63 68 |ed featu|res such|
|00001f40| 20 61 73 20 74 79 70 65 | 20 65 78 74 65 6e 73 69 | as type| extensi|
|00001f50| 6f 6e 20 61 6e 64 0a 63 | 6c 61 73 73 2d 77 69 64 |on and.c|lass-wid|
|00001f60| 65 20 74 79 70 65 73 2e | 0a 3c 2f 70 3e 0a 3c 70 |e types.|.</p>.<p|
|00001f70| 3e 0a 49 6e 20 61 20 73 | 69 6d 69 6c 61 72 20 77 |>.In a s|imilar w|
|00001f80| 61 79 20 74 68 65 20 63 | 68 61 70 74 65 72 73 20 |ay the c|hapters |
|00001f90| 6f 66 20 74 68 65 20 74 | 68 69 72 64 20 70 61 72 |of the t|hird par|
|00001fa0| 74 20 63 6f 72 72 65 73 | 70 6f 6e 64 20 74 6f 20 |t corres|pond to |
|00001fb0| 74 68 65 0a 61 6e 6e 65 | 78 65 73 20 6f 66 20 5b |the.anne|xes of [|
|00001fc0| 52 4d 20 39 35 5d 3b 20 | 74 68 75 73 20 63 68 61 |RM 95]; |thus cha|
|00001fd0| 70 74 65 72 20 43 20 64 | 69 73 63 75 73 73 65 73 |pter C d|iscusses|
|00001fe0| 20 74 68 65 20 53 79 73 | 74 65 6d 73 20 50 72 6f | the Sys|tems Pro|
|00001ff0| 67 72 61 6d 6d 69 6e 67 | 0a 41 6e 6e 65 78 20 77 |gramming|.Annex w|
|00002000| 68 69 63 68 20 69 73 20 | 61 6e 6e 65 78 20 43 20 |hich is |annex C |
|00002010| 6f 66 20 5b 52 4d 20 39 | 35 5d 2e 0a 3c 2f 70 3e |of [RM 9|5]..</p>|
|00002020| 0a 3c 70 3e 0a 20 20 20 | 45 61 63 68 20 63 68 61 |.<p>. |Each cha|
|00002030| 70 74 65 72 20 6f 66 20 | 74 68 69 73 20 73 65 63 |pter of |this sec|
|00002040| 6f 6e 64 20 70 61 72 74 | 20 73 74 61 72 74 73 20 |ond part| starts |
|00002050| 77 69 74 68 20 61 20 62 | 72 69 65 66 20 73 75 6d |with a b|rief sum|
|00002060| 6d 61 72 79 20 6f 66 20 | 74 68 65 0a 63 68 61 6e |mary of |the.chan|
|00002070| 67 65 73 2c 20 74 68 65 | 72 65 20 61 72 65 20 74 |ges, the|re are t|
|00002080| 68 65 6e 20 61 20 6e 75 | 6d 62 65 72 20 6f 66 20 |hen a nu|mber of |
|00002090| 73 65 63 74 69 6f 6e 73 | 20 61 64 64 72 65 73 73 |sections| address|
|000020a0| 69 6e 67 20 74 68 65 20 | 76 61 72 69 6f 75 73 0a |ing the |various.|
|000020b0| 74 6f 70 69 63 73 2c 20 | 61 6e 64 20 66 69 6e 61 |topics, |and fina|
|000020c0| 6c 6c 79 20 74 68 65 72 | 65 20 69 73 20 61 20 73 |lly ther|e is a s|
|000020d0| 75 6d 6d 61 72 79 20 6f | 66 20 74 68 65 20 72 65 |ummary o|f the re|
|000020e0| 71 75 69 72 65 6d 65 6e | 74 73 20 61 64 64 72 65 |quiremen|ts addre|
|000020f0| 73 73 65 64 20 62 79 0a | 74 68 65 20 63 68 61 70 |ssed by.|the chap|
|00002100| 74 65 72 2e 0a 3c 2f 70 | 3e 0a 3c 70 3e 0a 20 20 |ter..</p|>.<p>. |
|00002110| 20 54 68 69 73 20 66 69 | 72 73 74 20 63 68 61 70 | This fi|rst chap|
|00002120| 74 65 72 20 62 72 69 65 | 66 6c 79 20 63 6f 76 65 |ter brie|fly cove|
|00002130| 72 73 20 74 68 65 20 66 | 6f 6c 6c 6f 77 69 6e 67 |rs the f|ollowing|
|00002140| 20 67 65 6e 65 72 61 6c | 20 69 73 73 75 65 73 0a | general| issues.|
|00002150| 3c 2f 70 3e 0a 3c 75 6c | 3e 0a 3c 6c 69 3e 0a 20 |</p>.<ul|>.<li>. |
|00002160| 20 20 20 54 68 65 20 64 | 65 73 63 72 69 70 74 69 | The d|escripti|
|00002170| 6f 6e 20 6f 66 20 41 64 | 61 20 39 35 20 75 73 65 |on of Ad|a 95 use|
|00002180| 73 20 6d 6f 72 65 20 64 | 65 66 69 6e 65 64 20 74 |s more d|efined t|
|00002190| 65 72 6d 73 20 61 6e 64 | 20 74 68 65 72 65 20 69 |erms and| there i|
|000021a0| 73 20 6c 65 73 73 0a 20 | 20 20 20 20 72 65 6c 69 |s less. | reli|
|000021b0| 61 6e 63 65 20 6f 6e 20 | 69 6e 66 6f 72 6d 61 6c |ance on |informal|
|000021c0| 20 45 6e 67 6c 69 73 68 | 2e 0a 3c 6c 69 3e 0a 20 | English|..<li>. |
|000021d0| 20 20 20 54 68 65 20 73 | 79 6e 74 61 78 20 69 73 | The s|yntax is|
|000021e0| 20 65 78 70 61 6e 64 65 | 64 20 74 6f 20 62 72 69 | expande|d to bri|
|000021f0| 6e 67 20 6d 6f 72 65 20 | 72 75 6c 65 73 20 69 6e |ng more |rules in|
|00002200| 74 6f 20 74 68 65 20 73 | 79 6e 74 61 78 20 61 6e |to the s|yntax an|
|00002210| 64 20 74 6f 0a 20 20 20 | 20 20 69 6e 63 72 65 61 |d to. | increa|
|00002220| 73 65 20 63 6c 61 72 69 | 74 79 2e 0a 3c 6c 69 3e |se clari|ty..<li>|
|00002230| 0a 20 20 20 20 54 68 65 | 20 63 61 74 65 67 6f 72 |. The| categor|
|00002240| 69 7a 61 74 69 6f 6e 20 | 6f 66 20 65 72 72 6f 72 |ization |of error|
|00002250| 73 20 69 73 20 72 65 76 | 69 73 65 64 20 61 6e 64 |s is rev|ised and|
|00002260| 20 69 6e 63 6c 75 64 65 | 73 20 74 68 65 0a 20 20 | include|s the. |
|00002270| 20 20 20 69 6e 74 72 6f | 64 75 63 74 69 6f 6e 20 | intro|duction |
|00002280| 6f 66 20 74 68 65 20 63 | 6f 6e 63 65 70 74 20 6f |of the c|oncept o|
|00002290| 66 20 62 6f 75 6e 64 65 | 64 20 65 72 72 6f 72 73 |f bounde|d errors|
|000022a0| 2e 0a 3c 2f 75 6c 3e 0a | 3c 70 3e 0a 48 6f 77 65 |..</ul>.|<p>.Howe|
|000022b0| 76 65 72 2c 20 62 65 66 | 6f 72 65 20 67 65 74 74 |ver, bef|ore gett|
|000022c0| 69 6e 67 20 64 6f 77 6e | 20 74 6f 20 64 65 74 61 |ing down| to deta|
|000022d0| 69 6c 20 69 74 20 69 73 | 20 61 70 70 72 6f 70 72 |il it is| appropr|
|000022e0| 69 61 74 65 20 74 6f 20 | 73 74 61 72 74 20 77 69 |iate to |start wi|
|000022f0| 74 68 20 61 0a 66 65 77 | 20 77 6f 72 64 73 20 61 |th a.few| words a|
|00002300| 62 6f 75 74 20 74 68 65 | 20 61 70 70 72 6f 61 63 |bout the| approac|
|00002310| 68 20 61 64 6f 70 74 65 | 64 20 69 6e 20 74 68 65 |h adopte|d in the|
|00002320| 20 64 65 76 65 6c 6f 70 | 6d 65 6e 74 20 6f 66 20 | develop|ment of |
|00002330| 41 64 61 20 39 35 2e 0a | 3c 2f 70 3e 0a 0a 3c 68 |Ada 95..|</p>..<h|
|00002340| 32 3e 0a 3c 61 20 6e 61 | 6d 65 3d 31 3e 0a 31 2e |2>.<a na|me=1>.1.|
|00002350| 31 20 20 4f 76 65 72 61 | 6c 6c 20 41 70 70 72 6f |1 Overa|ll Appro|
|00002360| 61 63 68 0a 3c 2f 61 3e | 0a 3c 2f 68 32 3e 0a 0a |ach.</a>|.</h2>..|
|00002370| 3c 70 3e 0a 41 64 61 20 | 39 35 20 69 73 20 62 61 |<p>.Ada |95 is ba|
|00002380| 73 65 64 20 6f 6e 20 61 | 20 62 75 69 6c 64 69 6e |sed on a| buildin|
|00002390| 67 20 62 6c 6f 63 6b 20 | 61 70 70 72 6f 61 63 68 |g block |approach|
|000023a0| 2e 20 20 52 61 74 68 65 | 72 20 74 68 61 6e 20 70 |. Rathe|r than p|
|000023b0| 72 6f 76 69 64 69 6e 67 | 20 61 0a 6e 75 6d 62 65 |roviding| a.numbe|
|000023c0| 72 20 6f 66 20 6e 65 77 | 20 6c 61 6e 67 75 61 67 |r of new| languag|
|000023d0| 65 20 66 65 61 74 75 72 | 65 73 20 74 6f 20 64 69 |e featur|es to di|
|000023e0| 72 65 63 74 6c 79 20 73 | 6f 6c 76 65 20 65 61 63 |rectly s|olve eac|
|000023f0| 68 20 69 64 65 6e 74 69 | 66 69 65 64 0a 61 70 70 |h identi|fied.app|
|00002400| 6c 69 63 61 74 69 6f 6e | 20 70 72 6f 62 6c 65 6d |lication| problem|
|00002410| 2c 20 74 68 65 20 65 78 | 74 72 61 20 63 61 70 61 |, the ex|tra capa|
|00002420| 62 69 6c 69 74 79 20 6f | 66 20 41 64 61 20 39 35 |bility o|f Ada 95|
|00002430| 20 69 73 20 70 72 6f 76 | 69 64 65 64 20 62 79 20 | is prov|ided by |
|00002440| 61 20 66 65 77 0a 70 72 | 69 6d 69 74 69 76 65 20 |a few.pr|imitive |
|00002450| 6c 61 6e 67 75 61 67 65 | 20 62 75 69 6c 64 69 6e |language| buildin|
|00002460| 67 20 62 6c 6f 63 6b 73 | 2e 20 20 49 6e 20 63 6f |g blocks|. In co|
|00002470| 6d 62 69 6e 61 74 69 6f | 6e 2c 20 74 68 65 73 65 |mbinatio|n, these|
|00002480| 20 62 75 69 6c 64 69 6e | 67 0a 62 6c 6f 63 6b 73 | buildin|g.blocks|
|00002490| 20 65 6e 61 62 6c 65 20 | 70 72 6f 67 72 61 6d 6d | enable |programm|
|000024a0| 65 72 73 20 74 6f 20 73 | 6f 6c 76 65 20 6d 6f 72 |ers to s|olve mor|
|000024b0| 65 20 61 70 70 6c 69 63 | 61 74 69 6f 6e 20 70 72 |e applic|ation pr|
|000024c0| 6f 62 6c 65 6d 73 20 65 | 66 66 69 63 69 65 6e 74 |oblems e|fficient|
|000024d0| 6c 79 0a 61 6e 64 20 70 | 72 6f 64 75 63 74 69 76 |ly.and p|roductiv|
|000024e0| 65 6c 79 2e 0a 3c 2f 70 | 3e 0a 3c 70 3e 0a 20 20 |ely..</p|>.<p>. |
|000024f0| 20 54 68 75 73 20 69 6e | 20 74 68 65 20 63 61 73 | Thus in| the cas|
|00002500| 65 20 6f 66 20 74 68 65 | 20 6f 62 6a 65 63 74 20 |e of the| object |
|00002510| 6f 72 69 65 6e 74 65 64 | 20 61 72 65 61 2c 20 6d |oriented| area, m|
|00002520| 75 63 68 20 6f 66 20 74 | 68 65 20 63 61 70 61 62 |uch of t|he capab|
|00002530| 69 6c 69 74 79 0a 69 73 | 20 70 72 6f 76 69 64 65 |ility.is| provide|
|00002540| 64 20 62 79 20 74 68 65 | 20 69 6e 74 65 72 77 65 |d by the| interwe|
|00002550| 61 76 69 6e 67 20 6f 66 | 20 74 68 65 20 70 72 6f |aving of| the pro|
|00002560| 70 65 72 74 69 65 73 20 | 6f 66 20 74 79 70 65 20 |perties |of type |
|00002570| 65 78 74 65 6e 73 69 6f | 6e 2c 20 74 68 65 0a 63 |extensio|n, the.c|
|00002580| 68 69 6c 64 20 6c 69 62 | 72 61 72 69 65 73 20 61 |hild lib|raries a|
|00002590| 6e 64 20 67 65 6e 65 72 | 69 63 20 70 61 63 6b 61 |nd gener|ic packa|
|000025a0| 67 65 73 2e 20 20 47 72 | 65 61 74 20 63 61 72 65 |ges. Gr|eat care|
|000025b0| 20 68 61 73 20 62 65 65 | 6e 20 74 61 6b 65 6e 20 | has bee|n taken |
|000025c0| 74 6f 0a 65 6e 73 75 72 | 65 20 74 68 61 74 20 74 |to.ensur|e that t|
|000025d0| 68 65 20 61 64 64 69 74 | 69 6f 6e 61 6c 20 62 75 |he addit|ional bu|
|000025e0| 69 6c 64 69 6e 67 20 62 | 6c 6f 63 6b 73 20 77 6f |ilding b|locks wo|
|000025f0| 72 6b 20 74 6f 67 65 74 | 68 65 72 20 69 6e 20 61 |rk toget|her in a|
|00002600| 20 63 6f 68 65 73 69 76 | 65 0a 61 6e 64 20 68 65 | cohesiv|e.and he|
|00002610| 6c 70 66 75 6c 20 6d 61 | 6e 6e 65 72 2e 20 20 4e |lpful ma|nner. N|
|00002620| 65 76 65 72 74 68 65 6c | 65 73 73 20 69 6d 70 6c |everthel|ess impl|
|00002630| 65 6d 65 6e 74 61 74 69 | 6f 6e 20 61 6e 64 20 75 |ementati|on and u|
|00002640| 6e 64 65 72 73 74 61 6e | 64 61 62 69 6c 69 74 79 |nderstan|dability|
|00002650| 0a 63 6f 6e 73 69 64 65 | 72 61 74 69 6f 6e 73 20 |.conside|rations |
|00002660| 68 61 76 65 20 73 6f 6d | 65 74 69 6d 65 73 20 63 |have som|etimes c|
|00002670| 61 75 73 65 64 20 73 6f | 6d 65 20 72 65 73 74 72 |aused so|me restr|
|00002680| 69 63 74 69 6f 6e 73 20 | 74 6f 20 62 65 20 69 6d |ictions |to be im|
|00002690| 70 6f 73 65 64 2e 20 20 | 41 6e 0a 65 78 61 6d 70 |posed. |An.examp|
|000026a0| 6c 65 20 69 73 20 74 68 | 61 74 20 74 79 70 65 20 |le is th|at type |
|000026b0| 65 78 74 65 6e 73 69 6f | 6e 20 6f 66 20 61 20 66 |extensio|n of a f|
|000026c0| 6f 72 6d 61 6c 20 67 65 | 6e 65 72 69 63 20 70 61 |ormal ge|neric pa|
|000026d0| 72 61 6d 65 74 65 72 20 | 69 73 20 6e 6f 74 0a 70 |rameter |is not.p|
|000026e0| 65 72 6d 69 74 74 65 64 | 20 69 6e 20 61 20 67 65 |ermitted| in a ge|
|000026f0| 6e 65 72 69 63 20 62 6f | 64 79 20 28 77 68 69 63 |neric bo|dy (whic|
|00002700| 68 20 77 6f 75 6c 64 20 | 65 69 74 68 65 72 20 62 |h would |either b|
|00002710| 72 65 61 6b 20 74 68 65 | 20 63 6f 6e 74 72 61 63 |reak the| contrac|
|00002720| 74 20 6d 6f 64 65 6c 0a | 6f 72 20 70 6f 73 65 20 |t model.|or pose |
|00002730| 61 6e 20 69 6e 74 6f 6c | 65 72 61 62 6c 65 20 70 |an intol|erable p|
|00002740| 65 72 76 61 73 69 76 65 | 20 69 6d 70 6c 65 6d 65 |ervasive| impleme|
|00002750| 6e 74 61 74 69 6f 6e 20 | 62 75 72 64 65 6e 29 2e |ntation |burden).|
|00002760| 0a 3c 2f 70 3e 0a 3c 70 | 3e 0a 20 20 20 41 6e 20 |.</p>.<p|>. An |
|00002770| 61 72 65 61 20 6f 66 20 | 70 61 72 74 69 63 75 6c |area of |particul|
|00002780| 61 72 20 64 69 66 66 69 | 63 75 6c 74 79 20 69 6e |ar diffi|culty in|
|00002790| 20 74 61 73 6b 69 6e 67 | 20 69 73 20 74 68 65 20 | tasking| is the |
|000027a0| 70 72 6f 76 69 73 69 6f | 6e 20 6f 66 20 6d 75 74 |provisio|n of mut|
|000027b0| 75 61 6c 0a 65 78 63 6c | 75 73 69 6f 6e 20 28 77 |ual.excl|usion (w|
|000027c0| 68 69 63 68 20 69 73 20 | 64 6f 6e 65 20 69 6e 20 |hich is |done in |
|000027d0| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 20 74 |implemen|tation t|
|000027e0| 65 72 6d 73 20 62 79 20 | 69 6d 70 6f 73 69 6e 67 |erms by |imposing|
|000027f0| 20 73 65 6d 61 70 68 6f | 72 65 73 0a 61 6e 64 20 | semapho|res.and |
|00002800| 6c 6f 63 6b 73 20 61 74 | 20 61 70 70 72 6f 70 72 |locks at| appropr|
|00002810| 69 61 74 65 20 70 6c 61 | 63 65 73 29 2e 20 20 4d |iate pla|ces). M|
|00002820| 75 63 68 20 6f 66 20 74 | 68 65 20 64 69 66 66 69 |uch of t|he diffi|
|00002830| 63 75 6c 74 79 20 77 69 | 74 68 20 41 64 61 20 38 |culty wi|th Ada 8|
|00002840| 33 0a 74 61 73 6b 69 6e | 67 20 6c 61 79 20 69 6e |3.taskin|g lay in|
|00002850| 20 74 68 65 20 63 6f 6d | 70 6f 73 69 74 69 6f 6e | the com|position|
|00002860| 20 6f 66 20 66 61 63 69 | 6c 69 74 69 65 73 20 74 | of faci|lities t|
|00002870| 6f 20 70 72 6f 76 69 64 | 65 20 67 65 6e 65 72 61 |o provid|e genera|
|00002880| 6c 20 70 61 72 61 64 69 | 67 6d 73 0a 61 6e 64 20 |l paradi|gms.and |
|00002890| 65 73 70 65 63 69 61 6c | 6c 79 20 74 68 65 20 70 |especial|ly the p|
|000028a0| 72 6f 76 69 73 69 6f 6e | 20 6f 66 20 67 75 61 72 |rovision| of guar|
|000028b0| 64 65 64 20 73 65 72 76 | 69 63 65 73 2e 20 20 41 |ded serv|ices. A|
|000028c0| 74 74 65 6d 70 74 73 20 | 74 6f 20 73 6f 6c 76 65 |ttempts |to solve|
|000028d0| 20 73 75 63 68 0a 70 72 | 6f 62 6c 65 6d 73 20 6f | such.pr|oblems o|
|000028e0| 66 74 65 6e 20 72 65 73 | 75 6c 74 65 64 20 69 6e |ften res|ulted in|
|000028f0| 20 72 61 63 65 20 63 6f | 6e 64 69 74 69 6f 6e 73 | race co|nditions|
|00002900| 20 70 72 65 63 69 73 65 | 6c 79 20 62 65 63 61 75 | precise|ly becau|
|00002910| 73 65 20 74 68 65 0a 66 | 61 63 69 6c 69 74 69 65 |se the.f|acilitie|
|00002920| 73 20 64 69 64 20 6e 6f | 74 20 63 6f 6d 70 6f 73 |s did no|t compos|
|00002930| 65 20 70 72 6f 70 65 72 | 6c 79 2e 20 20 54 68 65 |e proper|ly. The|
|00002940| 20 6f 6e 6c 79 20 73 6f | 6c 75 74 69 6f 6e 20 77 | only so|lution w|
|00002950| 61 73 20 70 61 72 61 64 | 69 67 6d 0a 69 6e 76 65 |as parad|igm.inve|
|00002960| 72 73 69 6f 6e 20 77 68 | 65 72 65 62 79 20 74 68 |rsion wh|ereby th|
|00002970| 65 20 68 69 67 68 20 6c | 65 76 65 6c 20 74 61 73 |e high l|evel tas|
|00002980| 6b 69 6e 67 20 6d 6f 64 | 65 6c 20 77 61 73 20 75 |king mod|el was u|
|00002990| 73 65 64 20 74 6f 20 70 | 72 6f 76 69 64 65 2c 20 |sed to p|rovide, |
|000029a0| 69 6e 0a 65 73 73 65 6e | 63 65 2c 20 73 6f 6d 65 |in.essen|ce, some|
|000029b0| 20 6c 6f 77 2d 6c 65 76 | 65 6c 20 73 65 6d 61 70 | low-lev|el semap|
|000029c0| 68 6f 72 65 20 77 68 69 | 63 68 20 63 6f 75 6c 64 |hore whi|ch could|
|000029d0| 20 74 68 65 6e 20 62 65 | 20 75 73 65 64 20 69 6e | then be| used in|
|000029e0| 20 61 20 6d 65 64 69 65 | 76 61 6c 0a 66 61 73 68 | a medie|val.fash|
|000029f0| 69 6f 6e 2e 20 20 54 68 | 65 20 69 6e 74 72 6f 64 |ion. Th|e introd|
|00002a00| 75 63 74 69 6f 6e 20 6f | 66 20 70 72 6f 74 65 63 |uction o|f protec|
|00002a10| 74 65 64 20 74 79 70 65 | 73 2c 20 62 61 72 72 69 |ted type|s, barri|
|00002a20| 65 72 73 20 61 6e 64 20 | 74 68 65 20 72 65 71 75 |ers and |the requ|
|00002a30| 65 75 65 0a 73 74 61 74 | 65 6d 65 6e 74 20 77 69 |eue.stat|ement wi|
|00002a40| 74 68 20 74 77 6f 20 64 | 69 73 74 69 6e 63 74 20 |th two d|istinct |
|00002a50| 6c 65 76 65 6c 73 20 6f | 66 20 6c 6f 63 6b 69 6e |levels o|f lockin|
|00002a60| 67 20 69 73 20 64 65 73 | 69 67 6e 65 64 20 74 6f |g is des|igned to|
|00002a70| 20 6f 76 65 72 63 6f 6d | 65 0a 74 68 65 73 65 20 | overcom|e.these |
|00002a80| 64 69 66 66 69 63 75 6c | 74 69 65 73 2e 20 20 54 |difficul|ties. T|
|00002a90| 6f 67 65 74 68 65 72 2c | 20 74 68 65 73 65 20 62 |ogether,| these b|
|00002aa0| 75 69 6c 64 69 6e 67 20 | 62 6c 6f 63 6b 73 20 6d |uilding |blocks m|
|00002ab0| 61 79 20 62 65 20 75 73 | 65 64 20 74 6f 0a 70 72 |ay be us|ed to.pr|
|00002ac0| 6f 67 72 61 6d 20 6e 61 | 74 75 72 61 6c 20 61 6e |ogram na|tural an|
|00002ad0| 64 20 65 66 66 69 63 69 | 65 6e 74 20 73 6f 6c 75 |d effici|ent solu|
|00002ae0| 74 69 6f 6e 73 20 74 6f | 20 70 72 6f 62 6c 65 6d |tions to| problem|
|00002af0| 73 20 69 6e 76 6f 6c 76 | 69 6e 67 20 61 20 6d 79 |s involv|ing a my|
|00002b00| 72 69 61 64 20 6f 66 0a | 72 65 61 6c 2d 74 69 6d |riad of.|real-tim|
|00002b10| 65 20 70 61 72 61 64 69 | 67 6d 73 2c 20 69 6e 63 |e paradi|gms, inc|
|00002b20| 6c 75 64 69 6e 67 20 61 | 73 79 6e 63 68 72 6f 6e |luding a|synchron|
|00002b30| 6f 75 73 20 63 6f 6d 6d | 75 6e 69 63 61 74 69 6f |ous comm|unicatio|
|00002b40| 6e 2c 20 65 66 66 69 63 | 69 65 6e 74 0a 6d 75 74 |n, effic|ient.mut|
|00002b50| 75 61 6c 20 65 78 63 6c | 75 73 69 6f 6e 2c 20 62 |ual excl|usion, b|
|00002b60| 61 72 72 69 65 72 20 73 | 79 6e 63 68 72 6f 6e 69 |arrier s|ynchroni|
|00002b70| 7a 61 74 69 6f 6e 2c 20 | 63 6f 75 6e 74 69 6e 67 |zation, |counting|
|00002b80| 20 73 65 6d 61 70 68 6f | 72 65 73 2c 20 61 6e 64 | semapho|res, and|
|00002b90| 0a 62 72 6f 61 64 63 61 | 73 74 20 6f 66 20 61 20 |.broadca|st of a |
|00002ba0| 73 69 67 6e 61 6c 2e 20 | 20 54 6f 20 68 61 76 65 |signal. | To have|
|00002bb0| 20 70 72 6f 76 69 64 65 | 64 20 73 65 70 61 72 61 | provide|d separa|
|00002bc0| 74 65 20 66 65 61 74 75 | 72 65 73 20 74 6f 20 73 |te featu|res to s|
|00002bd0| 6f 6c 76 65 20 65 61 63 | 68 0a 6f 66 20 74 68 65 |olve eac|h.of the|
|00002be0| 73 65 20 70 72 6f 62 6c | 65 6d 73 20 77 6f 75 6c |se probl|ems woul|
|00002bf0| 64 20 68 61 76 65 20 72 | 65 73 75 6c 74 65 64 20 |d have r|esulted |
|00002c00| 69 6e 20 61 20 62 61 72 | 6f 71 75 65 20 6c 61 6e |in a bar|oque lan|
|00002c10| 67 75 61 67 65 20 77 68 | 69 63 68 20 77 6f 75 6c |guage wh|ich woul|
|00002c20| 64 0a 68 61 76 65 20 72 | 75 6e 20 69 6e 74 6f 20 |d.have r|un into |
|00002c30| 64 69 66 66 69 63 75 6c | 74 69 65 73 20 77 68 65 |difficul|ties whe|
|00002c40| 6e 65 76 65 72 20 61 20 | 70 72 6f 62 6c 65 6d 20 |never a |problem |
|00002c50| 69 6d 6d 65 64 69 61 74 | 65 6c 79 20 6f 75 74 73 |immediat|ely outs|
|00002c60| 69 64 65 20 74 68 65 0a | 6f 72 69 67 69 6e 61 6c |ide the.|original|
|00002c70| 20 67 6f 61 6c 73 20 77 | 61 73 20 65 6e 63 6f 75 | goals w|as encou|
|00002c80| 6e 74 65 72 65 64 2e 0a | 3c 2f 70 3e 0a 3c 70 3e |ntered..|</p>.<p>|
|00002c90| 0a 20 20 41 73 20 6d 65 | 6e 74 69 6f 6e 65 64 20 |. As me|ntioned |
|00002ca0| 69 6e 20 49 2e 33 20 28 | 69 6e 20 70 61 72 74 20 |in I.3 (|in part |
|00002cb0| 6f 6e 65 29 2c 20 74 68 | 65 72 65 20 61 72 65 20 |one), th|ere are |
|00002cc0| 66 6f 75 72 20 6d 61 69 | 6e 20 61 72 65 61 73 20 |four mai|n areas |
|00002cd0| 77 68 65 72 65 20 69 74 | 0a 77 61 73 20 66 65 6c |where it|.was fel|
|00002ce0| 74 20 74 68 61 74 20 75 | 73 65 72 73 20 6e 65 65 |t that u|sers nee|
|00002cf0| 64 65 64 20 61 64 64 69 | 74 69 6f 6e 61 6c 20 66 |ded addi|tional f|
|00002d00| 75 6e 63 74 69 6f 6e 61 | 6c 69 74 79 3a 20 49 6e |unctiona|lity: In|
|00002d10| 74 65 72 66 61 63 69 6e | 67 20 74 6f 20 6f 74 68 |terfacin|g to oth|
|00002d20| 65 72 0a 73 79 73 74 65 | 6d 73 2c 20 50 72 6f 67 |er.syste|ms, Prog|
|00002d30| 72 61 6d 6d 69 6e 67 20 | 62 79 20 45 78 74 65 6e |ramming |by Exten|
|00002d40| 73 69 6f 6e 20 28 4f 4f | 50 29 2c 20 50 72 6f 67 |sion (OO|P), Prog|
|00002d50| 72 61 6d 6d 69 6e 67 20 | 69 6e 20 74 68 65 20 4c |ramming |in the L|
|00002d60| 61 72 67 65 0a 28 50 72 | 6f 67 72 61 6d 20 4c 69 |arge.(Pr|ogram Li|
|00002d70| 62 72 61 72 69 65 73 29 | 2c 20 61 6e 64 20 54 61 |braries)|, and Ta|
|00002d80| 73 6b 69 6e 67 2e 20 20 | 42 72 6f 61 64 6c 79 20 |sking. |Broadly |
|00002d90| 73 70 65 61 6b 69 6e 67 | 20 74 68 65 73 65 20 6e |speaking| these n|
|00002da0| 65 65 64 73 20 61 72 65 | 20 6d 65 74 0a 69 6e 20 |eeds are| met.in |
|00002db0| 41 64 61 20 39 35 20 62 | 79 20 74 68 65 20 66 6f |Ada 95 b|y the fo|
|00002dc0| 6c 6c 6f 77 69 6e 67 20 | 6d 61 69 6e 20 66 65 61 |llowing |main fea|
|00002dd0| 74 75 72 65 73 20 61 6e | 64 20 61 72 65 20 6c 61 |tures an|d are la|
|00002de0| 72 67 65 6c 79 20 64 69 | 73 63 75 73 73 65 64 20 |rgely di|scussed |
|00002df0| 69 6e 20 74 68 65 0a 63 | 68 61 70 74 65 72 73 20 |in the.c|hapters |
|00002e00| 69 6e 64 69 63 61 74 65 | 64 2e 0a 3c 2f 70 3e 0a |indicate|d..</p>.|
|00002e10| 3c 70 3e 0a 3c 75 6c 3e | 0a 3c 6c 69 3e 0a 49 6e |<p>.<ul>|.<li>.In|
|00002e20| 74 65 72 66 61 63 69 6e | 67 3a 20 20 20 20 20 62 |terfacin|g: b|
|00002e30| 79 20 6e 65 77 20 66 6f | 72 6d 73 20 6f 66 20 61 |y new fo|rms of a|
|00002e40| 63 63 65 73 73 20 74 79 | 70 65 73 2c 20 70 72 61 |ccess ty|pes, pra|
|00002e50| 67 6d 61 73 20 61 6e 64 | 20 69 6e 74 65 72 66 61 |gmas and| interfa|
|00002e60| 63 65 0a 20 20 20 20 20 | 70 61 63 6b 61 67 65 73 |ce. |packages|
|00002e70| 20 28 43 68 61 70 74 65 | 72 73 20 33 20 61 6e 64 | (Chapte|rs 3 and|
|00002e80| 20 42 29 2e 0a 3c 6c 69 | 3e 0a 50 72 6f 67 72 61 | B)..<li|>.Progra|
|00002e90| 6d 6d 69 6e 67 20 62 79 | 20 45 78 74 65 6e 73 69 |mming by| Extensi|
|00002ea0| 6f 6e 3a 20 20 20 20 20 | 62 79 20 74 79 70 65 20 |on: |by type |
|00002eb0| 65 78 74 65 6e 73 69 6f | 6e 20 61 6e 64 20 63 6c |extensio|n and cl|
|00002ec0| 61 73 73 2d 77 69 64 65 | 20 74 79 70 65 73 0a 20 |ass-wide| types. |
|00002ed0| 20 20 20 20 28 43 68 61 | 70 74 65 72 20 34 29 2e | (Cha|pter 4).|
|00002ee0| 0a 3c 6c 69 3e 0a 50 72 | 6f 67 72 61 6d 6d 69 6e |.<li>.Pr|ogrammin|
|00002ef0| 67 20 69 6e 20 74 68 65 | 20 4c 61 72 67 65 3a 20 |g in the| Large: |
|00002f00| 20 62 79 20 63 68 69 6c | 64 20 6c 69 62 72 61 72 | by chil|d librar|
|00002f10| 79 20 75 6e 69 74 73 20 | 28 43 68 61 70 74 65 72 |y units |(Chapter|
|00002f20| 20 31 30 29 2e 0a 3c 6c | 69 3e 0a 54 61 73 6b 69 | 10)..<l|i>.Taski|
|00002f30| 6e 67 3a 20 20 62 79 20 | 70 72 6f 74 65 63 74 65 |ng: by |protecte|
|00002f40| 64 20 6f 62 6a 65 63 74 | 73 20 28 43 68 61 70 74 |d object|s (Chapt|
|00002f50| 65 72 20 39 29 2e 0a 3c | 2f 75 6c 3e 0a 3c 70 3e |er 9)..<|/ul>.<p>|
|00002f60| 0a 43 68 61 70 74 65 72 | 73 20 33 2c 20 34 2c 20 |.Chapter|s 3, 4, |
|00002f70| 39 20 61 6e 64 20 31 30 | 20 63 6f 6e 73 74 69 74 |9 and 10| constit|
|00002f80| 75 74 65 20 74 68 65 20 | 62 75 6c 6b 20 6f 66 20 |ute the |bulk of |
|00002f90| 74 68 69 73 20 70 61 72 | 74 20 6f 66 20 74 68 65 |this par|t of the|
|00002fa0| 20 72 61 74 69 6f 6e 61 | 6c 65 0a 6d 61 69 6e 6c | rationa|le.mainl|
|00002fb0| 79 20 62 65 63 61 75 73 | 65 20 74 68 65 79 20 63 |y becaus|e they c|
|00002fc0| 6f 6e 74 61 69 6e 20 61 | 20 6e 75 6d 62 65 72 20 |ontain a| number |
|00002fd0| 6f 66 20 71 75 69 74 65 | 20 6c 6f 6e 67 20 65 78 |of quite| long ex|
|00002fe0| 61 6d 70 6c 65 73 2e 20 | 20 54 68 65 20 63 68 61 |amples. | The cha|
|00002ff0| 6e 67 65 73 0a 64 65 73 | 63 72 69 62 65 64 20 69 |nges.des|cribed i|
|00003000| 6e 20 74 68 65 20 6f 74 | 68 65 72 20 63 68 61 70 |n the ot|her chap|
|00003010| 74 65 72 73 20 61 72 65 | 20 6d 6f 72 65 20 63 6f |ters are| more co|
|00003020| 6e 63 65 72 6e 65 64 20 | 77 69 74 68 20 73 75 70 |ncerned |with sup|
|00003030| 70 6f 72 74 69 6e 67 20 | 64 65 74 61 69 6c 0a 61 |porting |detail.a|
|00003040| 6e 64 20 6c 65 73 73 20 | 70 65 72 76 61 73 69 76 |nd less |pervasiv|
|00003050| 65 20 69 6d 70 72 6f 76 | 65 6d 65 6e 74 73 2e 0a |e improv|ements..|
|00003060| 3c 2f 70 3e 0a 0a 3c 68 | 32 3e 0a 3c 61 20 6e 61 |</p>..<h|2>.<a na|
|00003070| 6d 65 3d 32 3e 0a 31 2e | 32 20 20 54 68 65 20 52 |me=2>.1.|2 The R|
|00003080| 65 66 65 72 65 6e 63 65 | 20 4d 61 6e 75 61 6c 0a |eference| Manual.|
|00003090| 3c 2f 61 3e 0a 3c 2f 68 | 32 3e 0a 0a 3c 70 3e 0a |</a>.</h|2>..<p>.|
|000030a0| 54 68 65 20 41 64 61 20 | 38 33 20 52 65 66 65 72 |The Ada |83 Refer|
|000030b0| 65 6e 63 65 20 4d 61 6e | 75 61 6c 20 5b 52 4d 38 |ence Man|ual [RM8|
|000030c0| 33 5d 20 69 73 20 61 20 | 72 65 6d 61 72 6b 61 62 |3] is a |remarkab|
|000030d0| 6c 65 20 64 6f 63 75 6d | 65 6e 74 20 69 6e 20 74 |le docum|ent in t|
|000030e0| 68 61 74 20 69 74 20 69 | 73 0a 6f 6e 65 20 6f 66 |hat it i|s.one of|
|000030f0| 20 74 68 65 20 66 65 77 | 20 64 65 66 69 6e 69 74 | the few| definit|
|00003100| 69 6f 6e 73 20 6f 66 20 | 61 20 70 72 6f 67 72 61 |ions of |a progra|
|00003110| 6d 6d 69 6e 67 20 6c 61 | 6e 67 75 61 67 65 20 74 |mming la|nguage t|
|00003120| 68 61 74 20 69 73 20 72 | 65 67 75 6c 61 72 6c 79 |hat is r|egularly|
|00003130| 0a 72 65 61 64 20 62 79 | 20 6e 6f 72 6d 61 6c 20 |.read by| normal |
|00003140| 70 72 6f 67 72 61 6d 6d | 65 72 73 2e 20 20 49 74 |programm|ers. It|
|00003150| 20 61 63 68 69 65 76 65 | 73 20 74 68 69 73 20 62 | achieve|s this b|
|00003160| 79 20 75 73 69 6e 67 20 | 6e 61 74 75 72 61 6c 20 |y using |natural |
|00003170| 45 6e 67 6c 69 73 68 0a | 77 68 65 72 65 76 65 72 |English.|wherever|
|00003180| 20 70 6f 73 73 69 62 6c | 65 2e 0a 3c 2f 70 3e 0a | possibl|e..</p>.|
|00003190| 3c 70 3e 0a 20 20 20 41 | 20 63 6f 72 6f 6c 6c 61 |<p>. A| corolla|
|000031a0| 72 79 20 6f 66 20 74 68 | 69 73 20 73 75 63 63 65 |ry of th|is succe|
|000031b0| 73 73 20 69 73 2c 20 68 | 6f 77 65 76 65 72 2c 20 |ss is, h|owever, |
|000031c0| 74 68 61 74 20 69 74 20 | 68 61 73 20 6e 6f 74 20 |that it |has not |
|000031d0| 70 72 6f 76 65 64 20 74 | 6f 20 62 65 0a 71 75 69 |proved t|o be.qui|
|000031e0| 74 65 20 73 6f 20 70 72 | 65 63 69 73 65 20 61 73 |te so pr|ecise as|
|000031f0| 20 64 65 73 69 72 65 64 | 20 62 79 20 63 6f 6d 70 | desired| by comp|
|00003200| 69 6c 65 72 20 77 72 69 | 74 65 72 73 2e 20 20 4f |iler wri|ters. O|
|00003210| 66 20 63 6f 75 72 73 65 | 2c 20 74 68 65 72 65 20 |f course|, there |
|00003220| 61 72 65 0a 6d 61 6e 79 | 20 6d 6f 72 65 20 70 72 |are.many| more pr|
|00003230| 6f 67 72 61 6d 6d 65 72 | 73 20 74 68 61 6e 20 63 |ogrammer|s than c|
|00003240| 6f 6d 70 69 6c 65 72 20 | 77 72 69 74 65 72 73 20 |ompiler |writers |
|00003250| 61 6e 64 20 73 6f 20 74 | 68 65 20 69 6d 70 6f 72 |and so t|he impor|
|00003260| 74 61 6e 63 65 20 6f 66 | 20 74 68 65 0a 70 72 6f |tance of| the.pro|
|00003270| 67 72 61 6d 6d 65 72 20 | 73 68 6f 75 6c 64 20 6e |grammer |should n|
|00003280| 6f 74 20 62 65 20 75 6e | 64 65 72 65 73 74 69 6d |ot be un|derestim|
|00003290| 61 74 65 64 2e 20 20 48 | 6f 77 65 76 65 72 2c 20 |ated. H|owever, |
|000032a0| 69 74 20 69 73 20 76 69 | 74 61 6c 20 74 68 61 74 |it is vi|tal that|
|000032b0| 20 74 68 65 0a 63 6f 6d | 70 69 6c 65 72 20 77 72 | the.com|piler wr|
|000032c0| 69 74 65 72 20 62 65 20 | 67 69 76 65 6e 20 61 73 |iter be |given as|
|000032d0| 20 70 72 65 63 69 73 65 | 20 61 20 64 65 73 63 72 | precise| a descr|
|000032e0| 69 70 74 69 6f 6e 20 6f | 66 20 74 68 65 20 6c 61 |iption o|f the la|
|000032f0| 6e 67 75 61 67 65 20 61 | 73 20 69 73 0a 72 65 61 |nguage a|s is.rea|
|00003300| 73 6f 6e 61 62 6c 79 20 | 70 6f 73 73 69 62 6c 65 |sonably |possible|
|00003310| 2e 20 20 41 74 20 74 68 | 65 20 65 6e 64 20 6f 66 |. At th|e end of|
|00003320| 20 74 68 65 20 64 61 79 | 2c 20 70 72 6f 76 69 64 | the day|, provid|
|00003330| 65 64 20 74 68 61 74 20 | 74 68 65 20 63 6f 6d 70 |ed that |the comp|
|00003340| 69 6c 65 72 0a 69 73 20 | 63 6f 72 72 65 63 74 2c |iler.is |correct,|
|00003350| 20 74 68 65 6e 20 61 6e | 79 20 6d 69 73 75 6e 64 | then an|y misund|
|00003360| 65 72 73 74 61 6e 64 69 | 6e 67 20 6f 66 20 73 6f |erstandi|ng of so|
|00003370| 6d 65 20 73 75 62 74 6c | 65 20 70 6f 69 6e 74 20 |me subtl|e point |
|00003380| 6f 6e 20 74 68 65 20 70 | 61 72 74 20 6f 66 0a 74 |on the p|art of.t|
|00003390| 68 65 20 70 72 6f 67 72 | 61 6d 6d 65 72 20 77 69 |he progr|ammer wi|
|000033a0| 6c 6c 20 67 65 6e 65 72 | 61 6c 6c 79 20 67 69 76 |ll gener|ally giv|
|000033b0| 65 20 72 69 73 65 20 74 | 6f 20 61 6e 20 61 70 70 |e rise t|o an app|
|000033c0| 72 6f 70 72 69 61 74 65 | 20 6d 65 73 73 61 67 65 |ropriate| message|
|000033d0| 20 66 72 6f 6d 0a 74 68 | 65 20 63 6f 6d 70 69 6c | from.th|e compil|
|000033e0| 65 72 2e 20 20 46 75 72 | 74 68 65 72 6d 6f 72 65 |er. Fur|thermore|
|000033f0| 2c 20 74 65 78 74 62 6f | 6f 6b 73 20 61 6e 64 20 |, textbo|oks and |
|00003400| 6f 74 68 65 72 20 6d 61 | 74 65 72 69 61 6c 20 73 |other ma|terial s|
|00003410| 75 63 68 20 61 73 20 74 | 68 69 73 0a 72 61 74 69 |uch as t|his.rati|
|00003420| 6f 6e 61 6c 65 20 61 72 | 65 20 61 76 61 69 6c 61 |onale ar|e availa|
|00003430| 62 6c 65 20 74 6f 20 67 | 69 76 65 20 70 65 64 61 |ble to g|ive peda|
|00003440| 67 6f 67 69 63 20 69 6e | 66 6f 72 6d 61 74 69 6f |gogic in|formatio|
|00003450| 6e 20 74 6f 20 74 68 65 | 20 70 72 6f 67 72 61 6d |n to the| program|
|00003460| 6d 65 72 2e 0a 3c 2f 70 | 3e 0a 3c 70 3e 0a 20 20 |mer..</p|>.<p>. |
|00003470| 20 54 68 65 20 41 64 61 | 20 39 35 20 52 65 66 65 | The Ada| 95 Refe|
|00003480| 72 65 6e 63 65 20 4d 61 | 6e 75 61 6c 20 5b 52 4d |rence Ma|nual [RM|
|00003490| 39 35 5d 20 74 68 75 73 | 20 63 6f 6e 74 69 6e 75 |95] thus| continu|
|000034a0| 65 73 20 74 68 65 20 74 | 72 61 64 69 74 69 6f 6e |es the t|radition|
|000034b0| 20 6f 66 0a 72 65 61 64 | 61 62 69 6c 69 74 79 20 | of.read|ability |
|000034c0| 61 6e 64 20 61 63 63 65 | 73 73 69 62 69 6c 69 74 |and acce|ssibilit|
|000034d0| 79 20 6f 66 20 74 68 65 | 20 41 64 61 20 38 33 20 |y of the| Ada 83 |
|000034e0| 64 6f 63 75 6d 65 6e 74 | 20 77 68 65 72 65 76 65 |document| whereve|
|000034f0| 72 20 70 6f 73 73 69 62 | 6c 65 0a 62 75 74 20 61 |r possib|le.but a|
|00003500| 63 68 69 65 76 65 73 20 | 67 72 65 61 74 65 72 20 |chieves |greater |
|00003510| 70 72 65 63 69 73 69 6f | 6e 20 62 79 20 74 68 65 |precisio|n by the|
|00003520| 20 63 61 72 65 66 75 6c | 20 69 6e 74 72 6f 64 75 | careful| introdu|
|00003530| 63 74 69 6f 6e 20 6f 66 | 20 6d 6f 72 65 0a 73 70 |ction of| more.sp|
|00003540| 65 63 69 66 69 63 20 74 | 65 72 6d 69 6e 6f 6c 6f |ecific t|erminolo|
|00003550| 67 79 2e 20 20 44 69 66 | 66 65 72 65 6e 74 20 74 |gy. Dif|ferent t|
|00003560| 79 70 6f 67 72 61 70 68 | 79 20 69 73 20 61 6c 73 |ypograph|y is als|
|00003570| 6f 20 75 73 65 64 20 74 | 6f 20 64 69 73 74 69 6e |o used t|o distin|
|00003580| 67 75 69 73 68 0a 6e 6f | 72 6d 61 6c 20 45 6e 67 |guish.no|rmal Eng|
|00003590| 6c 69 73 68 20 77 6f 72 | 64 73 20 66 72 6f 6d 20 |lish wor|ds from |
|000035a0| 64 65 66 69 6e 65 64 20 | 74 65 72 6d 73 20 61 6e |defined |terms an|
|000035b0| 64 20 73 79 6e 74 61 78 | 20 74 68 65 72 65 62 79 |d syntax| thereby|
|000035c0| 20 69 6e 63 72 65 61 73 | 69 6e 67 0a 63 6c 61 72 | increas|ing.clar|
|000035d0| 69 74 79 20 62 75 74 20 | 72 65 74 61 69 6e 69 6e |ity but |retainin|
|000035e0| 67 20 72 65 61 64 61 62 | 69 6c 69 74 79 2e 0a 3c |g readab|ility..<|
|000035f0| 2f 70 3e 0a 3c 70 3e 0a | 20 20 20 49 6e 20 61 64 |/p>.<p>.| In ad|
|00003600| 64 69 74 69 6f 6e 20 74 | 6f 20 74 68 65 20 64 65 |dition t|o the de|
|00003610| 66 69 6e 69 74 69 76 65 | 20 73 74 61 6e 64 61 72 |finitive| standar|
|00003620| 64 2c 20 74 68 65 20 41 | 6e 6e 6f 74 61 74 65 64 |d, the A|nnotated|
|00003630| 20 41 64 61 20 52 65 66 | 65 72 65 6e 63 65 0a 4d | Ada Ref|erence.M|
|00003640| 61 6e 75 61 6c 20 5b 41 | 41 52 4d 5d 20 69 73 20 |anual [A|ARM] is |
|00003650| 61 6e 20 61 6e 6e 6f 74 | 61 74 65 64 20 66 6f 72 |an annot|ated for|
|00003660| 6d 20 63 6f 6e 74 61 69 | 6e 69 6e 67 20 6d 75 63 |m contai|ning muc|
|00003670| 68 20 61 64 64 69 74 69 | 6f 6e 61 6c 20 69 6e 66 |h additi|onal inf|
|00003680| 6f 72 6d 61 74 69 6f 6e | 0a 61 69 6d 65 64 20 6c |ormation|.aimed l|
|00003690| 61 72 67 65 6c 79 20 61 | 74 20 63 6f 6d 70 69 6c |argely a|t compil|
|000036a0| 65 72 20 77 72 69 74 65 | 72 73 2c 20 6c 61 6e 67 |er write|rs, lang|
|000036b0| 75 61 67 65 20 6c 61 77 | 79 65 72 73 20 61 6e 64 |uage law|yers and|
|000036c0| 20 6f 74 68 65 72 73 20 | 77 69 74 68 20 61 0a 6e | others |with a.n|
|000036d0| 65 65 64 20 66 6f 72 20 | 61 64 64 69 74 69 6f 6e |eed for |addition|
|000036e0| 61 6c 20 64 65 74 61 69 | 6c 65 64 20 69 6e 66 6f |al detai|led info|
|000036f0| 72 6d 61 74 69 6f 6e 2e | 20 20 54 68 69 73 20 63 |rmation.| This c|
|00003700| 6f 6e 74 61 69 6e 73 20 | 73 75 63 68 20 6d 61 74 |ontains |such mat|
|00003710| 74 65 72 73 20 61 73 0a | 61 64 76 69 63 65 20 66 |ters as.|advice f|
|00003720| 6f 72 20 69 6d 70 6c 65 | 6d 65 6e 74 65 72 73 2c |or imple|menters,|
|00003730| 20 72 61 74 69 6f 6e 61 | 6c 65 20 6f 6e 20 66 69 | rationa|le on fi|
|00003740| 6e 65 20 64 65 74 61 69 | 6c 2c 20 66 75 72 74 68 |ne detai|l, furth|
|00003750| 65 72 20 61 77 6b 77 61 | 72 64 0a 65 78 61 6d 70 |er awkwa|rd.examp|
|00003760| 6c 65 73 20 61 6e 64 20 | 73 6f 20 6f 6e 2e 20 20 |les and |so on. |
|00003770| 42 6f 74 68 20 66 6f 72 | 6d 73 20 6f 66 20 74 68 |Both for|ms of th|
|00003780| 65 20 72 65 66 65 72 65 | 6e 63 65 20 6d 61 6e 75 |e refere|nce manu|
|00003790| 61 6c 20 61 73 20 77 65 | 6c 6c 20 61 73 20 74 68 |al as we|ll as th|
|000037a0| 69 73 0a 72 61 74 69 6f | 6e 61 6c 65 20 61 6e 64 |is.ratio|nale and|
|000037b0| 20 6f 74 68 65 72 20 6d | 61 74 65 72 69 61 6c 20 | other m|aterial |
|000037c0| 61 72 65 20 61 76 61 69 | 6c 61 62 6c 65 20 69 6e |are avai|lable in|
|000037d0| 20 6d 61 63 68 69 6e 65 | 20 72 65 61 64 61 62 6c | machine| readabl|
|000037e0| 65 20 66 6f 72 6d 20 6f | 6e 0a 74 68 65 20 73 77 |e form o|n.the sw|
|000037f0| 2d 65 6e 67 2e 66 61 6c | 6c 73 2d 63 68 75 72 63 |-eng.fal|ls-churc|
|00003800| 68 2e 76 61 2e 75 73 20 | 68 6f 73 74 20 69 6e 20 |h.va.us |host in |
|00003810| 74 68 65 20 70 75 62 6c | 69 63 2f 61 64 61 39 78 |the publ|ic/ada9x|
|00003820| 2f 72 6d 39 78 20 64 69 | 72 65 63 74 6f 72 79 2e |/rm9x di|rectory.|
|00003830| 0a 3c 2f 70 3e 0a 0a 3c | 68 32 3e 0a 3c 61 20 6e |.</p>..<|h2>.<a n|
|00003840| 61 6d 65 3d 33 3e 0a 31 | 2e 33 20 20 53 79 6e 74 |ame=3>.1|.3 Synt|
|00003850| 61 78 0a 3c 2f 61 3e 0a | 3c 2f 68 32 3e 0a 0a 3c |ax.</a>.|</h2>..<|
|00003860| 70 3e 0a 54 68 65 20 73 | 79 6e 74 61 78 20 69 73 |p>.The s|yntax is|
|00003870| 20 65 78 70 72 65 73 73 | 65 64 20 69 6e 20 74 68 | express|ed in th|
|00003880| 65 20 73 61 6d 65 20 6e | 6f 74 61 74 69 6f 6e 20 |e same n|otation |
|00003890| 61 73 20 66 6f 72 20 41 | 64 61 20 38 33 2e 20 20 |as for A|da 83. |
|000038a0| 48 6f 77 65 76 65 72 2c | 20 74 68 65 0a 64 69 6c |However,| the.dil|
|000038b0| 69 67 65 6e 74 20 72 65 | 61 64 65 72 20 77 69 6c |igent re|ader wil|
|000038c0| 6c 20 6f 62 73 65 72 76 | 65 20 61 20 63 6f 6e 73 |l observ|e a cons|
|000038d0| 69 64 65 72 61 62 6c 65 | 20 6e 75 6d 62 65 72 20 |iderable| number |
|000038e0| 6f 66 20 63 68 61 6e 67 | 65 73 20 74 6f 20 74 68 |of chang|es to th|
|000038f0| 65 0a 64 65 73 63 72 69 | 70 74 69 6f 6e 20 6f 66 |e.descri|ption of|
|00003900| 20 74 68 65 20 73 79 6e | 74 61 78 2e 20 20 41 70 | the syn|tax. Ap|
|00003910| 61 72 74 20 66 72 6f 6d | 20 74 68 6f 73 65 20 63 |art from| those c|
|00003920| 68 61 6e 67 65 73 20 72 | 65 71 75 69 72 65 64 20 |hanges r|equired |
|00003930| 62 79 20 74 68 65 20 6e | 65 77 0a 70 61 72 74 73 |by the n|ew.parts|
|00003940| 20 6f 66 20 74 68 65 20 | 6c 61 6e 67 75 61 67 65 | of the |language|
|00003950| 2c 20 74 68 65 20 63 68 | 61 6e 67 65 73 20 68 61 |, the ch|anges ha|
|00003960| 76 65 20 62 65 65 6e 20 | 6d 61 64 65 20 69 6e 20 |ve been |made in |
|00003970| 6f 72 64 65 72 20 74 6f | 20 69 6e 63 72 65 61 73 |order to| increas|
|00003980| 65 0a 63 6c 61 72 69 74 | 79 20 6f 66 20 74 68 65 |e.clarit|y of the|
|00003990| 20 65 78 70 6f 73 69 74 | 69 6f 6e 2e 0a 3c 2f 70 | exposit|ion..</p|
|000039a0| 3e 0a 3c 70 3e 0a 20 20 | 20 54 68 69 73 20 69 6e |>.<p>. | This in|
|000039b0| 63 72 65 61 73 65 64 20 | 63 6c 61 72 69 74 79 20 |creased |clarity |
|000039c0| 68 61 73 20 62 65 65 6e | 20 61 63 68 69 65 76 65 |has been| achieve|
|000039d0| 64 20 61 74 20 74 68 65 | 20 63 6f 73 74 20 6f 66 |d at the| cost of|
|000039e0| 20 69 6e 74 72 6f 64 75 | 63 69 6e 67 0a 72 61 74 | introdu|cing.rat|
|000039f0| 68 65 72 20 6d 6f 72 65 | 20 6e 65 77 20 73 79 6e |her more| new syn|
|00003a00| 74 61 78 20 72 75 6c 65 | 73 20 74 68 61 6e 20 74 |tax rule|s than t|
|00003a10| 68 65 20 69 6e 63 72 65 | 61 73 65 64 20 73 69 7a |he incre|ased siz|
|00003a20| 65 20 6f 66 20 74 68 65 | 20 6c 61 6e 67 75 61 67 |e of the| languag|
|00003a30| 65 0a 77 6f 75 6c 64 20 | 73 75 67 67 65 73 74 2e |e.would |suggest.|
|00003a40| 20 20 48 6f 77 65 76 65 | 72 2c 20 74 68 65 20 65 | Howeve|r, the e|
|00003a50| 78 74 72 61 20 63 6c 61 | 72 69 74 79 20 61 63 68 |xtra cla|rity ach|
|00003a60| 69 65 76 65 64 20 62 72 | 69 6e 67 73 20 6d 61 6a |ieved br|ings maj|
|00003a70| 6f 72 20 62 65 6e 65 66 | 69 74 73 0a 6e 6f 74 20 |or benef|its.not |
|00003a80| 6f 6e 6c 79 20 69 6e 20 | 75 6e 64 65 72 73 74 61 |only in |understa|
|00003a90| 6e 64 69 6e 67 20 74 68 | 65 20 73 79 6e 74 61 78 |nding th|e syntax|
|00003aa0| 20 69 74 73 65 6c 66 20 | 62 75 74 20 61 6c 73 6f | itself |but also|
|00003ab0| 20 62 79 20 73 6f 6d 65 | 20 72 65 64 75 63 74 69 | by some| reducti|
|00003ac0| 6f 6e 20 69 6e 0a 74 68 | 65 20 6e 65 65 64 20 66 |on in.th|e need f|
|00003ad0| 6f 72 20 45 6e 67 6c 69 | 73 68 20 74 65 78 74 20 |or Engli|sh text |
|00003ae0| 74 6f 20 65 78 70 6c 61 | 69 6e 20 72 75 6c 65 73 |to expla|in rules|
|00003af0| 20 77 68 69 63 68 20 61 | 72 65 20 6e 6f 77 20 65 | which a|re now e|
|00003b00| 78 70 72 65 73 73 65 64 | 20 62 79 20 74 68 65 0a |xpressed| by the.|
|00003b10| 73 79 6e 74 61 78 2e 0a | 3c 2f 70 3e 0a 3c 70 3e |syntax..|</p>.<p>|
|00003b20| 0a 20 20 20 45 78 61 6d | 70 6c 65 73 20 6f 66 20 |. Exam|ples of |
|00003b30| 6d 6f 72 65 20 6e 6f 74 | 61 62 6c 65 20 63 68 61 |more not|able cha|
|00003b40| 6e 67 65 73 20 28 6f 74 | 68 65 72 20 74 68 61 6e |nges (ot|her than|
|00003b50| 20 74 68 6f 73 65 20 63 | 6f 72 72 65 73 70 6f 6e | those c|orrespon|
|00003b60| 64 69 6e 67 20 74 6f 0a | 63 6f 6d 70 6c 65 74 65 |ding to.|complete|
|00003b70| 6c 79 20 6e 65 77 20 6d | 61 74 65 72 69 61 6c 29 |ly new m|aterial)|
|00003b80| 20 61 72 65 20 61 73 20 | 66 6f 6c 6c 6f 77 73 0a | are as |follows.|
|00003b90| 3c 2f 70 3e 0a 3c 75 6c | 3e 0a 3c 6c 69 3e 0a 20 |</p>.<ul|>.<li>. |
|00003ba0| 20 20 20 54 68 65 20 72 | 75 6c 65 73 20 66 6f 72 | The r|ules for|
|00003bb0| 20 74 68 65 20 63 68 61 | 72 61 63 74 65 72 73 20 | the cha|racters |
|00003bc0| 75 73 65 64 20 69 6e 20 | 74 68 65 20 70 72 6f 67 |used in |the prog|
|00003bd0| 72 61 6d 20 74 65 78 74 | 20 68 61 76 65 20 62 65 |ram text| have be|
|00003be0| 65 6e 0a 20 20 20 20 20 | 63 6f 6d 70 6c 65 74 65 |en. |complete|
|00003bf0| 6c 79 20 72 65 77 72 69 | 74 74 65 6e 20 69 6e 20 |ly rewri|tten in |
|00003c00| 61 20 6d 6f 72 65 20 73 | 74 72 75 63 74 75 72 65 |a more s|tructure|
|00003c10| 64 20 6d 61 6e 6e 65 72 | 2e 20 20 54 68 65 20 70 |d manner|. The p|
|00003c20| 72 65 76 69 6f 75 73 0a | 20 20 20 20 20 72 75 6c |revious.| rul|
|00003c30| 65 73 20 77 65 72 65 20 | 6e 6f 74 20 68 69 65 72 |es were |not hier|
|00003c40| 61 72 63 68 69 63 61 6c | 20 61 6e 64 20 63 6f 6e |archical| and con|
|00003c50| 74 61 69 6e 65 64 20 61 | 20 63 75 72 69 6f 75 73 |tained a| curious|
|00003c60| 20 69 6d 62 61 6c 61 6e | 63 65 0a 20 20 20 20 20 | imbalan|ce. |
|00003c70| 62 65 74 77 65 65 6e 20 | 75 70 70 65 72 20 61 6e |between |upper an|
|00003c80| 64 20 6c 6f 77 65 72 20 | 63 61 73 65 20 6c 65 74 |d lower |case let|
|00003c90| 74 65 72 73 20 77 68 69 | 63 68 20 69 73 20 6e 6f |ters whi|ch is no|
|00003ca0| 20 6c 6f 6e 67 65 72 20 | 61 70 70 72 6f 70 72 69 | longer |appropri|
|00003cb0| 61 74 65 2e 0a 3c 6c 69 | 3e 0a 20 20 20 20 54 68 |ate..<li|>. Th|
|00003cc0| 65 20 63 61 74 65 67 6f | 72 79 20 69 6e 74 65 67 |e catego|ry integ|
|00003cd0| 65 72 20 69 73 20 6e 6f | 77 20 63 61 6c 6c 65 64 |er is no|w called|
|00003ce0| 20 6e 75 6d 65 72 61 6c | 2e 20 20 54 68 65 20 74 | numeral|. The t|
|00003cf0| 65 72 6d 20 69 6e 74 65 | 67 65 72 20 77 61 73 0a |erm inte|ger was.|
|00003d00| 20 20 20 20 20 73 6f 6d | 65 77 68 61 74 20 69 6e | som|ewhat in|
|00003d10| 61 70 70 72 6f 70 72 69 | 61 74 65 20 66 6f 72 20 |appropri|ate for |
|00003d20| 77 68 61 74 20 69 73 20 | 73 69 6d 70 6c 79 20 61 |what is |simply a|
|00003d30| 20 73 79 6e 74 61 63 74 | 69 63 20 73 65 71 75 65 | syntact|ic seque|
|00003d40| 6e 63 65 20 6f 66 0a 20 | 20 20 20 20 64 69 67 69 |nce of. | digi|
|00003d50| 74 73 20 6e 6f 74 20 73 | 70 65 63 69 66 69 63 61 |ts not s|pecifica|
|00003d60| 6c 6c 79 20 72 65 6c 61 | 74 65 64 20 74 6f 20 74 |lly rela|ted to t|
|00003d70| 68 65 20 69 6e 74 65 67 | 65 72 20 74 79 70 65 73 |he integ|er types|
|00003d80| 2e 0a 3c 6c 69 3e 0a 20 | 20 20 20 52 65 73 65 72 |..<li>. | Reser|
|00003d90| 76 65 64 20 77 6f 72 64 | 73 20 61 72 65 20 6e 6f |ved word|s are no|
|00003da0| 20 6c 6f 6e 67 65 72 20 | 63 6f 6e 73 69 64 65 72 | longer |consider|
|00003db0| 65 64 20 61 73 20 69 64 | 65 6e 74 69 66 69 65 72 |ed as id|entifier|
|00003dc0| 73 2e 20 20 41 0a 20 20 | 20 20 20 63 6f 6e 73 65 |s. A. | conse|
|00003dd0| 71 75 65 6e 63 65 20 69 | 73 20 74 68 61 74 20 74 |quence i|s that t|
|00003de0| 68 65 20 73 79 6e 74 61 | 78 20 6e 6f 77 20 65 78 |he synta|x now ex|
|00003df0| 70 6c 69 63 69 74 6c 79 | 20 69 6e 63 6c 75 64 65 |plicitly| include|
|00003e00| 73 20 74 68 6f 73 65 0a | 20 20 20 20 20 61 74 74 |s those.| att|
|00003e10| 72 69 62 75 74 65 73 20 | 77 68 69 63 68 20 64 6f |ributes |which do|
|00003e20| 75 62 6c 65 20 61 73 20 | 72 65 73 65 72 76 65 64 |uble as |reserved|
|00003e30| 20 77 6f 72 64 73 2c 20 | 6e 61 6d 65 6c 79 20 44 | words, |namely D|
|00003e40| 65 6c 74 61 2c 20 44 69 | 67 69 74 73 2c 0a 20 20 |elta, Di|gits,. |
|00003e50| 20 20 20 52 61 6e 67 65 | 20 61 6e 64 20 41 63 63 | Range| and Acc|
|00003e60| 65 73 73 20 28 74 68 65 | 20 6c 61 73 74 20 62 65 |ess (the| last be|
|00003e70| 69 6e 67 20 61 20 66 75 | 72 74 68 65 72 20 73 75 |ing a fu|rther su|
|00003e80| 63 68 20 61 74 74 72 69 | 62 75 74 65 20 69 6e 20 |ch attri|bute in |
|00003e90| 41 64 61 0a 20 20 20 20 | 20 39 35 29 2e 0a 3c 6c |Ada. | 95)..<l|
|00003ea0| 69 3e 0a 20 20 20 20 43 | 61 74 65 67 6f 72 69 65 |i>. C|ategorie|
|00003eb0| 73 20 73 75 63 68 20 61 | 73 20 64 65 66 69 6e 69 |s such a|s defini|
|00003ec0| 6e 67 5f 69 64 65 6e 74 | 69 66 69 65 72 20 61 72 |ng_ident|ifier ar|
|00003ed0| 65 20 69 6e 74 72 6f 64 | 75 63 65 64 20 66 6f 72 |e introd|uced for|
|00003ee0| 20 74 68 6f 73 65 0a 20 | 20 20 20 20 6f 63 63 75 | those. | occu|
|00003ef0| 72 72 65 6e 63 65 73 20 | 6f 66 20 69 64 65 6e 74 |rrences |of ident|
|00003f00| 69 66 69 65 72 73 20 77 | 68 69 63 68 20 64 65 66 |ifiers w|hich def|
|00003f10| 69 6e 65 20 61 6e 20 65 | 6e 74 69 74 79 2e 20 20 |ine an e|ntity. |
|00003f20| 55 73 61 67 65 0a 20 20 | 20 20 20 6f 63 63 75 72 |Usage. | occur|
|00003f30| 72 65 6e 63 65 73 20 75 | 73 65 20 64 69 72 65 63 |rences u|se direc|
|00003f40| 74 5f 6e 61 6d 65 20 6f | 72 20 73 65 6c 65 63 74 |t_name o|r select|
|00003f50| 6f 72 5f 6e 61 6d 65 20 | 61 63 63 6f 72 64 69 6e |or_name |accordin|
|00003f60| 67 20 74 6f 20 74 68 65 | 0a 20 20 20 20 20 76 69 |g to the|. vi|
|00003f70| 73 69 62 69 6c 69 74 79 | 20 72 75 6c 65 73 2e 20 |sibility| rules. |
|00003f80| 20 54 68 65 20 74 65 72 | 6d 20 73 69 6d 70 6c 65 | The ter|m simple|
|00003f90| 5f 6e 61 6d 65 20 69 73 | 20 6e 6f 20 6c 6f 6e 67 |_name is| no long|
|00003fa0| 65 72 20 75 73 65 64 2e | 20 20 49 6e 20 41 64 61 |er used.| In Ada|
|00003fb0| 0a 20 20 20 20 20 38 33 | 20 74 68 65 20 74 65 72 |. 83| the ter|
|00003fc0| 6d 20 73 69 6d 70 6c 65 | 5f 6e 61 6d 65 20 77 61 |m simple|_name wa|
|00003fd0| 73 20 75 73 65 64 20 63 | 6f 6e 66 75 73 69 6e 67 |s used c|onfusing|
|00003fe0| 6c 79 20 66 6f 72 20 6a | 75 73 74 20 73 6f 6d 65 |ly for j|ust some|
|00003ff0| 20 75 73 61 67 65 0a 20 | 20 20 20 20 6f 63 63 75 | usage. | occu|
|00004000| 72 72 65 6e 63 65 73 2e | 0a 3c 6c 69 3e 0a 20 20 |rrences.|.<li>. |
|00004010| 20 20 54 68 65 20 63 61 | 74 65 67 6f 72 79 20 74 | The ca|tegory t|
|00004020| 79 70 65 5f 64 65 63 6c | 61 72 61 74 69 6f 6e 20 |ype_decl|aration |
|00004030| 6e 6f 77 20 70 72 6f 70 | 65 72 6c 79 20 69 6e 63 |now prop|erly inc|
|00004040| 6c 75 64 65 73 20 62 6f | 74 68 20 74 61 73 6b 20 |ludes bo|th task |
|00004050| 61 6e 64 0a 20 20 20 20 | 20 70 72 6f 74 65 63 74 |and. | protect|
|00004060| 65 64 20 74 79 70 65 73 | 2e 20 20 53 75 72 70 72 |ed types|. Surpr|
|00004070| 69 73 69 6e 67 6c 79 2c | 20 74 61 73 6b 20 74 79 |isingly,| task ty|
|00004080| 70 65 20 64 65 63 6c 61 | 72 61 74 69 6f 6e 73 20 |pe decla|rations |
|00004090| 77 65 72 65 20 65 78 63 | 6c 75 64 65 64 0a 20 20 |were exc|luded. |
|000040a0| 20 20 20 69 6e 20 41 64 | 61 20 38 33 20 70 72 6f | in Ad|a 83 pro|
|000040b0| 62 61 62 6c 79 20 62 65 | 63 61 75 73 65 20 6f 66 |bably be|cause of|
|000040c0| 20 61 20 6c 61 63 6b 20 | 6f 66 20 72 65 63 6f 6e | a lack |of recon|
|000040d0| 73 69 64 65 72 61 74 69 | 6f 6e 20 6f 66 20 74 68 |siderati|on of th|
|000040e0| 65 20 72 75 6c 65 73 0a | 20 20 20 20 20 73 75 62 |e rules.| sub|
|000040f0| 73 65 71 75 65 6e 74 20 | 74 6f 20 74 68 65 20 69 |sequent |to the i|
|00004100| 6e 74 72 6f 64 75 63 74 | 69 6f 6e 20 6f 66 20 74 |ntroduct|ion of t|
|00004110| 61 73 6b 20 74 79 70 65 | 73 20 69 6e 20 61 72 6f |ask type|s in aro|
|00004120| 75 6e 64 20 31 39 38 30 | 2e 0a 3c 6c 69 3e 0a 20 |und 1980|..<li>. |
|00004130| 20 20 20 54 68 65 20 63 | 61 74 65 67 6f 72 79 20 | The c|ategory |
|00004140| 74 79 70 65 5f 6d 61 72 | 6b 20 69 73 20 72 65 70 |type_mar|k is rep|
|00004150| 6c 61 63 65 64 20 62 79 | 20 73 75 62 74 79 70 65 |laced by| subtype|
|00004160| 5f 6d 61 72 6b 20 62 65 | 63 61 75 73 65 20 61 6c |_mark be|cause al|
|00004170| 6c 20 6e 61 6d 65 73 0a | 20 20 20 20 20 6f 66 20 |l names.| of |
|00004180| 74 79 70 65 73 20 61 72 | 65 20 6e 6f 77 20 63 6f |types ar|e now co|
|00004190| 6e 73 69 64 65 72 65 64 | 20 74 6f 20 61 63 74 75 |nsidered| to actu|
|000041a0| 61 6c 6c 79 20 64 65 6e | 6f 74 65 20 74 68 65 20 |ally den|ote the |
|000041b0| 66 69 72 73 74 20 6e 61 | 6d 65 64 0a 20 20 20 20 |first na|med. |
|000041c0| 20 73 75 62 74 79 70 65 | 2e 0a 3c 6c 69 3e 0a 20 | subtype|..<li>. |
|000041d0| 20 20 20 53 63 61 6c 61 | 72 20 61 6e 64 20 63 6f | Scala|r and co|
|000041e0| 6d 70 6f 73 69 74 65 20 | 63 6f 6e 73 74 72 61 69 |mposite |constrai|
|000041f0| 6e 74 73 20 61 72 65 20 | 6e 6f 77 20 64 69 73 74 |nts are |now dist|
|00004200| 69 6e 67 75 69 73 68 65 | 64 2e 0a 3c 6c 69 3e 0a |inguishe|d..<li>.|
|00004210| 20 20 20 20 41 20 72 65 | 61 6c 20 63 68 61 6e 67 | A re|al chang|
|00004220| 65 20 69 73 20 74 68 61 | 74 20 74 68 65 20 63 61 |e is tha|t the ca|
|00004230| 74 65 67 6f 72 79 20 6e | 61 6d 65 20 69 73 20 62 |tegory n|ame is b|
|00004240| 72 6f 61 64 65 6e 65 64 | 20 74 6f 20 69 6e 63 6c |roadened| to incl|
|00004250| 75 64 65 0a 20 20 20 20 | 20 66 75 6e 63 74 69 6f |ude. | functio|
|00004260| 6e 5f 63 61 6c 6c 20 61 | 6e 64 20 74 79 70 65 5f |n_call a|nd type_|
|00004270| 63 6f 6e 76 65 72 73 69 | 6f 6e 20 69 6e 20 61 63 |conversi|on in ac|
|00004280| 63 6f 72 64 61 6e 63 65 | 20 77 69 74 68 20 63 68 |cordance| with ch|
|00004290| 61 6e 67 65 73 20 74 6f | 20 74 68 65 0a 20 20 20 |anges to| the. |
|000042a0| 20 20 63 6f 6e 63 65 70 | 74 20 6f 66 20 61 20 6e | concep|t of a n|
|000042b0| 61 6d 65 2e 20 20 54 68 | 69 73 20 63 61 75 73 65 |ame. Th|is cause|
|000042c0| 73 20 61 20 6e 75 6d 62 | 65 72 20 6f 66 20 63 6f |s a numb|er of co|
|000042d0| 6e 73 65 71 75 65 6e 74 | 69 61 6c 20 63 68 61 6e |nsequent|ial chan|
|000042e0| 67 65 73 20 74 6f 0a 20 | 20 20 20 20 6f 74 68 65 |ges to. | othe|
|000042f0| 72 20 64 65 66 69 6e 69 | 74 69 6f 6e 73 20 73 75 |r defini|tions su|
|00004300| 63 68 20 61 73 20 70 72 | 69 6d 61 72 79 20 61 6e |ch as pr|imary an|
|00004310| 64 20 70 72 65 66 69 78 | 2e 0a 3c 6c 69 3e 0a 20 |d prefix|..<li>. |
|00004320| 20 20 20 54 68 65 20 6f | 6e 65 20 70 72 65 76 69 | The o|ne previ|
|00004330| 6f 75 73 20 63 61 74 65 | 67 6f 72 79 20 61 67 67 |ous cate|gory agg|
|00004340| 72 65 67 61 74 65 20 68 | 61 73 20 6e 6f 77 20 62 |regate h|as now b|
|00004350| 65 65 6e 20 72 65 70 6c | 61 63 65 64 20 62 79 20 |een repl|aced by |
|00004360| 73 6f 6d 65 0a 20 20 20 | 20 20 6e 69 6e 65 20 73 |some. | nine s|
|00004370| 79 6e 74 61 78 20 72 75 | 6c 65 73 20 74 68 65 72 |yntax ru|les ther|
|00004380| 65 62 79 20 62 72 69 6e | 67 69 6e 67 20 69 6e 74 |eby brin|ging int|
|00004390| 6f 20 74 68 65 20 73 79 | 6e 74 61 78 20 74 68 65 |o the sy|ntax the|
|000043a0| 20 76 61 72 69 6f 75 73 | 0a 20 20 20 20 20 64 69 | various|. di|
|000043b0| 73 74 69 6e 63 74 69 6f | 6e 73 20 62 65 74 77 65 |stinctio|ns betwe|
|000043c0| 65 6e 20 61 72 72 61 79 | 20 61 6e 64 20 72 65 63 |en array| and rec|
|000043d0| 6f 72 64 20 61 67 67 72 | 65 67 61 74 65 73 20 61 |ord aggr|egates a|
|000043e0| 6e 64 20 74 68 65 69 72 | 20 76 61 72 69 6f 75 73 |nd their| various|
|000043f0| 0a 20 20 20 20 20 72 75 | 6c 65 73 20 77 68 69 63 |. ru|les whic|
|00004400| 68 20 77 65 72 65 20 70 | 72 65 76 69 6f 75 73 6c |h were p|reviousl|
|00004410| 79 20 65 78 70 72 65 73 | 73 65 64 20 62 79 20 45 |y expres|sed by E|
|00004420| 6e 67 6c 69 73 68 20 74 | 65 78 74 2e 0a 3c 6c 69 |nglish t|ext..<li|
|00004430| 3e 0a 20 20 20 20 54 68 | 65 20 6e 65 77 20 63 61 |>. Th|e new ca|
|00004440| 74 65 67 6f 72 79 20 68 | 61 6e 64 6c 65 64 5f 73 |tegory h|andled_s|
|00004450| 65 71 75 65 6e 63 65 5f | 6f 66 5f 73 74 61 74 65 |equence_|of_state|
|00004460| 6d 65 6e 74 73 20 61 76 | 6f 69 64 73 20 6d 75 63 |ments av|oids muc|
|00004470| 68 0a 20 20 20 20 20 72 | 65 70 65 74 69 74 69 6f |h. r|epetitio|
|00004480| 6e 20 69 6e 20 61 20 6e | 75 6d 62 65 72 20 6f 66 |n in a n|umber of|
|00004490| 20 6f 74 68 65 72 20 72 | 75 6c 65 73 2c 20 61 6e | other r|ules, an|
|000044a0| 64 20 63 6c 61 72 69 66 | 69 65 73 20 74 68 65 20 |d clarif|ies the |
|000044b0| 72 65 67 69 6f 6e 20 6f | 66 0a 20 20 20 20 20 74 |region o|f. t|
|000044c0| 65 78 74 20 69 6e 20 77 | 68 69 63 68 20 61 20 67 |ext in w|hich a g|
|000044d0| 69 76 65 6e 20 68 61 6e | 64 6c 65 72 20 61 70 70 |iven han|dler app|
|000044e0| 6c 69 65 73 2e 0a 3c 6c | 69 3e 0a 20 20 20 20 54 |lies..<l|i>. T|
|000044f0| 68 65 20 63 61 74 65 67 | 6f 72 69 65 73 20 62 6f |he categ|ories bo|
|00004500| 64 79 5f 73 74 75 62 20 | 61 6e 64 20 72 65 6e 61 |dy_stub |and rena|
|00004510| 6d 69 6e 67 5f 64 65 63 | 6c 61 72 61 74 69 6f 6e |ming_dec|laration|
|00004520| 20 61 72 65 20 62 6f 74 | 68 20 62 72 6f 6b 65 6e | are bot|h broken|
|00004530| 0a 20 20 20 20 20 64 6f | 77 6e 20 69 6e 74 6f 20 |. do|wn into |
|00004540| 6e 61 6d 65 64 20 73 75 | 62 63 61 74 65 67 6f 72 |named su|bcategor|
|00004550| 69 65 73 20 66 6f 72 20 | 65 61 73 65 20 6f 66 20 |ies for |ease of |
|00004560| 65 78 70 6f 73 69 74 69 | 6f 6e 2e 0a 3c 6c 69 3e |expositi|on..<li>|
|00004570| 0a 20 20 20 20 54 68 65 | 20 70 72 65 76 69 6f 75 |. The| previou|
|00004580| 73 20 63 61 74 65 67 6f | 72 79 20 67 65 6e 65 72 |s catego|ry gener|
|00004590| 69 63 5f 70 61 72 61 6d | 65 74 65 72 5f 64 65 63 |ic_param|eter_dec|
|000045a0| 6c 61 72 61 74 69 6f 6e | 20 77 68 69 63 68 0a 20 |laration| which. |
|000045b0| 20 20 20 20 63 6f 6e 66 | 75 73 69 6e 67 6c 79 20 | conf|usingly |
|000045c0| 72 65 75 73 65 64 20 6f | 74 68 65 72 20 63 61 74 |reused o|ther cat|
|000045d0| 65 67 6f 72 69 65 73 20 | 66 72 6f 6d 20 6f 74 68 |egories |from oth|
|000045e0| 65 72 20 63 6f 6e 74 65 | 78 74 73 20 69 73 20 6e |er conte|xts is n|
|000045f0| 6f 77 0a 20 20 20 20 20 | 72 65 70 6c 61 63 65 64 |ow. |replaced|
|00004600| 20 62 79 20 73 6f 6d 65 | 20 74 77 65 6e 74 79 20 | by some| twenty |
|00004610| 69 6e 64 69 76 69 64 75 | 61 6c 20 63 61 74 65 67 |individu|al categ|
|00004620| 6f 72 69 65 73 20 64 65 | 73 63 72 69 62 69 6e 67 |ories de|scribing|
|00004630| 20 74 68 65 20 76 61 72 | 69 6f 75 73 0a 20 20 20 | the var|ious. |
|00004640| 20 20 63 6c 61 73 73 65 | 73 20 6f 66 20 67 65 6e | classe|s of gen|
|00004650| 65 72 69 63 20 70 61 72 | 61 6d 65 74 65 72 73 20 |eric par|ameters |
|00004660| 69 6e 20 61 20 68 69 65 | 72 61 72 63 68 69 63 61 |in a hie|rarchica|
|00004670| 6c 20 6d 61 6e 6e 65 72 | 2e 0a 3c 2f 75 6c 3e 0a |l manner|..</ul>.|
|00004680| 3c 70 3e 0a 54 68 65 20 | 73 74 61 74 69 73 74 69 |<p>.The |statisti|
|00004690| 63 61 6c 6c 79 20 6d 69 | 6e 64 65 64 20 6d 69 67 |cally mi|nded mig|
|000046a0| 68 74 20 62 65 20 69 6e | 74 65 72 65 73 74 65 64 |ht be in|terested|
|000046b0| 20 74 6f 20 6f 62 73 65 | 72 76 65 20 74 68 61 74 | to obse|rve that|
|000046c0| 20 41 64 61 20 38 33 20 | 69 73 0a 64 65 73 63 72 | Ada 83 |is.descr|
|000046d0| 69 62 65 64 20 62 79 20 | 31 38 30 20 72 75 6c 65 |ibed by |180 rule|
|000046e0| 73 20 77 68 65 72 65 61 | 73 20 41 64 61 20 39 35 |s wherea|s Ada 95|
|000046f0| 20 68 61 73 20 61 62 6f | 75 74 20 32 37 30 2e 20 | has abo|ut 270. |
|00004700| 20 48 6f 77 65 76 65 72 | 2c 20 74 68 65 20 72 75 | However|, the ru|
|00004710| 6c 65 73 0a 69 6e 74 72 | 6f 64 75 63 65 64 20 66 |les.intr|oduced f|
|00004720| 6f 72 20 63 6c 61 72 69 | 74 79 20 61 63 63 6f 75 |or clari|ty accou|
|00004730| 6e 74 20 66 6f 72 20 61 | 62 6f 75 74 20 35 30 20 |nt for a|bout 50 |
|00004740| 6f 66 20 74 68 69 73 20 | 69 6e 63 72 65 61 73 65 |of this |increase|
|00004750| 20 61 6e 64 20 73 6f 20 | 69 6e 0a 72 65 61 6c 20 | and so |in.real |
|00004760| 74 65 72 6d 73 20 74 68 | 65 20 73 79 6e 74 61 78 |terms th|e syntax|
|00004770| 20 66 6f 72 20 41 64 61 | 20 39 35 20 69 73 20 61 | for Ada| 95 is a|
|00004780| 62 6f 75 74 20 6f 6e 65 | 20 73 65 76 65 6e 74 68 |bout one| seventh|
|00004790| 20 62 69 67 67 65 72 20 | 74 68 61 6e 20 41 64 61 | bigger |than Ada|
|000047a0| 20 38 33 2e 0a 41 20 6d | 61 6a 6f 72 20 70 61 72 | 83..A m|ajor par|
|000047b0| 74 20 6f 66 20 74 68 69 | 73 20 69 6e 63 72 65 61 |t of thi|s increa|
|000047c0| 73 65 20 69 73 20 73 69 | 6d 70 6c 79 20 64 75 65 |se is si|mply due|
|000047d0| 20 74 6f 20 74 68 65 20 | 69 6e 74 72 6f 64 75 63 | to the |introduc|
|000047e0| 74 69 6f 6e 20 6f 66 0a | 70 72 6f 74 65 63 74 65 |tion of.|protecte|
|000047f0| 64 20 74 79 70 65 73 2e | 0a 3c 2f 70 3e 0a 0a 3c |d types.|.</p>..<|
|00004800| 68 32 3e 0a 3c 61 20 6e | 61 6d 65 3d 34 3e 0a 31 |h2>.<a n|ame=4>.1|
|00004810| 2e 34 20 20 43 6c 61 73 | 73 69 66 69 63 61 74 69 |.4 Clas|sificati|
|00004820| 6f 6e 20 6f 66 20 45 72 | 72 6f 72 73 0a 3c 2f 61 |on of Er|rors.</a|
|00004830| 3e 0a 3c 2f 68 32 3e 0a | 0a 3c 70 3e 0a 54 68 65 |>.</h2>.|.<p>.The|
|00004840| 20 63 6c 61 73 73 69 66 | 69 63 61 74 69 6f 6e 20 | classif|ication |
|00004850| 6f 66 20 65 72 72 6f 72 | 73 20 69 6e 20 41 64 61 |of error|s in Ada|
|00004860| 20 39 35 20 69 73 20 73 | 6f 6d 65 77 68 61 74 20 | 95 is s|omewhat |
|00004870| 64 69 66 66 65 72 65 6e | 74 20 74 6f 20 74 68 61 |differen|t to tha|
|00004880| 74 20 69 6e 0a 41 64 61 | 20 38 33 2e 20 20 54 68 |t in.Ada| 83. Th|
|00004890| 65 20 70 72 69 6d 61 72 | 79 20 72 65 61 73 6f 6e |e primar|y reason|
|000048a0| 20 66 6f 72 20 74 68 65 | 20 6e 65 77 20 63 6c 61 | for the| new cla|
|000048b0| 73 73 69 66 69 63 61 74 | 69 6f 6e 20 69 73 20 74 |ssificat|ion is t|
|000048c0| 6f 20 62 65 20 6d 6f 72 | 65 0a 72 65 61 6c 69 73 |o be mor|e.realis|
|000048d0| 74 69 63 20 61 6e 64 20 | 70 72 61 63 74 69 63 61 |tic and |practica|
|000048e0| 6c 20 72 65 67 61 72 64 | 69 6e 67 20 74 68 65 20 |l regard|ing the |
|000048f0| 70 6f 73 73 69 62 6c 65 | 20 63 6f 6e 73 65 71 75 |possible| consequ|
|00004900| 65 6e 63 65 73 20 6f 66 | 20 75 6e 64 65 66 69 6e |ences of| undefin|
|00004910| 65 64 0a 62 65 68 61 76 | 69 6f 72 2e 20 20 54 68 |ed.behav|ior. Th|
|00004920| 65 20 65 66 66 65 63 74 | 20 69 73 20 6f 66 74 65 |e effect| is ofte|
|00004930| 6e 20 74 6f 20 69 6e 64 | 69 63 61 74 65 20 74 68 |n to ind|icate th|
|00004940| 61 74 20 74 68 65 20 72 | 61 6e 67 65 20 6f 66 20 |at the r|ange of |
|00004950| 70 6f 73 73 69 62 6c 65 | 0a 6f 75 74 63 6f 6d 65 |possible|.outcome|
|00004960| 73 20 6f 66 20 61 20 70 | 72 6f 67 72 61 6d 20 65 |s of a p|rogram e|
|00004970| 78 65 63 75 74 69 6f 6e | 20 69 73 20 6c 65 73 73 |xecution| is less|
|00004980| 20 74 68 61 6e 20 74 68 | 65 20 41 64 61 20 38 33 | than th|e Ada 83|
|00004990| 20 72 75 6c 65 73 20 6c | 65 64 20 6f 6e 65 20 74 | rules l|ed one t|
|000049a0| 6f 0a 62 65 6c 69 65 76 | 65 20 28 69 6e 20 70 72 |o.believ|e (in pr|
|000049b0| 61 63 74 69 63 65 20 74 | 68 65 72 65 20 69 73 20 |actice t|here is |
|000049c0| 6c 69 74 74 6c 65 20 63 | 68 61 6e 67 65 29 2e 0a |little c|hange)..|
|000049d0| 3c 2f 70 3e 0a 3c 70 3e | 0a 54 68 65 20 6d 6f 73 |</p>.<p>|.The mos|
|000049e0| 74 20 73 69 67 6e 69 66 | 69 63 61 6e 74 20 6e 65 |t signif|icant ne|
|000049f0| 77 20 63 6c 61 73 73 69 | 66 69 63 61 74 69 6f 6e |w classi|fication|
|00004a00| 20 69 73 20 74 68 65 20 | 69 6e 74 72 6f 64 75 63 | is the |introduc|
|00004a10| 74 69 6f 6e 20 6f 66 20 | 74 68 65 0a 63 61 74 65 |tion of |the.cate|
|00004a20| 67 6f 72 79 20 63 61 6c | 6c 65 64 20 62 6f 75 6e |gory cal|led boun|
|00004a30| 64 65 64 20 65 72 72 6f | 72 73 2e 20 20 54 68 65 |ded erro|rs. The|
|00004a40| 20 67 65 6e 65 72 61 6c | 20 69 64 65 61 20 69 73 | general| idea is|
|00004a50| 20 74 68 61 74 20 74 68 | 65 20 62 65 68 61 76 69 | that th|e behavi|
|00004a60| 6f 72 20 69 73 0a 6e 6f | 74 20 66 75 6c 6c 79 20 |or is.no|t fully |
|00004a70| 64 65 74 65 72 6d 69 6e | 65 64 20 62 75 74 20 6e |determin|ed but n|
|00004a80| 65 76 65 72 74 68 65 6c | 65 73 73 20 66 61 6c 6c |everthel|ess fall|
|00004a90| 73 20 77 69 74 68 69 6e | 20 77 65 6c 6c 2d 64 65 |s within| well-de|
|00004aa0| 66 69 6e 65 64 20 62 6f | 75 6e 64 73 2e 0a 4d 61 |fined bo|unds..Ma|
|00004ab0| 6e 79 20 65 72 72 6f 72 | 73 20 77 68 69 63 68 20 |ny error|s which |
|00004ac0| 77 65 72 65 20 70 72 65 | 76 69 6f 75 73 6c 79 20 |were pre|viously |
|00004ad0| 63 6c 61 73 73 65 64 20 | 61 73 20 65 72 72 6f 6e |classed |as erron|
|00004ae0| 65 6f 75 73 20 28 77 68 | 69 63 68 20 69 6d 70 6c |eous (wh|ich impl|
|00004af0| 69 65 64 0a 63 6f 6d 70 | 6c 65 74 65 6c 79 20 75 |ied.comp|letely u|
|00004b00| 6e 64 65 66 69 6e 65 64 | 20 62 65 68 61 76 69 6f |ndefined| behavio|
|00004b10| 72 29 20 61 72 65 20 6e | 6f 77 20 73 69 6d 70 6c |r) are n|ow simpl|
|00004b20| 79 20 62 6f 75 6e 64 65 | 64 20 65 72 72 6f 72 73 |y bounde|d errors|
|00004b30| 2e 20 20 41 6e 20 6f 62 | 76 69 6f 75 73 0a 65 78 |. An ob|vious.ex|
|00004b40| 61 6d 70 6c 65 20 69 73 | 20 74 68 65 20 63 6f 6e |ample is| the con|
|00004b50| 73 65 71 75 65 6e 63 65 | 20 6f 66 20 65 76 61 6c |sequence| of eval|
|00004b60| 75 61 74 69 6e 67 20 61 | 6e 20 75 6e 69 6e 69 74 |uating a|n uninit|
|00004b70| 69 61 6c 69 7a 65 64 20 | 73 63 61 6c 61 72 0a 76 |ialized |scalar.v|
|00004b80| 61 72 69 61 62 6c 65 3b | 20 74 68 69 73 20 63 6f |ariable;| this co|
|00004b90| 75 6c 64 20 72 65 73 75 | 6c 74 20 69 6e 20 74 68 |uld resu|lt in th|
|00004ba0| 65 20 72 61 69 73 69 6e | 67 20 6f 66 20 50 72 6f |e raisin|g of Pro|
|00004bb0| 67 72 61 6d 5f 45 72 72 | 6f 72 20 6f 72 0a 43 6f |gram_Err|or or.Co|
|00004bc0| 6e 73 74 72 61 69 6e 74 | 5f 45 72 72 6f 72 20 6f |nstraint|_Error o|
|00004bd0| 72 20 74 68 65 20 70 72 | 6f 64 75 63 74 69 6f 6e |r the pr|oduction|
|00004be0| 20 6f 66 20 61 20 76 61 | 6c 75 65 20 6e 6f 74 20 | of a va|lue not |
|00004bf0| 69 6e 20 74 68 65 20 73 | 75 62 74 79 70 65 2c 20 |in the s|ubtype, |
|00004c00| 73 65 65 0a 5b 52 4d 39 | 35 20 34 2e 34 2c 20 31 |see.[RM9|5 4.4, 1|
|00004c10| 31 2e 36 5d 2e 0a 3c 2f | 70 3e 0a 3c 70 3e 0a 41 |1.6]..</|p>.<p>.A|
|00004c20| 20 72 61 74 68 65 72 20 | 64 69 66 66 65 72 65 6e | rather |differen|
|00004c30| 74 20 61 70 70 72 6f 61 | 63 68 20 69 73 20 74 61 |t approa|ch is ta|
|00004c40| 6b 65 6e 20 72 65 67 61 | 72 64 69 6e 67 20 75 6e |ken rega|rding un|
|00004c50| 70 6f 72 74 61 62 6c 65 | 20 62 65 68 61 76 69 6f |portable| behavio|
|00004c60| 72 2e 20 20 41 0a 70 72 | 6f 67 72 61 6d 20 77 68 |r. A.pr|ogram wh|
|00004c70| 6f 73 65 20 62 65 68 61 | 76 69 6f 72 20 64 65 70 |ose beha|vior dep|
|00004c80| 65 6e 64 73 20 75 70 6f | 6e 20 73 6f 6d 65 20 6f |ends upo|n some o|
|00004c90| 72 64 65 72 20 6f 66 20 | 65 76 61 6c 75 61 74 69 |rder of |evaluati|
|00004ca0| 6f 6e 20 69 73 20 6e 6f | 20 6c 6f 6e 67 65 72 0a |on is no| longer.|
|00004cb0| 63 6c 61 73 73 65 64 20 | 61 73 20 69 6e 63 6f 72 |classed |as incor|
|00004cc0| 72 65 63 74 20 62 75 74 | 20 73 69 6d 70 6c 79 20 |rect but| simply |
|00004cd0| 61 73 20 62 65 69 6e 67 | 20 6e 6f 74 20 70 6f 72 |as being| not por|
|00004ce0| 74 61 62 6c 65 2e 20 20 | 41 73 20 61 20 63 6f 6e |table. |As a con|
|00004cf0| 73 65 71 75 65 6e 63 65 | 0a 74 68 65 20 63 61 74 |sequence|.the cat|
|00004d00| 65 67 6f 72 79 20 6f 66 | 20 65 72 72 6f 72 20 63 |egory of| error c|
|00004d10| 61 6c 6c 65 64 20 69 6e | 63 6f 72 72 65 63 74 20 |alled in|correct |
|00004d20| 6f 72 64 65 72 20 64 65 | 70 65 6e 64 65 6e 63 65 |order de|pendence|
|00004d30| 73 20 69 73 20 64 65 6c | 65 74 65 64 2e 0a 3c 2f |s is del|eted..</|
|00004d40| 70 3e 0a 3c 70 3e 0a 20 | 20 20 54 68 65 72 65 20 |p>.<p>. | There |
|00004d50| 61 72 65 20 61 6c 73 6f | 20 63 61 73 65 73 20 77 |are also| cases w|
|00004d60| 68 65 72 65 20 74 68 65 | 20 6c 61 6e 67 75 61 67 |here the| languag|
|00004d70| 65 20 68 61 73 20 62 65 | 65 6e 20 63 68 61 6e 67 |e has be|en chang|
|00004d80| 65 64 20 73 6f 20 74 68 | 61 74 20 61 0a 72 75 6e |ed so th|at a.run|
|00004d90| 2d 74 69 6d 65 20 65 72 | 72 6f 72 20 69 6e 20 41 |-time er|ror in A|
|00004da0| 64 61 20 38 33 20 69 73 | 20 6e 6f 77 20 64 65 74 |da 83 is| now det|
|00004db0| 65 63 74 65 64 20 64 75 | 72 69 6e 67 20 63 6f 6d |ected du|ring com|
|00004dc0| 70 69 6c 61 74 69 6f 6e | 20 69 6e 20 41 64 61 20 |pilation| in Ada |
|00004dd0| 39 35 2e 0a 54 68 75 73 | 20 73 74 61 74 69 63 20 |95..Thus| static |
|00004de0| 73 75 62 74 79 70 65 20 | 6d 61 74 63 68 69 6e 67 |subtype |matching|
|00004df0| 20 69 73 20 72 65 71 75 | 69 72 65 64 20 69 6e 20 | is requ|ired in |
|00004e00| 73 6f 6d 65 20 73 69 74 | 75 61 74 69 6f 6e 73 20 |some sit|uations |
|00004e10| 61 73 20 64 65 73 63 72 | 69 62 65 64 0a 69 6e 20 |as descr|ibed.in |
|00004e20| 33 2e 39 2e 0a 3c 2f 70 | 3e 0a 3c 70 3e 0a 20 20 |3.9..</p|>.<p>. |
|00004e30| 20 54 68 65 20 6c 61 6e | 67 75 61 67 65 20 61 6c | The lan|guage al|
|00004e40| 73 6f 20 61 6c 6c 6f 77 | 73 20 61 20 63 6f 6d 70 |so allow|s a comp|
|00004e50| 69 6c 65 72 20 74 6f 20 | 68 61 76 65 20 64 69 66 |iler to |have dif|
|00004e60| 66 65 72 65 6e 74 20 6d | 6f 64 65 73 20 6f 66 0a |ferent m|odes of.|
|00004e70| 6f 70 65 72 61 74 69 6f | 6e 20 61 63 63 6f 72 64 |operatio|n accord|
|00004e80| 69 6e 67 20 74 6f 20 74 | 68 65 20 64 65 74 65 63 |ing to t|he detec|
|00004e90| 74 69 6f 6e 20 6f 66 20 | 73 75 73 70 69 63 69 6f |tion of |suspicio|
|00004ea0| 75 73 20 73 69 74 75 61 | 74 69 6f 6e 73 20 73 75 |us situa|tions su|
|00004eb0| 63 68 20 61 73 20 74 6f | 6f 0a 6d 61 6e 79 20 77 |ch as to|o.many w|
|00004ec0| 61 72 6e 69 6e 67 73 2e | 20 20 54 68 69 73 20 73 |arnings.| This s|
|00004ed0| 70 65 63 69 66 69 63 61 | 6c 6c 79 20 6d 65 65 74 |pecifica|lly meet|
|00004ee0| 73 20 6f 6e 65 20 6f 66 | 20 74 68 65 20 72 65 71 |s one of| the req|
|00004ef0| 75 69 72 65 6d 65 6e 74 | 73 20 66 6f 72 20 65 61 |uirement|s for ea|
|00004f00| 72 6c 79 0a 64 65 74 65 | 63 74 69 6f 6e 20 6f 66 |rly.dete|ction of|
|00004f10| 20 65 72 72 6f 72 73 20 | 77 68 65 72 65 20 70 6f | errors |where po|
|00004f20| 73 73 69 62 6c 65 2e 0a | 3c 2f 70 3e 0a 0a 3c 68 |ssible..|</p>..<h|
|00004f30| 32 3e 0a 3c 61 20 6e 61 | 6d 65 3d 35 3e 0a 31 2e |2>.<a na|me=5>.1.|
|00004f40| 35 20 20 52 65 71 75 69 | 72 65 6d 65 6e 74 73 20 |5 Requi|rements |
|00004f50| 53 75 6d 6d 61 72 79 0a | 3c 2f 61 3e 0a 3c 2f 68 |Summary.|</a>.</h|
|00004f60| 32 3e 0a 0a 3c 70 3e 0a | 54 68 65 20 72 65 71 75 |2>..<p>.|The requ|
|00004f70| 69 72 65 6d 65 6e 74 73 | 0a 3c 70 72 65 3e 0a 20 |irements|.<pre>. |
|00004f80| 20 20 20 20 52 20 32 2e | 31 2d 41 28 31 29 20 2d | R 2.|1-A(1) -|
|00004f90| 20 49 6e 63 6f 72 70 6f | 72 61 74 65 20 41 70 70 | Incorpo|rate App|
|00004fa0| 72 6f 76 65 64 20 43 6f | 6d 6d 65 6e 74 61 72 69 |roved Co|mmentari|
|00004fb0| 65 73 0a 0a 20 20 20 20 | 20 52 20 32 2e 31 2d 41 |es.. | R 2.1-A|
|00004fc0| 28 32 29 20 2d 20 52 65 | 76 69 65 77 20 4f 74 68 |(2) - Re|view Oth|
|00004fd0| 65 72 20 50 72 65 73 65 | 6e 74 61 74 69 6f 6e 20 |er Prese|ntation |
|00004fe0| 53 75 67 67 65 73 74 69 | 6f 6e 73 0a 3c 2f 70 72 |Suggesti|ons.</pr|
|00004ff0| 65 3e 0a 61 72 65 20 62 | 6f 74 68 20 61 64 64 72 |e>.are b|oth addr|
|00005000| 65 73 73 65 64 20 62 79 | 20 74 68 65 20 65 78 74 |essed by| the ext|
|00005010| 72 61 20 61 74 74 65 6e | 74 69 6f 6e 20 67 69 76 |ra atten|tion giv|
|00005020| 65 6e 20 74 6f 20 74 65 | 72 6d 69 6e 6f 6c 6f 67 |en to te|rminolog|
|00005030| 79 20 61 6e 64 20 62 79 | 20 74 68 65 0a 69 6e 63 |y and by| the.inc|
|00005040| 6f 72 70 6f 72 61 74 69 | 6f 6e 20 6f 66 20 69 6d |orporati|on of im|
|00005050| 70 72 6f 76 65 64 20 74 | 65 78 74 20 72 65 63 6f |proved t|ext reco|
|00005060| 6d 6d 65 6e 64 65 64 20 | 62 79 20 74 68 65 20 41 |mmended |by the A|
|00005070| 64 61 20 52 61 70 70 6f | 72 74 65 75 72 20 47 72 |da Rappo|rteur Gr|
|00005080| 6f 75 70 2e 0a 3c 2f 70 | 3e 0a 3c 70 3e 0a 20 20 |oup..</p|>.<p>. |
|00005090| 20 54 68 65 20 72 65 71 | 75 69 72 65 6d 65 6e 74 | The req|uirement|
|000050a0| 73 0a 3c 70 72 65 3e 0a | 20 20 20 20 20 52 20 32 |s.<pre>.| R 2|
|000050b0| 2e 31 2d 42 28 31 29 20 | 2d 20 4d 61 69 6e 74 61 |.1-B(1) |- Mainta|
|000050c0| 69 6e 20 46 6f 72 6d 61 | 74 20 6f 66 20 45 78 69 |in Forma|t of Exi|
|000050d0| 73 74 69 6e 67 20 53 74 | 61 6e 64 61 72 64 0a 0a |sting St|andard..|
|000050e0| 20 20 20 20 20 52 20 32 | 2e 31 2d 43 28 31 29 20 | R 2|.1-C(1) |
|000050f0| 2d 20 4d 61 63 68 69 6e | 65 2d 52 65 61 64 61 62 |- Machin|e-Readab|
|00005100| 6c 65 20 56 65 72 73 69 | 6f 6e 20 6f 66 20 74 68 |le Versi|on of th|
|00005110| 65 20 53 74 61 6e 64 61 | 72 64 0a 3c 2f 70 72 65 |e Standa|rd.</pre|
|00005120| 3e 0a 68 61 76 65 20 61 | 6c 73 6f 20 62 65 65 6e |>.have a|lso been|
|00005130| 20 6d 65 74 20 61 73 20 | 65 78 70 6c 61 69 6e 65 | met as |explaine|
|00005140| 64 20 69 6e 20 31 2e 32 | 2e 20 20 46 75 72 74 68 |d in 1.2|. Furth|
|00005150| 65 72 6d 6f 72 65 2c 20 | 74 68 65 20 72 65 71 75 |ermore, |the requ|
|00005160| 69 72 65 6d 65 6e 74 0a | 3c 70 72 65 3e 0a 20 20 |irement.|<pre>. |
|00005170| 20 20 20 52 20 32 2e 32 | 2d 42 28 31 29 20 2d 20 | R 2.2|-B(1) - |
|00005180| 55 6e 64 65 72 73 74 61 | 6e 64 61 62 69 6c 69 74 |Understa|ndabilit|
|00005190| 79 0a 3c 2f 70 72 65 3e | 0a 69 73 20 61 6c 73 6f |y.</pre>|.is also|
|000051a0| 20 61 64 64 72 65 73 73 | 65 64 20 62 79 20 74 68 | address|ed by th|
|000051b0| 65 20 67 72 65 61 74 6c | 79 20 69 6d 70 72 6f 76 |e greatl|y improv|
|000051c0| 65 64 20 74 65 72 6d 69 | 6e 6f 6c 6f 67 79 20 61 |ed termi|nology a|
|000051d0| 73 20 77 65 6c 6c 20 61 | 73 20 62 79 20 74 68 65 |s well a|s by the|
|000051e0| 0a 72 65 76 69 73 69 6f | 6e 73 20 74 6f 20 74 68 |.revisio|ns to th|
|000051f0| 65 20 73 79 6e 74 61 78 | 20 64 65 73 63 72 69 62 |e syntax| describ|
|00005200| 65 64 20 69 6e 20 31 2e | 33 2e 20 20 48 6f 77 65 |ed in 1.|3. Howe|
|00005210| 76 65 72 2c 20 69 74 20 | 73 68 6f 75 6c 64 20 62 |ver, it |should b|
|00005220| 65 20 6e 6f 74 65 64 0a | 74 68 61 74 2c 20 61 73 |e noted.|that, as|
|00005230| 20 65 78 70 72 65 73 73 | 65 64 20 69 6e 20 5b 44 | express|ed in [D|
|00005240| 6f 44 20 39 30 5d 2c 20 | 74 68 69 73 20 70 61 72 |oD 90], |this par|
|00005250| 74 69 63 75 6c 61 72 20 | 72 65 71 75 69 72 65 6d |ticular |requirem|
|00005260| 65 6e 74 20 77 61 73 20 | 70 65 72 68 61 70 73 0a |ent was |perhaps.|
|00005270| 73 6c 61 6e 74 65 64 20 | 6d 6f 72 65 20 61 74 20 |slanted |more at |
|00005280| 63 65 72 74 61 69 6e 20 | 73 70 65 63 69 66 69 63 |certain |specific|
|00005290| 20 6c 61 6e 67 75 61 67 | 65 20 66 65 61 74 75 72 | languag|e featur|
|000052a0| 65 73 20 72 61 74 68 65 | 72 20 74 68 61 6e 20 63 |es rathe|r than c|
|000052b0| 6c 61 72 69 74 79 20 6f | 66 0a 64 65 73 63 72 69 |larity o|f.descri|
|000052c0| 70 74 69 6f 6e 20 69 6e | 20 67 65 6e 65 72 61 6c |ption in| general|
|000052d0| 2e 0a 3c 2f 70 3e 0a 3c | 70 3e 0a 49 6e 20 74 68 |..</p>.<|p>.In th|
|000052e0| 65 20 63 61 73 65 20 6f | 66 20 65 72 72 6f 72 20 |e case o|f error |
|000052f0| 64 65 74 65 63 74 69 6f | 6e 20 74 68 65 20 72 65 |detectio|n the re|
|00005300| 71 75 69 72 65 6d 65 6e | 74 20 61 6e 64 20 73 74 |quiremen|t and st|
|00005310| 75 64 79 20 74 6f 70 69 | 63 0a 3c 70 72 65 3e 0a |udy topi|c.<pre>.|
|00005320| 20 20 20 20 20 52 20 32 | 2e 33 2d 41 28 32 29 20 | R 2|.3-A(2) |
|00005330| 2d 20 4c 69 6d 69 74 20 | 43 6f 6e 73 65 71 75 65 |- Limit |Conseque|
|00005340| 6e 63 65 73 20 6f 66 20 | 45 72 72 6f 6e 65 6f 75 |nces of |Erroneou|
|00005350| 73 20 45 78 65 63 75 74 | 69 6f 6e 0a 0a 20 20 20 |s Execut|ion.. |
|00005360| 20 20 53 20 32 2e 33 2d | 41 28 31 29 20 2d 20 49 | S 2.3-|A(1) - I|
|00005370| 6d 70 72 6f 76 65 20 45 | 61 72 6c 79 20 44 65 74 |mprove E|arly Det|
|00005380| 65 63 74 69 6f 6e 20 6f | 66 20 45 72 72 6f 72 73 |ection o|f Errors|
|00005390| 0a 3c 2f 70 72 65 3e 0a | 61 72 65 20 61 64 64 72 |.</pre>.|are addr|
|000053a0| 65 73 73 65 64 20 62 79 | 20 74 68 65 20 69 6e 74 |essed by| the int|
|000053b0| 72 6f 64 75 63 74 69 6f | 6e 20 6f 66 20 74 68 65 |roductio|n of the|
|000053c0| 20 63 6f 6e 63 65 70 74 | 20 6f 66 20 62 6f 75 6e | concept| of boun|
|000053d0| 64 65 64 20 65 72 72 6f | 72 73 20 61 6e 64 0a 6d |ded erro|rs and.m|
|000053e0| 6f 72 65 20 63 6f 6d 70 | 69 6c 61 74 69 6f 6e 20 |ore comp|ilation |
|000053f0| 63 68 65 63 6b 69 6e 67 | 20 73 75 63 68 20 61 73 |checking| such as|
|00005400| 20 73 74 61 74 69 63 20 | 73 75 62 74 79 70 65 20 | static |subtype |
|00005410| 6d 61 74 63 68 69 6e 67 | 2e 0a 3c 2f 70 3e 0a 0a |matching|..</p>..|
|00005420| 3c 68 72 3e 0a 3c 61 20 | 68 72 65 66 3d 72 61 74 |<hr>.<a |href=rat|
|00005430| 39 35 2d 63 6f 70 79 72 | 69 67 68 74 2e 68 74 6d |95-copyr|ight.htm|
|00005440| 6c 3e 20 43 6f 70 79 72 | 69 67 68 74 20 3c 2f 61 |l> Copyr|ight </a|
|00005450| 3e 20 7c 0a 3c 61 20 68 | 72 65 66 3d 72 61 74 39 |> |.<a h|ref=rat9|
|00005460| 35 2d 63 6f 6e 74 65 6e | 74 73 2e 68 74 6d 6c 3e |5-conten|ts.html>|
|00005470| 20 43 6f 6e 74 65 6e 74 | 73 20 3c 2f 61 3e 20 7c | Content|s </a> ||
|00005480| 0a 3c 61 20 68 72 65 66 | 3d 72 61 74 39 35 2d 69 |.<a href|=rat95-i|
|00005490| 6e 64 65 78 2e 68 74 6d | 6c 3e 20 49 6e 64 65 78 |ndex.htm|l> Index|
|000054a0| 20 3c 2f 61 3e 20 7c 0a | 3c 61 20 68 72 65 66 3d | </a> |.|<a href=|
|000054b0| 72 61 74 39 35 2d 70 32 | 2e 68 74 6d 6c 3e 20 50 |rat95-p2|.html> P|
|000054c0| 72 65 76 69 6f 75 73 20 | 3c 2f 61 3e 20 7c 0a 3c |revious |</a> |.<|
|000054d0| 61 20 68 72 65 66 3d 72 | 61 74 39 35 2d 70 32 2d |a href=r|at95-p2-|
|000054e0| 32 2e 68 74 6d 6c 3e 20 | 4e 65 78 74 20 3c 2f 61 |2.html> |Next </a|
|000054f0| 3e 0a 0a 3c 68 72 3e 0a | 3c 61 64 64 72 65 73 73 |>..<hr>.|<address|
|00005500| 3e 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d |>.<a hre|f=rat95-|
|00005510| 61 75 74 68 6f 72 2e 68 | 74 6d 6c 3e 20 4c 61 75 |author.h|tml> Lau|
|00005520| 72 65 6e 74 20 47 75 65 | 72 62 79 20 3c 2f 61 3e |rent Gue|rby </a>|
|00005530| 0a 3c 2f 61 64 64 72 65 | 73 73 3e 0a 0a 0a 0a 3c |.</addre|ss>....<|
|00005540| 2f 62 6f 64 79 3e 0a 3c | 2f 68 74 6d 6c 3e 0a 00 |/body>.<|/html>..|
|00005550| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005560| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005570| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005580| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005590| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000055f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005600| 72 61 74 39 35 68 74 6d | 6c 2f 72 61 74 39 35 2d |rat95htm|l/rat95-|
|00005610| 70 31 2e 68 74 6d 6c 00 | 00 00 00 00 00 00 00 00 |p1.html.|........|
|00005620| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005630| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005640| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005650| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005660| 00 00 00 00 31 30 30 36 | 34 34 20 00 20 20 32 31 |....1006|44 . 21|
|00005670| 33 36 20 00 20 20 20 20 | 35 30 20 00 20 20 20 20 |36 . |50 . |
|00005680| 20 20 20 32 36 37 37 20 | 20 36 31 30 34 32 33 36 | 2677 | 6104236|
|00005690| 31 33 36 20 20 31 33 30 | 36 36 00 20 30 00 00 00 |136 130|66. 0...|
|000056a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000056b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000056c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000056d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000056e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000056f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005700| 00 75 73 74 61 72 20 20 | 00 67 75 65 72 62 79 00 |.ustar |.guerby.|
|00005710| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005720| 00 00 00 00 00 00 00 00 | 00 33 41 00 00 00 00 00 |........|.3A.....|
|00005730| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005740| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005750| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005760| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005770| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005780| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005790| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057a0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057b0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057c0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057d0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057e0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|000057f0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005800| 3c 68 74 6d 6c 3e 0a 3c | 68 65 61 64 3e 0a 3c 74 |<html>.<|head>.<t|
|00005810| 69 74 6c 65 3e 0a 48 79 | 70 65 72 74 65 78 74 20 |itle>.Hy|pertext |
|00005820| 41 64 61 20 39 35 20 52 | 61 74 69 6f 6e 61 6c 65 |Ada 95 R|ationale|
|00005830| 20 2d 20 50 61 72 74 20 | 4f 6e 65 0a 3c 2f 74 69 | - Part |One.</ti|
|00005840| 74 6c 65 3e 0a 3c 2f 68 | 65 61 64 3e 0a 0a 3c 62 |tle>.</h|ead>..<b|
|00005850| 6f 64 79 3e 0a 0a 3c 61 | 20 68 72 65 66 3d 72 61 |ody>..<a| href=ra|
|00005860| 74 39 35 2d 63 6f 70 79 | 72 69 67 68 74 2e 68 74 |t95-copy|right.ht|
|00005870| 6d 6c 3e 20 43 6f 70 79 | 72 69 67 68 74 20 3c 2f |ml> Copy|right </|
|00005880| 61 3e 20 7c 0a 3c 61 20 | 68 72 65 66 3d 72 61 74 |a> |.<a |href=rat|
|00005890| 39 35 2d 63 6f 6e 74 65 | 6e 74 73 2e 68 74 6d 6c |95-conte|nts.html|
|000058a0| 3e 20 43 6f 6e 74 65 6e | 74 73 20 3c 2f 61 3e 20 |> Conten|ts </a> |
|000058b0| 7c 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d ||.<a hre|f=rat95-|
|000058c0| 69 6e 64 65 78 2e 68 74 | 6d 6c 3e 20 49 6e 64 65 |index.ht|ml> Inde|
|000058d0| 78 20 3c 2f 61 3e 20 7c | 0a 3c 61 20 68 72 65 66 |x </a> ||.<a href|
|000058e0| 3d 72 61 74 39 35 2d 63 | 6f 6e 74 65 6e 74 73 2e |=rat95-c|ontents.|
|000058f0| 68 74 6d 6c 3e 20 50 72 | 65 76 69 6f 75 73 20 3c |html> Pr|evious <|
|00005900| 2f 61 3e 20 7c 0a 3c 61 | 20 68 72 65 66 3d 72 61 |/a> |.<a| href=ra|
|00005910| 74 39 35 2d 70 31 2d 31 | 2e 68 74 6d 6c 3e 20 4e |t95-p1-1|.html> N|
|00005920| 65 78 74 20 3c 2f 61 3e | 0a 3c 68 72 3e 0a 0a 3c |ext </a>|.<hr>..<|
|00005930| 68 31 3e 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |h1>. | |
|00005940| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 50 61 72 | | Par|
|00005950| 74 20 4f 6e 65 0a 0a 3c | 62 72 3e 0a 0a 20 20 20 |t One..<|br>.. |
|00005960| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00005970| 49 6e 74 72 6f 64 75 63 | 74 69 6f 6e 20 74 6f 20 |Introduc|tion to |
|00005980| 41 64 61 20 39 35 0a 3c | 2f 68 31 3e 0a 0a 3c 70 |Ada 95.<|/h1>..<p|
|00005990| 3e 0a 3c 69 3e 0a 20 20 | 20 20 20 54 68 69 73 20 |>.<i>. | This |
|000059a0| 66 69 72 73 74 20 70 61 | 72 74 20 69 73 20 64 65 |first pa|rt is de|
|000059b0| 73 69 67 6e 65 64 20 74 | 6f 20 67 69 76 65 20 74 |signed t|o give t|
|000059c0| 68 65 20 72 65 61 64 65 | 72 20 61 0a 20 20 20 20 |he reade|r a. |
|000059d0| 20 67 65 6e 65 72 61 6c | 20 61 70 70 72 65 63 69 | general| appreci|
|000059e0| 61 74 69 6f 6e 20 6f 66 | 20 74 68 65 20 6f 76 65 |ation of| the ove|
|000059f0| 72 61 6c 6c 20 73 63 6f | 70 65 20 61 6e 64 0a 20 |rall sco|pe and. |
|00005a00| 20 20 20 20 6f 62 6a 65 | 63 74 69 76 65 73 20 6f | obje|ctives o|
|00005a10| 66 20 41 64 61 20 39 35 | 20 61 6e 64 20 69 74 73 |f Ada 95| and its|
|00005a20| 20 6d 61 69 6e 20 74 65 | 63 68 6e 69 63 61 6c 0a | main te|chnical.|
|00005a30| 20 20 20 20 20 66 65 61 | 74 75 72 65 73 2e 20 20 | fea|tures. |
|00005a40| 54 68 65 20 6f 70 65 6e | 69 6e 67 20 63 68 61 70 |The open|ing chap|
|00005a50| 74 65 72 20 64 65 73 63 | 72 69 62 65 73 20 74 68 |ter desc|ribes th|
|00005a60| 65 0a 20 20 20 20 20 62 | 61 63 6b 67 72 6f 75 6e |e. b|ackgroun|
|00005a70| 64 20 74 6f 20 74 68 65 | 20 64 65 76 65 6c 6f 70 |d to the| develop|
|00005a80| 6d 65 6e 74 20 6f 66 20 | 74 68 65 20 72 65 71 75 |ment of |the requ|
|00005a90| 69 72 65 6d 65 6e 74 73 | 0a 20 20 20 20 20 6c 65 |irements|. le|
|00005aa0| 61 64 69 6e 67 20 74 6f | 20 74 68 65 20 6e 65 77 |ading to| the new|
|00005ab0| 20 73 74 61 6e 64 61 72 | 64 2e 20 20 54 68 65 20 | standar|d. The |
|00005ac0| 74 77 6f 20 6d 61 69 6e | 0a 20 20 20 20 20 63 68 |two main|. ch|
|00005ad0| 61 70 74 65 72 73 20 67 | 69 76 65 20 61 20 74 65 |apters g|ive a te|
|00005ae0| 63 68 6e 69 63 61 6c 20 | 76 69 65 77 20 6f 66 20 |chnical |view of |
|00005af0| 74 68 65 20 6c 61 6e 67 | 75 61 67 65 0a 20 20 20 |the lang|uage. |
|00005b00| 20 20 66 72 6f 6d 20 74 | 77 6f 20 64 69 66 66 65 | from t|wo diffe|
|00005b10| 72 65 6e 74 20 73 74 61 | 6e 64 70 6f 69 6e 74 73 |rent sta|ndpoints|
|00005b20| 3a 20 6f 6e 65 20 68 69 | 67 68 6c 69 67 68 74 73 |: one hi|ghlights|
|00005b30| 20 74 68 65 0a 20 20 20 | 20 20 6d 61 69 6e 20 6e | the. | main n|
|00005b40| 65 77 20 66 65 61 74 75 | 72 65 73 20 73 75 63 68 |ew featu|res such|
|00005b50| 20 61 73 20 74 79 70 65 | 20 65 78 74 65 6e 73 69 | as type| extensi|
|00005b60| 6f 6e 2c 20 74 68 65 0a | 20 20 20 20 20 68 69 65 |on, the.| hie|
|00005b70| 72 61 72 63 68 69 63 61 | 6c 20 6c 69 62 72 61 72 |rarchica|l librar|
|00005b80| 79 20 61 6e 64 20 74 68 | 65 20 70 72 6f 74 65 63 |y and th|e protec|
|00005b90| 74 65 64 20 74 79 70 65 | 20 61 6e 64 0a 20 20 20 |ted type| and. |
|00005ba0| 20 20 63 6f 6e 74 61 69 | 6e 73 20 6d 61 6e 79 20 | contai|ns many |
|00005bb0| 69 6c 6c 75 73 74 72 61 | 74 69 76 65 20 65 78 61 |illustra|tive exa|
|00005bc0| 6d 70 6c 65 73 3b 20 74 | 68 65 20 6f 74 68 65 72 |mples; t|he other|
|00005bd0| 0a 20 20 20 20 20 67 69 | 76 65 73 20 61 20 63 6f |. gi|ves a co|
|00005be0| 6d 70 6c 65 74 65 20 6f | 76 65 72 76 69 65 77 20 |mplete o|verview |
|00005bf0| 6f 66 20 74 68 65 20 77 | 68 6f 6c 65 20 6c 61 6e |of the w|hole lan|
|00005c00| 67 75 61 67 65 2e 0a 20 | 20 20 20 20 54 68 65 20 |guage.. | The |
|00005c10| 72 65 61 64 65 72 20 69 | 73 20 72 65 63 6f 6d 6d |reader i|s recomm|
|00005c20| 65 6e 64 65 64 20 74 6f | 20 72 65 61 64 20 74 68 |ended to| read th|
|00005c30| 69 73 20 66 69 72 73 74 | 20 70 61 72 74 0a 20 20 |is first| part. |
|00005c40| 20 20 20 62 65 66 6f 72 | 65 20 61 74 74 65 6d 70 | befor|e attemp|
|00005c50| 74 69 6e 67 20 74 6f 20 | 72 65 61 64 20 74 68 65 |ting to |read the|
|00005c60| 20 41 64 61 20 39 35 20 | 52 65 66 65 72 65 6e 63 | Ada 95 |Referenc|
|00005c70| 65 0a 20 20 20 20 20 4d | 61 6e 75 61 6c 2e 0a 3c |e. M|anual..<|
|00005c80| 2f 69 3e 0a 3c 2f 70 3e | 0a 0a 3c 68 72 3e 0a 3c |/i>.</p>|..<hr>.<|
|00005c90| 61 20 68 72 65 66 3d 72 | 61 74 39 35 2d 63 6f 70 |a href=r|at95-cop|
|00005ca0| 79 72 69 67 68 74 2e 68 | 74 6d 6c 3e 20 43 6f 70 |yright.h|tml> Cop|
|00005cb0| 79 72 69 67 68 74 20 3c | 2f 61 3e 20 7c 0a 3c 61 |yright <|/a> |.<a|
|00005cc0| 20 68 72 65 66 3d 72 61 | 74 39 35 2d 63 6f 6e 74 | href=ra|t95-cont|
|00005cd0| 65 6e 74 73 2e 68 74 6d | 6c 3e 20 43 6f 6e 74 65 |ents.htm|l> Conte|
|00005ce0| 6e 74 73 20 3c 2f 61 3e | 20 7c 0a 3c 61 20 68 72 |nts </a>| |.<a hr|
|00005cf0| 65 66 3d 72 61 74 39 35 | 2d 69 6e 64 65 78 2e 68 |ef=rat95|-index.h|
|00005d00| 74 6d 6c 3e 20 49 6e 64 | 65 78 20 3c 2f 61 3e 20 |tml> Ind|ex </a> |
|00005d10| 7c 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d ||.<a hre|f=rat95-|
|00005d20| 63 6f 6e 74 65 6e 74 73 | 2e 68 74 6d 6c 3e 20 50 |contents|.html> P|
|00005d30| 72 65 76 69 6f 75 73 20 | 3c 2f 61 3e 20 7c 0a 3c |revious |</a> |.<|
|00005d40| 61 20 68 72 65 66 3d 72 | 61 74 39 35 2d 70 31 2d |a href=r|at95-p1-|
|00005d50| 31 2e 68 74 6d 6c 3e 20 | 4e 65 78 74 20 3c 2f 61 |1.html> |Next </a|
|00005d60| 3e 0a 0a 3c 68 72 3e 0a | 3c 61 64 64 72 65 73 73 |>..<hr>.|<address|
|00005d70| 3e 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d |>.<a hre|f=rat95-|
|00005d80| 61 75 74 68 6f 72 2e 68 | 74 6d 6c 3e 20 4c 61 75 |author.h|tml> Lau|
|00005d90| 72 65 6e 74 20 47 75 65 | 72 62 79 20 3c 2f 61 3e |rent Gue|rby </a>|
|00005da0| 0a 3c 2f 61 64 64 72 65 | 73 73 3e 0a 0a 0a 0a 3c |.</addre|ss>....<|
|00005db0| 2f 62 6f 64 79 3e 0a 3c | 2f 68 74 6d 6c 3e 0a 00 |/body>.<|/html>..|
|00005dc0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005dd0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005de0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005df0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005e00| 72 61 74 39 35 68 74 6d | 6c 2f 72 61 74 39 35 2d |rat95htm|l/rat95-|
|00005e10| 70 31 2d 31 2e 68 74 6d | 6c 00 00 00 00 00 00 00 |p1-1.htm|l.......|
|00005e20| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005e30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005e40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005e50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005e60| 00 00 00 00 31 30 30 36 | 34 34 20 00 20 20 32 31 |....1006|44 . 21|
|00005e70| 33 36 20 00 20 20 20 20 | 35 30 20 00 20 20 20 20 |36 . |50 . |
|00005e80| 20 20 34 34 36 32 31 20 | 20 36 31 30 34 32 33 36 | 44621 | 6104236|
|00005e90| 31 33 36 20 20 31 33 32 | 33 37 00 20 30 00 00 00 |136 132|37. 0...|
|00005ea0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005eb0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005ec0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005ed0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005ee0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005ef0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f00| 00 75 73 74 61 72 20 20 | 00 67 75 65 72 62 79 00 |.ustar |.guerby.|
|00005f10| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f20| 00 00 00 00 00 00 00 00 | 00 33 41 00 00 00 00 00 |........|.3A.....|
|00005f30| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f40| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f50| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f60| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f70| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f80| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005f90| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005fa0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005fb0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005fc0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005fd0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005fe0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00005ff0| 00 00 00 00 00 00 00 00 | 00 00 00 00 00 00 00 00 |........|........|
|00006000| 3c 68 74 6d 6c 3e 0a 3c | 68 65 61 64 3e 0a 3c 74 |<html>.<|head>.<t|
|00006010| 69 74 6c 65 3e 0a 48 79 | 70 65 72 74 65 78 74 20 |itle>.Hy|pertext |
|00006020| 41 64 61 20 39 35 20 52 | 61 74 69 6f 6e 61 6c 65 |Ada 95 R|ationale|
|00006030| 20 2d 20 50 61 72 74 20 | 4f 6e 65 20 2d 20 43 68 | - Part |One - Ch|
|00006040| 61 70 74 65 72 20 31 0a | 3c 2f 74 69 74 6c 65 3e |apter 1.|</title>|
|00006050| 0a 3c 2f 68 65 61 64 3e | 0a 0a 3c 62 6f 64 79 3e |.</head>|..<body>|
|00006060| 0a 0a 3c 61 20 68 72 65 | 66 3d 72 61 74 39 35 2d |..<a hre|f=rat95-|
|00006070| 63 6f 70 79 72 69 67 68 | 74 2e 68 74 6d 6c 3e 20 |copyrigh|t.html> |
|00006080| 43 6f 70 79 72 69 67 68 | 74 20 3c 2f 61 3e 20 7c |Copyrigh|t </a> ||
|00006090| 0a 3c 61 20 68 72 65 66 | 3d 72 61 74 39 35 2d 63 |.<a href|=rat95-c|
|000060a0| 6f 6e 74 65 6e 74 73 2e | 68 74 6d 6c 3e 20 43 6f |ontents.|html> Co|
|000060b0| 6e 74 65 6e 74 73 20 3c | 2f 61 3e 20 7c 0a 3c 61 |ntents <|/a> |.<a|
|000060c0| 20 68 72 65 66 3d 72 61 | 74 39 35 2d 69 6e 64 65 | href=ra|t95-inde|
|000060d0| 78 2e 68 74 6d 6c 3e 20 | 49 6e 64 65 78 20 3c 2f |x.html> |Index </|
|000060e0| 61 3e 20 7c 0a 3c 61 20 | 68 72 65 66 3d 72 61 74 |a> |.<a |href=rat|
|000060f0| 39 35 2d 70 31 2e 68 74 | 6d 6c 3e 20 50 72 65 76 |95-p1.ht|ml> Prev|
|00006100| 69 6f 75 73 20 3c 2f 61 | 3e 20 7c 0a 3c 61 20 68 |ious </a|> |.<a h|
|00006110| 72 65 66 3d 72 61 74 39 | 35 2d 70 31 2d 32 2e 68 |ref=rat9|5-p1-2.h|
|00006120| 74 6d 6c 3e 20 4e 65 78 | 74 20 3c 2f 61 3e 0a 3c |tml> Nex|t </a>.<|
|00006130| 68 72 3e 0a 0a 3c 68 31 | 3e 0a 49 20 20 20 45 76 |hr>..<h1|>.I Ev|
|00006140| 6f 6c 75 74 69 6f 6e 20 | 6f 66 20 41 64 61 20 39 |olution |of Ada 9|
|00006150| 35 0a 3c 2f 68 31 3e 0a | 0a 0a 3c 70 3e 0a 41 64 |5.</h1>.|..<p>.Ad|
|00006160| 61 20 69 73 20 61 20 6d | 6f 64 65 72 6e 20 70 72 |a is a m|odern pr|
|00006170| 6f 67 72 61 6d 6d 69 6e | 67 20 6c 61 6e 67 75 61 |ogrammin|g langua|
|00006180| 67 65 20 73 75 69 74 61 | 62 6c 65 20 66 6f 72 20 |ge suita|ble for |
|00006190| 74 68 6f 73 65 0a 61 70 | 70 6c 69 63 61 74 69 6f |those.ap|plicatio|
|000061a0| 6e 20 61 72 65 61 73 20 | 77 68 69 63 68 20 62 65 |n areas |which be|
|000061b0| 6e 65 66 69 74 20 66 72 | 6f 6d 20 74 68 65 20 64 |nefit fr|om the d|
|000061c0| 69 73 63 69 70 6c 69 6e | 65 20 6f 66 0a 6f 72 67 |isciplin|e of.org|
|000061d0| 61 6e 69 7a 65 64 20 64 | 65 76 65 6c 6f 70 6d 65 |anized d|evelopme|
|000061e0| 6e 74 2c 20 74 68 61 74 | 20 69 73 2c 20 53 6f 66 |nt, that| is, Sof|
|000061f0| 74 77 61 72 65 20 45 6e | 67 69 6e 65 65 72 69 6e |tware En|gineerin|
|00006200| 67 3b 20 69 74 20 69 73 | 0a 61 20 67 65 6e 65 72 |g; it is|.a gener|
|00006210| 61 6c 20 70 75 72 70 6f | 73 65 20 6c 61 6e 67 75 |al purpo|se langu|
|00006220| 61 67 65 20 77 69 74 68 | 20 73 70 65 63 69 61 6c |age with| special|
|00006230| 20 61 70 70 6c 69 63 61 | 62 69 6c 69 74 79 20 74 | applica|bility t|
|00006240| 6f 0a 72 65 61 6c 2d 74 | 69 6d 65 20 61 6e 64 20 |o.real-t|ime and |
|00006250| 65 6d 62 65 64 64 65 64 | 20 73 79 73 74 65 6d 73 |embedded| systems|
|00006260| 2e 20 20 41 64 61 20 77 | 61 73 20 6f 72 69 67 69 |. Ada w|as origi|
|00006270| 6e 61 6c 6c 79 0a 64 65 | 76 65 6c 6f 70 65 64 20 |nally.de|veloped |
|00006280| 62 79 20 61 6e 20 69 6e | 74 65 72 6e 61 74 69 6f |by an in|ternatio|
|00006290| 6e 61 6c 20 64 65 73 69 | 67 6e 20 74 65 61 6d 20 |nal desi|gn team |
|000062a0| 69 6e 20 72 65 73 70 6f | 6e 73 65 20 74 6f 0a 72 |in respo|nse to.r|
|000062b0| 65 71 75 69 72 65 6d 65 | 6e 74 73 20 69 73 73 75 |equireme|nts issu|
|000062c0| 65 64 20 62 79 20 74 68 | 65 20 55 6e 69 74 65 64 |ed by th|e United|
|000062d0| 20 53 74 61 74 65 73 20 | 44 65 70 61 72 74 6d 65 | States |Departme|
|000062e0| 6e 74 20 6f 66 0a 44 65 | 66 65 6e 73 65 20 5b 44 |nt of.De|fense [D|
|000062f0| 6f 44 20 37 38 5d 2e 0a | 3c 2f 70 3e 0a 3c 70 3e |oD 78]..|</p>.<p>|
|00006300| 0a 20 20 20 41 64 61 20 | 39 35 20 69 73 20 61 20 |. Ada |95 is a |
|00006310| 72 65 76 69 73 65 64 20 | 76 65 72 73 69 6f 6e 20 |revised |version |
|00006320| 6f 66 20 41 64 61 20 75 | 70 64 61 74 69 6e 67 20 |of Ada u|pdating |
|00006330| 74 68 65 20 31 39 38 33 | 20 41 4e 53 49 0a 41 64 |the 1983| ANSI.Ad|
|00006340| 61 20 73 74 61 6e 64 61 | 72 64 20 5b 41 4e 53 49 |a standa|rd [ANSI|
|00006350| 20 38 33 5d 20 61 6e 64 | 20 74 68 65 20 65 71 75 | 83] and| the equ|
|00006360| 69 76 61 6c 65 6e 74 20 | 31 39 38 37 20 49 53 4f |ivalent |1987 ISO|
|00006370| 20 73 74 61 6e 64 61 72 | 64 0a 5b 49 53 4f 20 38 | standar|d.[ISO 8|
|00006380| 37 5d 20 69 6e 20 61 63 | 63 6f 72 64 61 6e 63 65 |7] in ac|cordance|
|00006390| 20 77 69 74 68 20 41 4e | 53 49 20 61 6e 64 20 49 | with AN|SI and I|
|000063a0| 53 4f 20 70 72 6f 63 65 | 64 75 72 65 73 2e 20 20 |SO proce|dures. |
|000063b0| 28 41 4e 53 49 0a 69 73 | 20 74 68 65 20 41 6d 65 |(ANSI.is| the Ame|
|000063c0| 72 69 63 61 6e 20 4e 61 | 74 69 6f 6e 61 6c 20 53 |rican Na|tional S|
|000063d0| 74 61 6e 64 61 72 64 73 | 20 49 6e 73 74 69 74 75 |tandards| Institu|
|000063e0| 74 65 20 61 6e 64 20 49 | 53 4f 20 69 73 20 74 68 |te and I|SO is th|
|000063f0| 65 0a 49 6e 74 65 72 6e | 61 74 69 6f 6e 61 6c 20 |e.Intern|ational |
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.