《ADA导引 程序设计语言ADA参考手册 美国国家标准/军用标准》求取 ⇩

目录3

序言3

第一部分 ADA 导引3

概述3

第一章 五个例子3

1.1 温度转换3

1.2 计算零钱总额4

1.3 计算零钱总额的一个较好办法7

1.4 打靶9

1.5记分11

主要成分15

第二章 描述数据15

2.1 类型15

2.2 基本类型18

2.3 数组类型19

第三章 描述计算23

3.1 表达式23

3.3 条件语句25

3.2 赋值语句25

3.4 循环语句27

第四章 子程序29

4.1 子程序29

4.2 调用子程序30

4.3 分离子程序体31

4.4 子程序重载32

第五章 程序包34

5.1 可见信息34

5.2 利用可见信息35

5.3 提供对数据的操作36

5.4 私有信息38

5.5 小结39

第六章 一般程序结构40

6.1 说明的加工42

6.2 嵌套和可见性43

6.3 分别编译44

6.4 使用分别编译45

6.5 小结48

专用成分49

第七章 再谈类型49

7.1 记录类型49

7.2 带有动态结构的类型52

7.3 派生类型54

7.4 对类型的约束55

8.1 打印一张价目表59

第八章 输入和输出59

8.2 专用子程序的使用60

8.3 用于输入输出的预定义程序包62

第九章 平行处理65

9.1 任务的稿文形式65

9.2 多任务的组织67

9.3 任务间的通信67

9.4 选择入口呼叫70

9.5 指明延迟时间73

9.6 中断任务75

第十章 异常条件79

10.1 引入异常80

10.2 引发和处理异常80

10.3 异常的传播82

10.4 任务间通信时引发的异常84

第十一章 利用实现85

11.1 数据表示85

11.2 改变数据的表示86

11.3 指导编译程序87

11.4 环境询问88

看法89

第十二章 小结89

第二部分 程序设计语言ADA参考手册前言107

1．引言109

1.1 本标准的有效范围109

1.1.1 本标准的限度109

1.3 设计目标和设计源泉110

1.2 本标准的结构110

1.1.2 实现与本标准的一致性110

1.4 语言摘要111

1.5 描述方法和语法记号114

1.6 错误分类115

2．词法元素117

2.1 字符集117

2.2 词法元素，分隔符和定界符118

2.3 标识符119

2.4.1 十进直接量120

2.4 数值直接量120

2.4.2 有基直接量121

2.5 字符直接量121

2.6 串直接量122

2.7 注解122

2.8 编用123

2.9 保留字124

2.10 允许的字符替换125

3.1 说明126

3．说明和类型126

3.2 对象和有名数量127

3.2.1 对象说明128

3.2.2 数量说明129

3.3 类型和子类型130

3.3.1 类型说明131

3.3.2 子类型说明132

3.3.3 运算分类133

3.4 派生类型134

3.5 标量类型136

3.5.1 枚举类型137

3.5.2 字符类型138

3.5.3 布尔类型138

3.5.4 整数类型138

3.5.5 离散类型的运算140

3.5.6 实数类型142

3.5.7 浮点类型142

3.5.8 浮点类型的运算144

3.5.9 定点类型146

3.5.10 定点类型的运算147

3.6 数组类型148

3.6.1 序标约束和离散范围150

3.6.2 数组类型的运算152

3.6.3 string类型153

3.7 记录类型154

3.7.1 判别项155

3.7.2 判别项约束157

3.7.3 变体部分158

3.7.4 记录类型的运算160

3.8 访问类型160

3.8.1 不完整类型说明161

3.8.2 访问类型的运算163

3.9 说明部分163

4．名字和表达式165

4.1 名字165

4.1.1 编序分量166

4.1.2 切片167

4.1.3 被选分量167

4.1.4 属性169

4.2 直接量170

4.3 聚集值171

4.3.1 记录聚集值171

4.3.2 数组聚集值172

4.4 表达式174

4.5 运算符和表达式计算176

4.5.1 逻辑运算符和短路控制形式177

4.5.2 关系运算符和成员检查178

4.5.3 双目加法类运算符179

4.5.4 单目加法类运算符180

4.5.5 乘法类运算符180

4.5.6 最高优先数运算符183

4.5.7 有实运算数的运算精度183

4.6 类型转换184

4.7 限定表达式186

4.8 分配符187

4.9 静态表达式和静态子类型189

4.10 普适表达式190

5．语句191

5.1 简单语句和复合语句，语句序列191

5.2 赋值语句192

5.2.1 数组赋值193

5.3 条件语句194

