ADA导论PDF电子书下载

目录 1

作者前言 1

第一章ADA程序的结构 1

1.1绪言 1

1.2一个简单的ADA程序 2

1.3程序包 4

第二章符号表示法 9

2.1标识符 9

2.3数值字面量 11

2.2定义符 11

2.4字符字面量 12

2.5字符串 12

2.6注释 13

2.7杂注 13

2.8习题 14

第三章离散数据类型 15

3.1 ADA类型系统的基本原则 15

3.2枚举类型 19

3.3字符类型 21

3.5整数类型 22

3.4布尔类型 22

3.6表达式 23

3.7类型转换 28

3.8习题 29

第四章语句 31

4.1语句序列 31

4.2 NULL语句（空语句） 32

4.3赋值语句 32

4.4 GOTO语句（无条件转移语句） 33

4.5 IF语句（条件语句） 33

4.6 CASE语句（情况语句） 34

4.7 LOOP语句（循环语句） 36

4.8举例——翻一页日历 38

4.9举例——查出素数 39

4.10习题 41

第五章说明和分程序 42

5.1分程序结构 42

5.2说明 42

5.3对象说明 43

5.4数值说明 44

5.5 DECLARE语句 45

5.6举例——查出素数 48

5.7 习题 49

第六章子程序 50

6.1子程序体 50

6.2参数 52

6.3子程序调用 54

6.4隐含参数值 56

6.5子程序规格 56

6.6过载表达式和限定表达式 58

6.7运算符 59

6.8举例——PASCAL三角形 60

6.9习题 62

第七章程序包 64

7.1程序包规格 64

7.2程序包体 65

7.3 USE子句 68

7.4专用类型 68

7.5派生类型和程序包 72

7.6举例——报告编译时错误的程序包 73

7.7习题 74

8.1数组类型 76

第八章结构化数据类型 76

8.2数组聚集 78

8.3数组的使用 79

8.4 串 82

8.5数组属性 82

8.6数组类型的转换 83

8.7记录类型 83

8.8记录聚集 84

8.9记录的使用 85

8.10隐含初始值 87

8.11举例——一个网络管理程序包 88

8.12习题 94

第九章再论程序结构 96

9.1编译单位 96

9.2上下文规格 97

9.3子单位 100

9.4编译顺序 103

9.5名字的作用域和可见性 103

9.6访问名字被隐藏了的实体 105

9.8习题 107

9.7名字的过载和唯一性 107

第十章可判别的类型 109

10.1变体记录 109

10.2可变长数组 112

10.3判别式约束 113

10.4使用可判别的类型 114

10.5可判别的专用类型 117

10.6举例——一个文本处理程序包 118

10.7习题 125

11.1数据对象的静态和动态分配 126

第十一章访问类型 126

11.2访问类型的基本概念 127

11.3访问类型的说明和名字 132

11.4分配符 133

11.5访问型常量 134

11.6可判别的基类型和未约束数组基类型 134

11.7存贮分配和存贮回收的控制 135

11.8举例——Ada源文本的交叉引用表生成程序 140

11.9习题 148

第十二章任务 149

12.1并行的概念 149

12.2任务的说明 152

12.3任务的通讯和会合 156

12.4 入口和ACCEPT语句 159

12.5 不确定性与SELECT语句 164

12.6延迟、超时和终止 170

12.7条件的和计时的入口调用 177

12.8 入口家族 178

12.9 任务类型 181

12.11任务的属性 184

12.12停止有故障的任务 184

12.10任务的优先级 184

12.13举例——一个串行通信接口 185

12.14习题 194

第十三章异常处理 196

13.1运行时出错 196

13.2用异常来表示出错 196

13.3引发和处理异常 197

13.4为一个引发的异常选择一个处理程序段 200

13.5出错处理技术 203

13.6任务中的异常 206

13.8习题 207

13.7举例——网络管理程序包 207

14.1程序单位的参数化法 208

第十四章类属程序单位 208

14.2类属说明 211

14.3类属的例示 211

14.4类属参数 212

14.5举例——用于任务通讯的类属缓冲区 220

14.6习题 224

15.1ADA 中的输入与输出 225

15.2文件 225

第十五章输入和输出 225

15.3说明，打开，关闭文件 226

15.4顺序文件的处理 228

15.5随机存取文件的处理 231

15.6正文文件 233

15.7隐含的文件 235

15.8正文输出 235

15.9正文输入 241

15.10字符串的输入和输出 243

15.11举例——交叉引用生成程序 244

15.12习题 252

16.1定点和浮点表示法 253

第十六章实数据类型 253

16.2浮点类型 255

16.3定点类型 258

16.4实型计算的语义 261

16.5举例——一个数字滤波器的定点实现 262

16.6习题 264

17.1表示法规格 265

17.2低级输入输出程序设计 265

第十七章低级程序设计 265

17.3长度规格 271

17.4与机器有关的常量 272

17.5举例——线接口程序包 273

附录A：预定义语言属性 276

附录B：预定义语言杂注 279

附录C：预定义语言环境 279

附录D：标准输入输出程序包 283

附录E：语法图 289

附录F：部分习题解答 308