Ada语言与程序设计PDF电子书下载

目 录 1

第一章Ada语言概述 1

§1.1 Ada发展史 1

1.1.1嵌入式计算机应用与软件开发的要求 1

1.1.2嵌入式应用软件费用高昂的原因 2

1.1.3公共高级语言计划 3

1.1.4考察现有语言 4

1.1.5设计 5

1.1.6评审、测试与完善 6

1.1.7使用 6

§1.2从软件工程的角度看Ada语言 7

1.2.1 Ada语言的工程性开发方法 8

1.2.2 Ada的程序单元支持模块化程序设计 9

1.2.3 Ada的分离编译支持大型软件的开发 10

1.2.4 Ada环境提供丰富的软件开发工具 11

1.2.5 Ada有助于可靠软件的设计 12

第二章基础知识 15

§2.1 最简单的Ada程序结构 15

§2.2从程序段组成完整的程序 17

§2.3 Ada的词 18

2.3.1 词的分类 18

§2.4字符集 19

§2.5标识符 20

§2.6保留字 20

§2.7对象、类型与字面量 21

2.7.1预定义类型 22

2.7.2字面量 23

2.7.3数值字面量 23

2.7.4字符字面量 24

2.7.5串字面量 25

§2.8注解 25

§2.9编用 26

第三章程序单元与程序实体 27

§3.1 程序单元 27

§3.2程序实体 28

§3.3实体的声明 29

§3.4声明的制作 30

§3.5对象声明与有名数量声明 30

§3.6声明的作用域 31

§3.7声明部分 32

第四章语句 34

§4.1 语句概说 34

§4.2赋值语句 35

§4.3条件语句 36

§4.4情况语句 40

§4.5循环语句 42

4.5.1基本循环 43

4.5.2 while循环 44

4.5.3for循环 45

§4.6 出口语句 46

§4.7转移语句 48

§4.8分程序语句 49

§4.9空语句 52

练习 52

第五章类型 56

§5.1 类型概念 56

§5.2类型声明与类型定义 57

§5.3类型树 58

§5.4标量类型 58

5.4.1枚举类型 59

5.4.2布尔类型 62

5.4.3整类型 63

5.4.4实类型 66

§5.5 派生类型和子类型 69

5.5.1子类型 70

5.5.2派生类型 71

5.5.3关于Ada语言类型间关系密切度的讨论 72

练习 74

第六章数组、记录和访问类型 75

§6.1 数组类型 75

6.1.1数组类型定义 75

6.1.2数组的分量 77

6.1.3数组类型的属性询问函数 78

6.1.4数组的切片 80

6.1.5数组聚集值 80

6.1.6 STRING 81

6.2.1 记录类型定义 84

§6.2记录类型 84

6.2.2记录对象的分量与聚集值 86

6.2.3记录判别项 87

6.2.4判别项约束 89

6.2.5变体部分 89

§6.3动态数据与访问类型 93

6.3.1访问类型定义与分配符 93

6.3.2不完整类型声明 99

练 习 105

第七章表达式 108

§7.1 名字 108

§7.2表达式 109

§7.3运算符与优先级 110

§7.4限定表达式 116

第八章子程序 119

§8.1子程序规格说明 119

8.1.1子程序的性质 120

8.1.2形式参数 121

8.1.3模式 121

8.1.4参数关联 122

8.1.5参数的缺省值 122

8.1.6函数的返回值 122

8.1.7子程序重载 123

8.1.8运算符重载 126

§8.2子程序体 127

§8.3子程序调用 131

8.3.1数参关联 132

§8.4子程序的应用 133

8.3.2缺省参数 133

8.4.1子程序用作主程序单元 134

8.4.2子程序用作定义功能（动作） 134

8.4.3子程序用于定义抽象数据类型的操作 136

练习 136

第九章程序包 138

§9.1程序包概念 138

9.1.1模块化概念的发展 138

9.1.2 Ada程序包的特点 139

§9.2程序包规格说明 141

§9.3程序包实体的引用 142

§9.4程序包体 144

§9.5私有类型 149

练习 154

第十章类属子程序和类属程序包 155

§10.1 概述 155

§10.2类属单元 157

§10.3类属单元的定义和类属例举 159

§10.4进一步的例子 164

§10.5类属单元的应用 172

练习 173

第十一章任务 175

§11.1任务概念 175

§11.2任务的规格说明 177

§11.3任务体 179

11.4.1在分程序中声明的任务 180

§11.4任务的声明和执行 180

11.4.2在子程序体中声明的任务 181

11.4.3在程序包中声明的任务 183

11.4.4在任务体中声明的任务 184

11.4.5任务状态图 186

§11.5入口、入口调用、接受语句与任务间的 187

会合 187

11.5.1入口调用 187

11.5.2接受语句 188

11.5.3会合 189

§1 1.6几个专用语句 194

11.6.1延迟语句 194

11.6.2选择语句 194

11.6.3中止语句 195

§11.7共享变量 201

§11.8优先数 202

§11.9任务的例 205

练习 210

第十二章程序结构和编译 212

§12.1 Ada程序结构 212

§12.2上下文子句 214

§12.3子单元 214

§12.4关于程序结构和编译的例 216

§12.5 Ada程序结构的应用 220

§12.6编译顺序 229

练习 230

§13.1异常概念 232

第十三章异常处理结构 232

§13.2异常的声明 233

§13.3异常的引发 234

§13.4异常处理段 235

§13.5异常的处理 237

§13.6异常的应用 239

练习 244

第十四章输入输出及语言环境 248

§14.1文件 248

14.1.1文件概念 248

14.1.2三种文件与两种访问 249

§14.2预定义输入输出程序包 250

14.2.1文件的建立和打开 252

14.2.3文件上的输入输出操作 253

14.2.2文件的关闭和删除 253

§14.3低级输入输出 258

§14.4预定义的Ada语言环境概述 262

§14.5预定义的库单元概述 263

第十五章程序实体的物理表示 265

§15.1数据类型的实现和表示 265

§15.2长度子句 266

§15.3枚举表示子句 268

§15.4记录表示子句 269

§15.5地址子句 270

§15.6表示的改变 271

§15.7编用PACK 272

§15.9不加检查的转换 273

§15.8注意事项 273

§16.1 为什么要建立APSE 279

第十六章Ada程序设计支撑环境（APSE） 279

§16.2APSE概况 280

§16.3软件生存期 281

§16.4宿主机／目标机方法 282

§16.5 KAPSE 284

§16.6 MAPSE工具 286

16.6.1命令语言处理程序 287

16.6.2 Ada排错程序 287

16.6.3 Ada编辑程序 288

16.6.4配置管理 288

§16.7 APSE的其它工具 288

A.1程序包STANDARD 290

参考文献 290

附录A预定义环境 290

A.2程序包CALENDAR 298

A.3程序包SYSTEM 299

A.4 类属程序包SEQUENTIAL_IO 300

A.5属类程序包DIRECT_IO 301

A.6程序包TEXT_IO 305

A.7 程序包IO_EXCEPTIONS 314

A.8程序包LOW_LEVEL_IO 315

A.9 类属过程UNCHECKED_DEALLOCATION 315

A.10 类属函数UNCHECKED_CONVERSION 315

附录B Ada自我测验题 316

附录C Ada语法摘要 346