《Ada语言简明教程》

目录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_IO187

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