Ada语言实用教程PDF电子书下载

第一章 导论 1

1.1 Ada的历史背景 1

1.2 Ada的产生过程 2

1.3 Ada的主要特点 3

1.4 一个简单的Ada程序 5

1.5 Ada_RTS编译系统 7

第二章 基础 10

2.1 词法元素 10

2.1.1 字符集 10

2.1.2 标识符 10

2.1.3 字面值 11

2.1.3.1 数值字面值 11

2.1.3.2 字符字面值 12

2.1.3.3 字符串字面值 12

2.2 编用 13

2.1.4 注解 13

2.3 类型说明与分类 14

2.4 对象说明与赋值 15

2.5 语句与分类 16

2.6 分程序与作用域 17

第三章 标量类型 20

3.1 子类型与派生类型 20

3.1.1 子类型 20

3.1.2 派生类型 21

3.2 整数类型 21

3.3 枚举类型 25

3.3.1 布尔类型 27

3.3.2 字符类型 28

3.4 实数类型 28

3.4.1 浮点类型 28

3.4.2 定点类型 30

3.5 表达式综述 31

第四章 流程控制 34

4.1 条件语句 34

4.2 情况语句 36

4.3 循环语句与出口语句 37

4.3.1 基本循环与出口语句 38

4.3.2 for循环 39

4.3.3 while循环 39

4.4 转移语句与标号 40

第五章 合成类型 42

5.1 数组类型 42

5.1.1 非约束性数组 42

5.1.2 约束性数组 43

5.1.3 数组聚集 43

5.1.4 数组类型的操作 44

5.2.1 简单记录类型 48

5.2 记录类型 48

5.2.2 记录的使用与操作 49

5.2.3 判别项记录类型 50

5.2.4 判别项约束 52

5.2.5 判别项记录的使用与操作 53

5.3 存取类型 54

6.1 子程序的形式 57

6.2 子程序体和返回语句 57

第六章 子程序 57

6.3 形式参数 58

6.4 子程序调用 60

6.5 子程序说明 62

6.6 运算符和‘一名多用’子程序 63

6.6.1 运算符 63

6.6.2 子程序的‘一名多用’ 64

6.7 子程序的应用 65

7.2 程序包规格说明 66

7.1 概述 66

第七章 程序包 66

7.3 程序包体 68

7.4 程序包实体的引用 70

7.5 私有类型 72

7.6 二叉树树叶计数问题 73

第八章 类属 78

8.1 说明与衍生 78

8.2 类属类型参数 81

8.3 类属子程序参数 83

8.4 一个通用集合程序包的例子 85

第九章 异常处理 88

9.1 异常处理 88

9.2 异常说明与引发语句 89

9.3 异常传播 91

9.4 异常的作用域 94

10.1 任务概念 98

第十章 任务 98

10.2 任务规格说明与任务类型 99

10.3 任务体 101

10.4 接受语句与任务间的会合 103

10.5 银行模拟问题 105

10.6 选择语句 110

10.6.1 选择等待 110

10.6.2 条件入口项调用 111

10.6.3 定时入口项调用 111

10.7 夭折语句与任务优先级 112

10.8 任务对象的存取类型 112

10.9 哲学家就餐问题 114

第十一章 程序结构和分别编译 118

11.1 Ada程序结构 118

11.2 上下文子句 119

11.3 编译单位的子单位 121

11.4 编译顺序和程序库 123

11.5 重命名说明 123

11.6 Ada程序结构的应用 125

第十二章 外部接口 128

12.1 输入输出 128

12.1.1 文件概念 128

12.1.2 文件管理 128

12.1.3 顺序文件和直接文件的输入输出 129

12.1.4 正文输入输出 130

12.1.5 低级输入输出 134

12.2 表示子句及中断 134

12.2.1 长度表示子句 134

12.2.2 枚举表示子句 135

12.2.3 记录表示子句 136

12.2.4 地址表示子句与中断 136

附录A Ada语法定义 138

附录B Ada小字典 146

附录C Ada—RTS编译系统的使用说明 151

附录D 程序实例 154

D.1 文件测试 154

D.2 “八皇后”问题 155

D.3 SHELL排序 158

D.4 “河内（HANOI）”塔问题 161

D.5 求素数 163

D.6 人员记录 164

D.7 统计考分 167

D.8 树遍历 169

D.9 逻辑运算测试 171

D.10 用并发任务寻找素数 175

D.11 哲学家就餐问题 177

D.12 交通仿真问题 180

附录E 练习答案 189