ADA导引 程序设计语言ADA参考手册 美国国家标准/军用标准PDF电子书下载

目录 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 程序包STANDARD 235

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 程序包sYsTEM 304

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