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

OUTPUT 149

TEXT_IO 158

5.3 正文输入输出程序包 158

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

LOW_LEVEL_IO 173

第六章 并行和任务 174

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

6.2 汇合机构 176

6.3 接受队列和任务属性 180

6.4 选择语句SELECT 182

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