《ADA导论》求取 ⇩

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