Ada 编程/Ada 83

Ada 83 是 Ada 编程语言的第一个版本。它基于所谓的 Ada 80，该语言的初步版本正式被称为 MIL-STD-1815（1980 年 12 月发布）。该标准由美国国防部和美国国家标准学会作为 ANSI/MIL-STD-1815A 于 1983 年 2 月进行细化和标准化（注意结尾处多了一个 'A'），后来被国际标准化组织采纳为 ISO/IEC 8652:1987。

语言特性

字符集

ASCII（7 位）中的标识符

特性概要

关键字

Ada 83 有 63 个关键字

abort
abs
accept
access
all
and
array
at
begin
body
case
constant
declare
delay
delta
digits
do
else
elsif
end
entry
exception
exit
for
function
generic
goto
if
in
is
limited
loop
mod
new
not
null
of
or
others
out
package
pragma
private
procedure
raise
range
record
rem
renames
return
reverse
select
separate
subtype
task
terminate
then
type
use
when
while
with
xor

编译指示

有 14 个编译指示

pragma Controlled
pragma Elaborate
pragma Inline
pragma Interface（从 Ada 95 开始过时）
pragma List
pragma Memory_Size（从 Ada 95 开始过时）
pragma Optimize
pragma Pack
pragma Page
pragma Priority
pragma Shared（从 Ada 95 开始过时）
pragma Storage_Unit（从 Ada 95 开始过时）
pragma Suppress
pragma System_Name（从 Ada 95 开始过时）

属性

有 40 个属性

Address
Aft
Base
Callable
Constrained
Count
Delta
Digits
Emax（从 Ada 95 开始过时）
Epsilon（从 Ada 95 开始过时）
First
First_Bit
Fore
Image
Large（从 Ada 95 开始过时）
Last
Last_Bit
Length
Machine_Emax
Machine_Emin
Machine_Mantissa
Machine_Overflows
Machine_Radix
Machine_Rounds
Mantissa（从 Ada 95 开始过时）
Pos
Position
Pred
Range
Safe_Emax（从 Ada 95 开始过时）
Safe_Large（从 Ada 95 开始过时）
Safe_Small（从 Ada 95 开始过时）
Size
Small
Storage_Size
Succ
Terminated
Val
Value
Width

库单元


包	Standard
嵌套包	Standard.ASCII
包	Calendar
包	System
包	Machine_Code（实现相关）
泛型过程	Unchecked_Deallocation
泛型函数	Unchecked_Conversion
泛型包	Sequential_IO
泛型包	Direct_IO
包	Text_IO
泛型嵌套包	Text_IO.Integer_IO
泛型嵌套包	Text_IO.Float_IO
泛型嵌套包	Text_IO.Fixed_IO
泛型嵌套包	Text_IO.Enumeration_IO
包	IO_Exceptions
包	Low_Level_IO（实现相关）

参见

维基教科书

参考文献

进一步阅读

Karl A. Nyberg (编辑)，Ada 注释参考手册，第三版 (1994 年 3 月)。