5.4 情况语句195

5.5 循环语句196

5.6 分程序语句198

5.7 出口语句199

5.8 返回语句200

5.9 转移语句201

6．子程序202

6.1 子程序说明202

6.2 形参模式203

6.3 子程序体205

6.3.2 子程序的现场插入206

6.3.1 一致性规则206

6.4 子程序调用207

6.4.1 参数关联208

6.4.2 缺省参数209

6.5 函数子程序209

6.6 参数和结果类型轮廓，子程序重载210

6.7 运算符重载211

7.1 程序包结构213

7．程序包213

7.2 程序包规范说明和说明214

7.3 程序包体215

7.4 私有类型和缓值常量说明216

7.4.1 私有类型217

7.4.2 私有类型的运算218

7.4.3 缓值常量220

7.4.4 局限类型220

7.5 表格管理程序包的例子222

7.6 稿文处理程序包的例子223

8．可见性规则227

8.1 说明区域227

8.2 说明的作用域228

8.3 可见性229

8.4 使用子句231

8.5 再命名说明233

8.6 程序包STANDARD235

8.7 重载分辨的上下文236

9．任务238

9.1 任务规范说明和任务体238

9.2 任务类型和任务对象240

9.3 任务执行——任务活化241

9.4 任务依赖性——任务的终止243

9.5 入口，入口呼叫和接受语句245

9.6 延迟语句，期间和时间247

9.7.1 选择等待249

9.7 选择语句249

9.7.2 条件入口呼叫251

9.7.3 限时入口呼叫252

9.8 优先数253

9.9 任务和入口属性253

9.10 夭折语句254

9.11 共享变量255

9.12 任务的例子256

10.1 编译单元——库单元258

10．程序结构和编译问题258

10.1.1 上下文子句——带有子句259

10.1.2 编译单元的例子261

10.2 编译单元的子单元263

10.2.1 子单元的例子264

10.3 编译顺序266

10.4 程序库268

10.5 库单元的加工268

10.6 程序优化269

11.1 异常说明270

11．异常270

11.2 异常处理段271

11.3 引发语句272

11.4 异常处理273

11.4.1 执行语句时引发的异常273

11.4.2 加工说明时引发的异常275

11.5 任务通信时引发的异常276

11.6 异常和优化277

11.7 制止检查278

12．式样单元281

12.1 式样说明281

12.1.1 式样形式对象283

12.1.2 式样形式类型284

12.1.3 式样形式子程序285

12.2 式样体286

12.3 式样取例287

12.3.3 形式标量类型的匹配规则290

12.3.2 形式私有类型的匹配规则290

12.3.1 形式对象的匹配规则290

12.3.4 形式数组类型的匹配规则291

12.3.5 形式访问类型的匹配规则292

12.3.6 形式子程序的匹配规则292

12.4 式样程序包的例子293

13．表示子句和依赖于实现的成分296

13.1 表示子句296

13.2 长度子句297

13.3 枚举表示子句299

13.4 记录表示子句300

13.5 地址子句302

13.5.1 中断302

13.6 表示的改变303

13.7 程序包sYsTEM304

13.7.1 依赖于系统的有名数量305

13.7.2 表示属性305

13.7.3 实数类型的表示属性306

13.8 插入机器代码307

13.9 与其它语言的接口308

13.10 不加检查的程序设计309

13.10.1 不加检查的存储回收309

13.10.2 不加检查的类型转换310

14．输入输出311

14.1 外部文件和文件对象311

14.2 顺序文件和直接文件312

14.2.1 文件管理313

14.2.2 顺序输入输出314

14.2.3 程序包sequential_IO的规范说明315

14.2.4 直接输入输出316

14.2.5 程序包DIRECT_IO的规范说明317

14.3 稿文输入输出319

14.3.1 文件管理320

14.3.2 缺省输入输出文件321

14.3.3 指定行长度和页长度322

14.3.4 列上、行上和页上的操作322

14.3.5 GET和PUT过程325

14.3.6 字符和串的输入输出327

14.3.7 整数类型的输入输出328

14.3.8 实数类型的输入输出330

14.3.9 枚举类型的输入输出332

14.3.10 程序包TEXT_IO的规范说明333

14.4 输入输出中的异常339

14.5 程序包IO EXCEPTIONs的规范说明340

14.6 低级输入输出340

14.7 输入输出的例子341

A．预定义的语言属性343

附件343

B．预定义的语言编用350

C．预定义的语言环境353

附录358

D．术语汇编358

E．语法总结366

F．依赖于实现的特征383

索引384

跋：提交评论436