Ada程序设计PDF电子书下载

第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