Ada 编程/属性/'流大小

描述

S’Read 和 S’Write 的默认实现从流中读取或写入的位数。

如果 S 是确定的，则表示实现为以下 S 子类型的对象选择的尺寸（以位为单位）

• 当记录类型被打包时，S 子类型的记录组件。
• 从 S 子类型转换为其他子类型的 Unchecked_Conversion 实例的形式参数。

如果 S 是不确定的，则含义由实现定义。此属性的值为 universal_integer 类型。

示例

S’Stream_Size return universal_integer