《ADA 语言》求取 ⇩

目录1

编译者前言1

第一章ADA语言的概貌1

1.1 结构语句1

1.2 参注、说明与可执行语句3

1.3 数据类型管理4

1.3.1 派生型5

1.3.2 子类型7

1.4 实数处理8

1.5 复合类型9

1.5.1 数组9

1.5.2 字符串11

1.5.3 记录12

1.6 子程序13

1.7 类属类型16

1.8 程序包17

1.9 私有类型21

1.10 异常和任务22

1.10.1 异常23

1.10.2 任务23

第二章 程序结构与可执行语句25

2.1 ADA的字符集25

2.2 程序的一般结构27

2.2.1 标识符28

　　 2.2.2 字面值31

2.2.3 算术表达式32

2.2.4 逻辑表达式35

2.3 顺序语句和结构常值38

2.4 GOTO语句41

2.5 IF语句42

2.6 分程序45

2.7 循环46

2.7.1 无条件循环46

2.7.2 条件循环47

2.7.3 下标循环48

2.8 CASE结构51

第三章 数据类型54

3.1 类型概述54

3.2 派生型和子类型58

3.3 约束61

3.3.1 离散类型的约束61

3.3.2 实型的约束62

3.3.3 预定义实型的约束66

3.4.2 标量型的属性67

3.4.1 通用属性67

3.4 属性67

3.4.3 离散型的属性68

3.4.4 实数型的属性69

3.4.5 数组型的属性70

3.5 标量型的运算71

3.5.1 枚举型的运算71

3.5.2 布尔型的运算72

3.5.3 整型的运算72

3.5.4 实型数的运算73

3.6 数组型及其运算74

3.7 字符串及其运算77

3.8 记录型80

3.8.1 记录的存取81

3.8.2 变体记录82

3.8.4 变体成分的存取84

3.8.3 记录中的约束84

3.9 布尔数组85

3.10 存取型88

3.10.1 递归定义90

3.10.2 存贮单元的释放92

第四章 子程序、程序包、分离编译及类属94

4.1 子程序94

4.1.1 子程序中的参数表95

4.1.2 含子程序的过程99

4.1.3 无约束数组作为参数传递103

4.1.4 递归调用106

4.1.5 重载108

4.1.6 算符的重载109

4.1.7 关于子程序参数111

4.1.8 插入式参注111

4.2.1 程序包的结构112

4.2 程序包112

4.2.2 程序包的使用——USE语句124

4.3 分离编译126

4.3.1 WITH语句……………（126)128

4.3.2 SEPARATE语句128

4.4 类属元素133

4.4.1 变量参数135

4.4.2 类型参数136

4.4.3 子程序参数139

第五章 标准环境和输入输出145

5.1 标准环境145

5.2 输入／输出程序包148

5.2.1 类属程序包INPUT_149

OUTPUT149

TEXT_IO158

5.3 正文输入输出程序包158

5.4 控制字符输入输出程序包173

LOW_LEVEL_IO173

第六章 并行和任务174

6.1 任务的活化、执行和终止175

6.2 汇合机构176

6.3 接受队列和任务属性180

6.4 选择语句SELECT182

6.5 任务类型和入口簇194

6.6 优先权、共用变量和停车197

第七章 异常和错误处理200

7.1 RAISE语句201

7.2 异常的处理201

7.3 异常的传播203

7.4 任务中的异常205

7.5 检测的免除207

第八章 参注和表示指明210

8.1 参注210

8.2 表示指明212

8.2.1 长度指明212

8.2.2 枚举型编码指明214

8.2.3 记录型结构的指明215

8.2.4 地址指明219

8.2.5 中断219

8.2.6 引入用汇编语言的程序段220

附录Ⅰ 关键词223

附录Ⅱ ADA字符集228

附录Ⅲ 预定义元素230

附录Ⅳ 法英汉名词索引231