Ada 95参考手册

语言和标准库

这是修订后的国际标准（ISO/IEC 8652:1995）的超文本版本：信息技术——程序设计语言——Ada.入口点是目录（TOC），有三个“缩放级别”

帮助|信用|版权|索引|搜索|语法

TOC水平：子条款（--.--.--）.缩放到列表节（--）或子句（--.--）.

封面|前言|介绍|核心语言|附件

核心语言

1概述--总有机碳
  1. 范围--总有机碳
    1. 范围
    2. 结构
    3. 实施与标准的符合性
    4. 描述方法和语法符号
    5. 错误的分类
  2. 规范性引用文件
  3. 定义
2词汇要素--总有机碳
  1. 字符集
  2. 词汇元素、分隔符和分隔符
  3. 标识符
  4. 数字文字--总有机碳
    1. 十进制文字
    2. 基于文字
  5. 字符文字
  6. 字符串文字
  7. 评论
  8. 编译指示
  9. 保留字
三。声明和类型--总有机碳
  1. 声明
  2. 类型和子类型--总有机碳
    1. 类型声明
    2. 子类型声明
    3. 作业分类
  3. 对象和命名编号--总有机碳
    1. 对象声明
    2. 数字声明
  4. 派生类型和类--总有机碳
    1. 衍生类别
  5. 数量类型--总有机碳
    1. 枚举类型
    2. 字符类型
    3. 布尔类型
    4. 整数类型
    5. 离散类型的操作
    6. 真实类型
    7. 浮点类型
    8. 浮点类型的操作
    9. 固定点类型
    10. 定点类型的操作
  6. 数组类型--总有机碳
    1. 索引约束和离散范围
    2. 数组类型的操作
    3. 字符串类型
  7. 歧视--总有机碳
    1. 区别性约束
    2. 区分类型的操作
  8. 记录类型--总有机碳
    1. 可变零件和离散选择
  9. 标记的类型和类型扩展--总有机碳
    1. 类型扩展名
    2. 标记类型的调度操作
    3. 抽象类型和子程序
  10. 访问类型--总有机碳
    1. 不完整的类型声明
    2. 访问类型的操作
  11. 声明性部件--总有机碳
    1. 声明的完成
4名称和表达式--总有机碳
  1. 姓名--总有机碳
    1. 索引组件
    2. 片
    3. 选定的组件
    4. 属性
  2. 直接常量
  3. 骨料--总有机碳
    1. 记录聚合
    2. 扩展聚合
    3. 阵列聚合
  4. 表达
  5. 运算符和表达式求值--总有机碳
    1. 逻辑运算符和短路控制形式
    2. 关系运算符和成员测试
    3. 二进制加法运算符
    4. 一元添加运算符
    5. 乘法运算符
    6. 最高优先级运算符
  6. 类型转换
  7. 限定表达式
  8. 配置器
  9. 静态表达式和静态子类型--总有机碳
    1. 静态匹配约束和子类型
5声明--总有机碳
  1. 简单语句和复合语句-语句序列
  2. 转让声明
  3. If语句
  4. 案例陈述
  5. 循环语句
  6. Block语句
  7. 退出声明
  8. 转到语句
6副程式--总有机碳
  1. 子程序声明
  2. 形式参数模式
  3. 子程序主体--总有机碳
    1. 一致性规则
    2. 子程序的内联扩展
  4. 子程序调用--总有机碳
    1. 参数关联
  5. 收益表
  6. 操作员过载
7包装--总有机碳
  1. 包装规格和声明
  2. 包装主体
  3. 私有类型和私有扩展--总有机碳
    1. 私人运营
  4. 递延常数
  5. 有限的类型
  6. 用户定义的分配和最终确定--总有机碳
    1. 完成和定稿
8可见性规则--总有机碳
  1. 声明性区域
  2. 声明的范围
  3. 可见性
  4. 使用条款
  5. 重命名声明--总有机碳
    1. 对象重命名声明
    2. 重命名声明的例外
    3. 包重命名声明
    4. 子程序重命名声明
    5. 通用重命名声明
  6. 重载解决的上下文
9任务和同步--总有机碳
  1. 任务单元和任务对象
  2. 任务执行-任务激活
  3. 任务依赖性-任务的终止
  4. 受保护单元和受保护对象
  5. 任务间通信--总有机碳
    1. 受保护的子程序和受保护的操作
    2. 条目和接受声明
    3. 进入通话
    4. 重排语句
  6. 延迟声明、持续时间和时间
  7. 选择语句--总有机碳
    1. 选择性接受
    2. 定时进入通话
    3. 有条件进入调用
    4. 控制的异步传输
  8. 中止任务-中止语句序列
  9. 任务和条目属性
  10. 共享变量
  11. 任务分配和同步示例
10程序结构和编译问题--总有机碳
  1. 单独编译--总有机碳
    1. 编译单元-图书馆单元
    2. 上下文子句-包含子句
    3. 编制单位的子单位
    4. 编译过程
    5. Pragmas和程序单元
    6. 环境级别可见性规则
  2. 程序执行--总有机碳
    1. 精化控制
11例外情况--总有机碳
  1. 例外声明
  2. 异常处理程序
  3. Raise语句
  4. 异常处理--总有机碳
    1. 程序包例外
    2. 异常处理示例
  5. 禁止检查
  6. 例外和优化
12通用单位--总有机碳
  1. 通用声明
  2. 通用实体
  3. 通用实例化
  4. 形式化对象
  5. 形式类型--总有机碳
    1. 形式私有类型和派生类型
    2. 形式标量类型
    3. 形式数组类型
    4. 正式访问类型
  6. 正式子程序
  7. 正式套餐
  8. 通用包示例
