Ada 编程/属性/'Denorm

描述

如果每个值都可以用指数为 T'Machine_Emin 的规范形式表示，则为真。

如果每个值都可以用以下形式表示，则产生值为 True

   ± 尾数 · T'Machine_Radix^{T'Machine_Emin}

其中 尾数 是一个非零的 T'Machine_Mantissa 位数字分数，以数字基数 T'Machine_Radix 表示，其中第一位为零，是类型 T 的机器数（参见 3.5.7）；否则产生值为 False。

此属性的值为预定义类型 Boolean。

示例

S’Denorm return Boolean