目录 1
第一章 概论 1
1.1 为什么要学习Ada语言 1
1.2 Ada的特点 3
1.3 国外对Ada的开发、应用情况 5
1.4 Ada的构成 7
习题 7
2.2 标识符 8
2.1 字符集 8
第二章 Ada词法元素 8
2.3 数值字面量 10
2.4 字符和字符串 11
2.5 注释 12
习题 12
第三章 标量数据类型 14
3.1 Ada的类型分类与机理 14
3.2 整数类型 18
3.3 实数据类型 20
3.4 枚举数据类型 22
3.5 类型转换 26
习题 28
第四章 简单程序设计 30
4.1 Ada语言的基本运算及表达式 30
4.2 Ada程序的结构 34
4.3 赋值语句 37
4.4 正文输出 39
4.5 正文输入 47
4.6 空语句 48
4.7 简单程序举例 49
习题 51
第五章 流程控制 53
5.1 条件语句 53
5.2 循环语句 61
5.3 情况语句 77
5.4 转移语句 80
5.5 块语句 81
5.6 应用举例 83
习题 92
第六章 子程序 95
6.1 简单的子程序 95
6.2 子程序声明 97
6.3 子程序调用 103
6.4 过程子程序 106
6.5 函数子程序 110
6.6 全程变量和局部变量 114
6.7 子程序嵌套 115
6.8 递归 120
6.9 重载 124
6.10 应用举例 129
习题 134
第七章 程序包 136
7.1 引例 136
7.2 程序包的语法 139
7.3 程序包的使用 145
7.4 use子句 150
7.5 声明的重命名 153
7.6 无体程序包 155
7.7 程序包与私有类型 157
7.8 派生类型与程序包 160
7.9 预定义程序包 161
习题 162
第八章 数组类型 164
8.1 数组类型的定义和对象声明 164
8.2 数组的聚集 167
8.3 数组的操作 169
8.4 数组作为子程序参数 177
8.5 多维数组 181
8.6 字符串 184
8.7 数组类型转换 186
习题 186
第九章 记录类型 188
9.1 记录类型的定义 189
9.2 记录聚集 192
9.3 记录的操作 192
9.4 应用举例 202
习题 211
第十章 判别类型 213
10.1 可变记录 213
10.2 判别式约束 216
10.3 变长数组 218
10.4 判别类型的使用 219
10.5 判别私有类型 224
习题 225
11.1 文件 227
第十一章 高级输入／输出 227
11.2 文件的声明 229
11.3 文件的打开与关闭 234
11.4 顺序文件 236
11.5 随机存取文件 240
11.6 正文文件 242
11.7 数值数据文件的输入／输出 253
11.8 字符串输入／输出 256
11.9 高级输入输出中的异常处理 257
11.10 应用举例 261
习题 270
第十二章 访问数据类型 272
12.1 基本概念 272
12.2 访问类型声明 274
12.3 动态分配 276
12.4 动态分配变量的命名 279
12.5 访问类型的操作 282
12.6 链表 287
12.7 双向链表 291
12.8 树 293
12.9 判别类型作为基类型 298
12.10 应用举例 299
习题 304
第十三章 分别编译 306
13.1 引言 306
13.2 程序库 307
13.3 编译单元与with子句 308
13.4 子单元 314
13.5 编译的顺序 316
13.6 重新编译 317
13.7 作用域和可见性 318
习题 319
第十四章 类属程序单元 321
14.1 引例 321
14.2 模板——类属声明 324
14.3 类属例化 331
14.4 类属形式对象和类属形式子程序 335
14.5 类属形式类型 341
习题 349
第十五章 异常 352
15.1 引例 352
15.2 异常的引发 354
15.3 异常的传播 359
15.4 预定义异常 361
15.5 程序员定义的异常 364
15.6 异常应用举例 367
习题 371
第十六章 任务 372
16.1 任务类型与任务对象 373
16.2 任务的并发执行 377
16.3 简单会合 380
16.4 入口语句和接收语句 386
16.5 更为实用的会合 390
16.6 更为灵活的会合 404
16.7 任务的高级特性 407
16.8 任务的属性 411
16.9 任务与异常 412
16.10 应用举例 416
习题 426
附录 428
附录1 Meridian Ada Vantage编译系统使用简介 428
附录2 预定义语言环境 431
附录3 预定义语言属性 437
附录4 预定义语言编用 442
附录5 预定义标识符 445
附录6 Ada语法规则 447
语法索引 456
主要参考文献 460