13代表问题--总有机碳
  1. 表示项目
  2. Pragma套装
  3. 表示属性
  4. 枚举表示子句
  5. 记录布局--总有机碳
    1. 记录表示条款
    2. 存储位置属性
    3. 位排序
  6. 代表权的变更
  7. 包装系统--总有机碳
    1. 包装系统。存储元素（_E）
    2. 包装系统。地址_访问_转换
  8. 机器代码插入
  9. 未选中的类型转换--总有机碳
    1. 数据有效性
    2. 有效属性
  10. 未选中的访问值创建
  11. 存储管理--总有机碳
    1. Max_Size_In_Storage_Elements属性
    2. 未选中的存储解除分配
    3. 语用控制
  12. 语用限制
  13. 流--总有机碳
    1. 程序包流
    2. 面向流的属性
  14. 冻结规则

附件

答：。预定义语言环境--总有机碳
  1. 包装标准
  2. Ada包
  3. 字符处理--总有机碳
    1. 包装特征
    2. 包装字符。搬运
    3. 包装字符。拉丁语_1
  4. 字符串处理--总有机碳
    1. 包字符串
    2. 包字符串。地图
    3. 固定长度字符串处理
    4. 有界长度字符串处理
    5. 无限长字符串处理
    6. 字符串处理集和映射
    7. 宽字符串处理
  5. 数字软件包--总有机碳
    1. 基本函数
    2. 随机数生成
    3. 浮点类型的属性
    4. 定点类型的属性
  6. 输入-输出
  7. 外部文件和文件对象
  8. 顺序文件和直接文件--总有机碳
    1. 通用包Sequential_IO
    2. 文件管理
    3. 顺序输入输出操作
    4. 通用包Direct_IO
    5. 直接输入输出操作
  9. 通用包Storage_IO
  10. 文本输入输出--总有机碳
    1. 包文本_IO
    2. 文本文件管理
    3. 默认输入、输出和错误文件
    4. 线条和页面长度规格
    5. 对列、行和页的操作
    6. 获取和放置过程
    7. 字符和字符串的输入输出
    8. 整数类型的输入输出
    9. 实型的输入输出
    10. 枚举类型的输入输出
  11. 宽文本输入输出
  12. 流输入输出--总有机碳
    1. 包流。流IO
    2. 包文本_IO.Text_Streams
    3. 包Wide_Text_IO.Text_Streams
  13. 输入输出异常
  14. 文件共享
  15. 包命令行（_L）

B。与其他语言的接口--总有机碳

  1. 接口语用
  2. 程序包接口
  3. 与C接口--总有机碳
    1. 包接口。C.字符串
    2. 通用包接口。C.指针
  4. 与COBOL接口
  5. 与Fortran接口

C、。系统编程--总有机碳

  1. 访问机器操作
  2. 所需的代表支持
  3. 中断支持--总有机碳
    1. 受保护的过程处理程序
    2. 程序包中断
  4. 预细化要求
  5. 语用弃用名称
  6. 共享变量控制
  7. 任务标识和属性--总有机碳
    1. 包任务标识
    2. 包Task_Attributes

D。实时系统--总有机碳

  1. 任务优先级
  2. 优先级调度--总有机碳
    1. 任务调度模型
    2. 标准任务调度策略
  3. 优先天花板锁定
  4. 进入队列策略
  5. 动态优先级
  6. 先发制人的中止
  7. 任务分配限制
  8. 单调时间
  9. 延迟精确度
  10. 同步任务控制
  11. 异步任务控制
  12. 其他优化和确定性规则

E.公司。分布式系统--总有机碳

  1. 分区
  2. 图书馆单位分类--总有机碳
    1. 共享被动库单元
    2. 远程类型库单元
    3. 远程调用接口库单元
  3. 分布式系统的一致性
  4. 远程子程序调用--总有机碳
    1. Pragma异步
    2. 远程访问Class-Wide类型的使用示例
  5. 分区通信子系统

F、。信息系统--总有机碳

  1. 机器半径属性定义子句
  2. 包小数
  3. 十进制类型的编辑输出--总有机碳
    1. 图片字符串形成
    2. 编辑的输出生成
    3. 包文本_IO.Editing
    4. 软件包Wide_Text_IO.Editing

G.公司。数字--总有机碳

  1. 复杂算术--总有机碳
    1. 复杂类型
    2. 复杂初等函数
    3. 复杂输入输出
    4. 软件包Wide_Text_IO.Complex_IO
  2. 数字性能要求--总有机碳
    1. 浮点运算模型
    2. 浮点类型的面向模型的属性
    3. 不动点算法模型
    4. 基本功能的精度要求
    5. 随机数生成的性能要求
    6. 复杂算术的精度要求

H。安全和安保--总有机碳

  1. 语用规范化_标量
  2. 实施决策文件
  3. 可审核对象代码--总有机碳
    1. Pragma可审查
    2. 实用主义检查点
  4. 安全和安保限制

J。过时的功能--总有机碳

  1. Ada 83图书馆单元的更名
  2. 允许的字符替换
  3. 精确度降低的子类型
  4. 受约束属性
  5. ASCII码
  6. 数字错误（_E）
  7. At条款--总有机碳
    1. 中断条目
  8. Mod子句
  9. Storage_Size属性

英国。语言定义的属性

L。语言定义的语用

M。实施定义的特征

N。词汇表

第页。语法摘要

帮助|信用|版权|索引|搜索|语法

TOC级别：子条款（--.--.--）.缩放到列表节（--）或子句（--.--）.

Ada WWW主页--通过电子邮件将评论、补充、更正、抱怨、荣誉等发送至：

马格努斯·坎佩--M.Kempe@ieee.org
版权声明
最后生成的页面：95-03-12