第1章 引言 1
1.1 历史 1
1.2 技术背景 2
1.3 本书的结构和目标 4
1.4 参考书 4
第2章 Ada的概念 5
2.1 主要目标 5
2.2 概述 5
2.3 错误 10
2.4 输入/输出 10
2.5 术语 10
3.2 词法元素 12
3.1 语法表示法 12
第3章 词法形式 12
3.3 标识符 13
3.4 数 14
3.5 注释 16
第4章 纯量类型 17
4.1 对象说明和赋值 17
4.2 分程序和作用域 18
4.3 类型 21
4.4 子类型 22
4.5 简单的数值类型 23
4.6 枚举类型 27
4.7 布尔类型 29
4.8 类型分类 32
4.9 表达式 33
第5章 控制结构 37
5.1 If语句 37
5.2 Case语句 40
5.3 循环语句 43
5.4 Goto语句和标号 48
5.5 语句分类 48
第6章 复合类型 50
6.1 数组 50
6.2 数组类型 53
6.3 字符和字符串类型 58
6.4 一维数组运算 60
6.5 记录 64
第7章 子程序 68
7.1 函数 68
7.2 运算符 72
7.3 过程 74
7.4 命名和隐含参量 79
7.5 重载 80
7.6 说明、范围和可见性 81
第8章 整体结构 85
8.1 程序包 85
8.2 库程序单位 89
8.3 子单位 91
8.4 作用域和可见性 92
8.5 换名 94
第9章 私有类型 97
9.1 一般私有类型 97
9.2 受限私有类型 101
9.3 资源管理 104
第10章 异常 109
10.1 异常处理 109
10.2 异常说明与引发 112
10.3 异常作用域 116
第11章 高级类型 121
11.1 可判别记录类型 121
11.2 变体记录 127
11.3 存取类型 130
11.4 存取类型和私有类型 137
11.5 存取类型与约束 139
11.6 派生类型 144
第12章 数值类型 150
12.1 整型 150
12.2 实型 153
12.3 浮点类型 154
12.4 定点类型 157
第13章 类属 161
13.1 类属说明与类属例化 161
13.2 类属类型参数 165
13.3 类属子程序参数 169
14.1 并行 172
第14章 任务 172
14.2 汇合 173
14.3 分时和调度 177
14.4 选择语句 181
14.5 任务类型和任务激活 193
14.6 任务的终止与异常 199
14.7 资源调度 204
14.8 与程序包的比较 210
第15章 外部接口 213
15.1 输入和输出 213
15.2 文本输入输出 218
15.3 中断 224
15.4 表示子句 225
15.5 实现考虑 227
15.6 无检查的程序设计 228
第16章 总结 230
16.1 名与表达式 230
16.2 类型等效 233
16.3 结构小结 234
16.4 可移植性 235
16.5 程序设计 237
附录1.预定义属性 243
附录2.预定义杂注 249
附录3.预定义语言环境 251
附录4.语法规则 257
附录5.保留字 266
附录6.术语汇编 268