2009-01-20 Adaにおける離散型 Ada 考え無しメモ 列挙型、正負あり整数型、正負なし整数型をまとめて『離散型』と言う。*1 離散型には以下のような属性がある: S'Pos 型Sの変数Vを表す整数(universal-integer*2)を返す。 S'Val 整数(universal-integer)が示すSにおける値を返す。 *1:多分。別な、もっといい言い方があるかもしれない。 *2:制限のない、概念的な整数型。universal-integer型の変数は宣言できないが、整数リテラルはこれ。