第1章 引言 1
1.1 历史 1
目录 1
1.2 技术背景 3
1.3 本书的结构及其目的 4
1.4 参考文献 5
第2章 Ada的概念 6
2.1 主要目标 6
2.2 概述 6
2.3 错误 11
2.4 输入-输出 11
2.5 术语 11
3.2 词法成分 12
第3章 词法式样 12
3.1 语法表示 12
3.3 标识符 13
3.4 数 14
3.5 注释 16
第4章 纯量类型 18
4.1 对象的说明和赋值 18
4.2 分程序和作用域 19
4.3 类型 22
4.4 子类型 23
4.5 简单数值类型 24
4.6 枚举类型 29
4.7 布尔类型 31
4.8 类型分类 34
4.9 表达式小结 35
第5章 控制结构 39
5.1 条件语句 39
5.2 分情形语句 42
5.3 循环语句 45
5.4 转移语句和标号 50
5.5 语句分类 50
第6章 复合类型 52
6.1 数组 52
6.2 数组类型 55
6.3 字符和串 61
6.4 维数组运算 63
6.5 记录 66
第7章 子程序 71
7.1 函数 71
7.2 运算符 75
7.3 过程 77
7.4 带名参数和省缺参数 82
7.5 重载 83
7.6 说明、作用域和可见性 84
第8章 整体结构 88
8.1 程序包 88
8.2 库单位 92
8.3 子单位 94
8.4 作用域和可见性 95
8.5 重命名 97
9.1 一般私有类型 100
第9章 私有类型 100
9.2 受限私有类型 104
9.3 资源管理 108
第10章 异常 112
10.1 异常处理 112
10.2 说明与引发异常 114
10.3 异常的作用域 119
第11章 高级类型 124
11.1 判别式记录类型 124
11.2 变体部分 130
11.3 存取类型 134
11.4 存取类型和私有类型 140
11.5 存取类型与约束 142
11.6 派生类型 147
第12章 数值类型 154
12.1 整型 154
12.2 实型 157
12.3 浮点类型 158
12.4 定点类型 162
第13章 类属 166
13.1 说明和例举 166
13.2 类型参数 170
13.3 子程序参数 174
第14章 任务处理 177
14.1 并行处理思想 177
14.2 会合 178
14.3 定时与调度 182
14.4 选择语句 186
14.5 任务类型与激活 198
14.6 终止和异常 204
14.7 资源调度 210
14.8 与程序包的比较 215
第15章 外部接口 219
15.1 输入和输出 219
15.2 正文输入-输出 223
15.3 中断 230
15.4 表示子句 231
15.5 实现上的考虑 232
15.6 无检查程序设计 234
15.7 其他语言 235
16.1 名字与表达式 236
第16章 结束语 236
16.2 类型等价 239
16.3 结构小结 240
16.4 可移植性 241
16.5 程序设计 243
附录1 保留字、属性和杂注 249
A1.1 保留字 249
A1.2 预定义属性 251
A1.3 预定义杂注 254
附录2 预定义语言环境 257
附录3 词汇表 262
附录4 语法 266
A4.1 语法规则 266
A4.2 语法索引 273
练习答案 278