程序设计语言AdaPDF电子书下载

目录 1

第一章 　概论 1

1.1　为什么要学习Ada语言 1

1.2　Ada的特点 3

1.3　国外对Ada的开发、应用情况 5

1.4　Ada的构成 7

习题 7

2.2　标识符 8

2.1　字符集 8

第二章 　Ada词法元素 8

2.3　数值字面量 10

2.4　字符和字符串 11

2.5　注释 12

习题 12

第三章 　标量数据类型 14

3.1　Ada的类型分类与机理 14

3.2　整数类型 18

3.3　实数据类型 20

3.4　枚举数据类型 22

3.5　类型转换 26

习题 28

第四章 　简单程序设计 30

4.1　Ada语言的基本运算及表达式 30

4.2　Ada程序的结构 34

4.3　赋值语句 37

4.4　正文输出 39

4.5　正文输入 47

4.6　空语句 48

4.7　简单程序举例 49

习题 51

第五章 　流程控制 53

5.1　条件语句 53

5.2　循环语句 61

5.3　情况语句 77

5.4　转移语句 80

5.5　块语句 81

5.6　应用举例 83

习题 92

第六章 　子程序 95

6.1　简单的子程序 95

6.2　子程序声明 97

6.3　子程序调用 103

6.4　过程子程序 106

6.5　函数子程序 110

6.6　全程变量和局部变量 114

6.7　子程序嵌套 115

6.8　递归 120

6.9　重载 124

6.10　应用举例 129

习题 134

第七章 　程序包 136

7.1　引例 136

7.2　程序包的语法 139

7.3　程序包的使用 145

7.4　use子句 150

7.5　声明的重命名 153

7.6　无体程序包 155

7.7　程序包与私有类型 157

7.8　派生类型与程序包 160

7.9　预定义程序包 161

习题 162

第八章 　数组类型 164

8.1　数组类型的定义和对象声明 164

8.2　数组的聚集 167

8.3　数组的操作 169

8.4　数组作为子程序参数 177

8.5　多维数组 181

8.6　字符串 184

8.7　数组类型转换 186

习题 186

第九章 　记录类型 188

9.1　记录类型的定义 189

9.2　记录聚集 192

9.3　记录的操作 192

9.4　应用举例 202

习题 211

第十章 　判别类型 213

10.1　可变记录 213

10.2　判别式约束 216

10.3　变长数组 218

10.4　判别类型的使用 219

10.5　判别私有类型 224

习题 225

11.1　文件 227

第十一章 　高级输入／输出 227

11.2　文件的声明 229

11.3　文件的打开与关闭 234

11.4　顺序文件 236

11.5　随机存取文件 240

11.6　正文文件 242

11.7　数值数据文件的输入／输出 253

11.8　字符串输入／输出 256

11.9　高级输入输出中的异常处理 257

11.10　应用举例 261

习题 270

第十二章 　访问数据类型 272

12.1　基本概念 272

12.2　访问类型声明 274

12.3　动态分配 276

12.4　动态分配变量的命名 279

12.5　访问类型的操作 282

12.6　链表 287

12.7　双向链表 291

12.8　树 293

12.9　判别类型作为基类型 298

12.10　应用举例 299

习题 304

第十三章 　分别编译 306

13.1　引言 306

13.2　程序库 307

13.3　编译单元与with子句 308

13.4　子单元 314

13.5　编译的顺序 316

13.6　重新编译 317

13.7　作用域和可见性 318

习题 319

第十四章 　类属程序单元 321

14.1　引例 321

14.2　模板——类属声明 324

14.3　类属例化 331

14.4　类属形式对象和类属形式子程序 335

14.5　类属形式类型 341

习题 349

第十五章 　异常 352

15.1　引例 352

15.2　异常的引发 354

15.3　异常的传播 359

15.4　预定义异常 361

15.5　程序员定义的异常 364

15.6　异常应用举例 367

习题 371

第十六章 　任务 372

16.1　任务类型与任务对象 373

16.2　任务的并发执行 377

16.3　简单会合 380

16.4　入口语句和接收语句 386

16.5　更为实用的会合 390

16.6　更为灵活的会合 404

16.7　任务的高级特性 407

16.8　任务的属性 411

16.9　任务与异常 412

16.10　应用举例 416

习题 426

附录 428

附录1　Meridian Ada Vantage编译系统使用简介 428

附录2　预定义语言环境 431

附录3　预定义语言属性 437

附录4　预定义语言编用 442

附录5　预定义标识符 445

附录6　Ada语法规则 447

语法索引 456

主要参考文献 460