目录 1
第一章 ADA程序结构 1
1.1 早期语言的模块 1
1.2 ADA的模块及其基本特点 3
1.3 ADA程序一瞥 5
1.4 基本程序结构 7
习题 9
第二章 程序单元的组成 11
2.1 基本词法特征 11
2.2 纯量类型 18
2.3 顺序控制结构 33
2.4 选择控制结构 39
2.5 重复控制结构 45
2.6 数组类型 54
2.7 简单记录类型 74
习题 78
第三章 基本程序单元——子程序 83
3.1 函数 83
3.2 过程 93
3.3 异常及其处理 101
3.4 子程序说明 106
3.5 重载 108
3.6 子程序的定义域、作用域与可见性 111
3.7 子程序的转移 112
3.8 子程序的副作用 113
3.9 嵌入式子程序 114
3.10 对ADA子程序的评述 114
习题 116
第四章 公用实体的程序单元——程序包 118
4.1 程序包机制 118
4.2 异常说明与异常引发 125
4.3 私有类型与延迟常量 133
4.4 判别记录类型 143
4.5 存取类型 156
4.6 派生类型 175
4.7 再谈数值类型 183
4.8 程序包的定义域、作用域与可见性规则 198
4.9 再命名规则 202
4.10 对程序包的评述 202
习题 203
第五章 模板程序单元——类属单元 207
5.1 类属单元的说明、实例化与使用 208
5.2 类属类型参数 213
5.3 类属对象参数 219
5.4 类属子程序参数 221
5.5 嵌套类属单元 225
5.6 无参类属单元 226
5.7 类属与异常 230
5.8 对类属单元的评述 231
习题 232
第六章 并行处理的程序单元——任务 236
6.1 并行问题的提出 236
6.2 任务的定义 237
6.3 任务的激活、执行与结束 239
6.4 任务间的同步与通讯 241
6.5 任务的延迟执行 248
6.6 对接收语句的控制 251
6.7 对任务入口调用的控制 264
6.8 任务类型与任务对象的建立 268
6.9 任务的终止、夭折与异常 275
6.10 任务的优先执行 278
6.11 对ADA任务的评述 287
习题 289
第七章 程序单元的其它外部接口 293
7.1 输入输出概述 293
7.2 二进制输入输出 295
7.3 正文输入输出 301
7.4 物理层数据表示法规范说明 326
7.5 中断 335
7.6 低级输入输出 337
7.7 代码语句 338
7.9 与其它语言的接口 342
7.10 无检查的程序设计 343
7.11 ADA程序设计支持环境概述 345
7.8 SYSTEM程序包 348
习题 348
第八章 大型软件的开发方法及其应用 351
8.1 程序库 351
8.2 分别编译 353
8.3 自底向上的开发方法及其应用 355
8.4 自顶向下的开发方法及其应用 368
习题 377
附录一 ASCII字符集 380
附录二 保留字 385
附录三 预定义标识符 386
附录四 预定义属性 388
附录五 预定义编译注解 395
附录六 预定义环境 397
附录七 语法规则 420
附录八 小词典 429
主要参考资料 437