《Ada高级程序设计语言》

第一章 怎样用计算机解题1

1-1 引言1

1-2 关于计算机的一般知识1

1-3 计算机软件2

1-4 逐步求精程序设计方法3

1-5 大型程序的组织5

第二章 简单的Ada源程序6

2-1 一个完整的Ada程序6

2-2 注释与源程序的书写格式8

2-3 语法图8

练习10

第三章 值与类型11

3-1 变量对象的说明11

3-2 常量对象的说明11

3-3 整数类型12

3-4 浮点类型与实数类型13

3-5 字符类型与串类型15

3-6 枚举类型与布尔类型17

练习18

第四章 表达式与赋值语句20

4-1 引言20

4-2 算术表达式20

4-3 应用举例21

4-4 关系表达式23

4-5 成员测试(membership tests)24

4-6 逻辑表达式24

4-7 标量类型的属性25

练习27

第五章 控制结构28

5-1 IF语句28

5-2 应用举例30

5-3 短路控制形式33

5-4 LOOP(循环)语句与EXIT(出口)语句34

5-5 WHILE循环语句37

5-6 FOR循环语句38

5-7 CASE(情形)语句41

练习43

第六章 输入与输出45

6-1 运行结果的输出45

6-2 student_io及预定义子程序49

第七章 过程与函数50

7-1 子程序的重要性50

7-2 局部说明51

7-3 参数52

7-4 参数调用的位置记号法、命名记号法及缺省参数55

7-5 函数57

7-6 参数方式——OUT和IN OUT58

7-7 应用举例60

7-8 递归65

7-9 注意事项65

练习65

第八章 子类型与离散类型的属性68

8-1 子类型说明68

8-2 离散类型的属性70

8-3 浮点子类型72

练习73

第九章 数组74

9-1 数组类型74

9-2 一维数组75

9-3 二维数组77

9-4 数组类型定义和数组属性79

9-5 数组作为参数的使用方法81

9-6 数组聚集83

练习84

9-7 注意事项84

第十章 无约束数组86

10-1 无约束数组的引入86

10-2 字符串88

10-3 过程get_line90

练习92

第十一章 记录93

11-1 记录的定义93

11-2 对记录的赋值和运算94

11-3 分量为复合类型的记录95

11-4 注意事项97

练习97

第十二章 程序包99

12-1 程序包的引入99

12-3 程序包规格100

12-2 程序包的使用与说明100

12-4 使用USE语句要注意的问题102

练习103

第十三章 程序包体104

13-1 程序包体的说明与定义104

13-2 文字处理的例子107

13-3 程序中不同部分的相互影响111

练习112

第十四章 私有类型114

14-1 为什么要引入私有类型114

14-2 私有类型的定义115

14-3 受限私有类型117

14-4 注意事项118

练习119

第十五章 Ada程序结构120

15-1 有关编译单元的概念120

15-2 分别编译121

15-3 子单元122

15-4 注意事项123

练习123

第十六章 可见性和作用域124

16-1 可见性124

16-2 对象的生存期125

第十七章 异常128

17-1 预定义异常128

17-2 异常处理128

17-3 异常的引发和说明130

17-4 注意事项131

练习132

第十八章 任务133

18-1 任务说明与任务体133

18-2 举例134

18-3 任务的入口与会合(呼叫)135

18-4 延迟语句137

18-5 选择语句139

18-6 任务类型143

18-7 任务的优先级144

第十九章 文件145

19-1 文件的形成145

19-2 文件的说明、打开与关闭145

19-3 文件的建立与删除147

19-4 文件的复制148

练习149

附录一 保留字150

附录二 关于程序包student_io151

附录三 关于程序包TEXT_io152

附录四 预定义的语言环境156

参考文献164