Ada语言简明教程PDF电子书下载

目录 1

译者的话 1

作者序 1

第一章　基础 1

1.1 起点 1

1.2 常量 3

1.3 字符集 4

1.4 标识符 5

1.5 简单数据类型 6

1.6 枚举类型 8

1.6.1 布尔类型 8

1.6.2 字符类型 10

1.7 数 12

1.7.1 整数 12

1.7.2 浮点数 15

1.7.3 定点数 18

1.8 作用域简介 19

第二章　流程控制 21

2.1 循环语句 21

2.1.1 基本循环 22

2.1.2 While循环 22

2.1.3 For循环 24

2.2 出口语句 27

2.3 条件语句 28

2.4 情况语句 30

2.5 转移语句 33

2.6 引发语句 35

第三章　类型与简单数据 36

3.1 类型声明 36

3.2 标量类型和离散类型 37

3.3 枚举类型 38

3.4 整类型 43

3.5.2 定点类型 46

3.5.1 浮点类型 47

3.5 实类型 48

3.6 子类型和派生类型 50

第四章　结构型数据 53

4.1 数组类型 53

6.2.3 程序包体 59

4.2 串类型 59

4.3 记录类型 60

4.3.1 记录判别式 63

4.3.2 判别式约束 65

4.3.3 记录变体 66

4.4 访问类型和分配算符 68

第五章　子程序 72

5.1 过程和函数 72

5.2 定义子程序——子程序体 74

5.2.1 形式参数 75

5.3 实际参数和子程序调用 78

5.4 参数模式和缺省初值 79

5.5 子程序声明 82

5.6 重载子程序 84

5.7 重载运算符 86

第六章　程序包 88

6.1 概述 88

6.2 定义程序包 89

6.2.1 程序包规格说明 90

6.2.2 使用子句 92

6.3 私有类型和受限私有类型 98

7.1 类属概念 103

第七章　类属子程序和类属程序包 103

7.2 类属子程序 104

7.3 类属程序包 107

7.4 类属类型定义 111

7.5 类属形式子程序 112

7.6 形、实参数的匹配规则 115

7.6.1 标量类型匹配 115

7.6.2 数组类型匹配 115

7.6.3 形式子程序的匹配 116

7.6.4 访问类型匹配 117

7.6.5 私有类型匹配 118

第八章　异常处理 119

8.1 概述 119

8.2 异常声明 120

8.4 异常处理段 122

8.3 引发语句 122

8.5 异常到处理段的连接 126

8.5.1 确立期间引发异常 126

8.5.2 语句执行期间引发异常 129

8.5.3 任务通讯期间引发异常 132

8.6 检查的抑制 133

第九章　任务 136

9.1 概述 136

9.2 任务定义 137

9.3 任务属性 140

9.4 任务的生成和初始化 141

9.5 任务终止 144

9.6 会合概念 146

9.7 延迟语句 149

9.8.1 条件入口调用 150

9.8 选择语句 150

9.8.2 定时入口调用 152

9.8.3 选择等待语句 153

9.9 任务夭折 157

9.10 任务优先级 158

第十章　程序结构、作用域和可见性 159

10.1 程序结构 159

10.1.1　带有子句 163

10.2 子单元 163

01.3 标识符的作用域和可见性 166

10.3.1　标识符的作用域 166

10.3.2　标识符的可见性 170

10.3.3　标识符重载 175

10.4 换名声明 176

11.2 文件和文件名 177

11.1 概述 177

第十一章　输入—输出 177

11.2.1　文件的开启、关闭和测试 179

11.3 用文件输入—输出 182

11.4 程序包TEXT_IO 187

11.4.1　标准输入和标准输出 187

11.4.2　正文文件格式 189

11.4.3　整型数输入／出 191

11.4.4　浮点数输入／出 192

11.4.5　定点数输入／出 193

11.4.6　枚举型输入／出 194

11.4.7　布尔型输入／出 195

11.4.8　字符型输入／出 196

11.4.9　串型输入／出 196

附录A Ada语法定义 198

附录B Ada保留字 211

词汇表 212