ADA程序设计PDF电子书下载

第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