第一章导论 1
1.1 历史 1
目 录 1
1.2技术背景 4
1.3本书的结构和目的 6
1.4参考文献 7
第二章Ada概念 9
2.1 关键目标 9
2.2概况 10
2.3错误 17
2 4输入－输出 18
2.5术语 18
3.1语法表示法 20
第三章词法风格 20
3.2词法元素 21
3.3标识符 23
3.4数 24
3.5注释 27
第四章标量类型 30
4.1对象说明和赋值 30
4.2分程序和作用域 33
4.3类型 36
4.4子类型 38
4.5简单数值类型 40
4.6枚举类型 47
4.7 布尔类型 51
4.8类型分类 54
4.9表达式梗概 56
第五章控制结构 62
5.1 条件语句 62
5 2情况语句 67
5.3循环语句 72
5.4转向语句和标号 79
5.5语句分类 80
第六章复合类型 82
6.1 数组 82
6.2数组类型 87
6.3字符和串 96
6.4一维数组运算…………………………………… （1OO）6.5记录 105
7.1 函数 112
第七章子程序 112
7.2运算符 119
7.3过程 122
7.4命名和省缺参数 129
7.5 重载 131
7.6说明、作用域和可见性 132
第八章总体结构 . 138
8.1 程序包 138
8.2库单元 144
8.3 子单元 147
84作用域和可见性 149
8 5重新命名 153
第九章私有类型 157
9.1 一般私有类型 157
9.2受限私有类型 164
9.3资源管理 169
第十章异常 176
1O.1 处理异常 176
10.2说明知引发异常 180
1O.3异常的作用域 187
第十一章高级类型 193
11.1 带判别式的记录类型 193
11.2变体部分 203
11.3存取类型 208
11.4存取类型和私有类型 217
11.5存取类型和制约 221
11.6 派生类型 228
12.1 整数类型 237
第十二章数值类型 237
12.2 实数类型 242
12.3浮点类型 244
12.4定点类型 250
第十三章类属 255
13.1 说明和取例 255
13.2类型参数 261
13.3子程序参数 268
第十四章任务 273
14.1并行 273
14.2会合 276
14.3定时和调度 282
14.4选择语句 288
14.5任务类型和激活 307
14.6终结和异常 316
14.7资源调度 325
14.8与程序包对比 333
第十五章外部界面 337
15.1 输入和输出 337
15.2正文输入－输出 345
15.3 中断 356
15.4表示子句 357
15.5实现考虑 359
15.6未经检验的程序设计 362
15.7其它语言 364
第十六章结束语 365
16.1 名字和表达式 365
16.2类型等价 370
16.3 结构总结 372
16.4 可移植性 374
16.5 程序设计 377
附录1保留字、属性和杂注 387
A1.1 保留字 387
A1.2预定义属性 390
A1.3预定义杂注 397
附录2预定义的语言环境 401
附录3词汇表 411
附录4语法 420
A4.1 语法规则 420
A4.2语法索引 433
习题解答 441