Дополнительные целочисленные типы системы компилятора GNAT
Стандарт языка Ада допускает определять в реализации Ада-системы собственные дополнительные целочисленные типы. Таким образом, в пакете Standard системы компилятора GNAT определены дополнительные целочисленные типы:
| type Short_Short_Integer is range -(2 ** 7) .. +(2 ** 7 - 1); type Short_Integer is range -(2 ** 15) .. +(2 ** 15 - 1); type Long_Integer is range -(2 ** 31) .. +(2 ** 31 - 1); type Long_Long_Integer is range -(2 ** 63) .. +(2 ** 63 - 1); |
Кроме этого, стандарт требует наличия определения дополнительных 8-, 16-, 32- и 64-битных целочисленных типов в пакете Interfaces:
| type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1; type Integer_16 is range -2 ** 15 .. 2 ** 15 - 1; type Integer_32 is range -2 ** 31 .. 2 ** 31 - 1; type Integer_64 is range -2 ** 63 .. 2 ** 63 - 1;
type Unsigned_8 is mod 2 ** 8; type Unsigned_16 is mod 2 ** 16; type Unsigned_32 is mod 2 ** 32; type Unsigned_64 is mod 2 ** 64; |
