Adaにおける数

数は共通に属性*1を持つ：（ただしこのリストは一部。c.f. ARM 3.5.）

S'First

型のとりうる最初（≒最小）の値。

S'Last

型のとりうる最後（≒最大）の値。

S'Range

range S'First..S'Lastと一緒。

S'Min

2つの値のうち、小さい方。

S'Max

大きい方。

S'Succ

与えられた値の、次の値。浮動小数点値の場合は不定っぽい？

S'Pred

前の値。

S'Image

値の文字列表現。

*1:一部のOOPで言われる属性とは異なる。