Ада-95. Компилятор GNAT

         

Примеры целочисленных описаний


Ниже приводятся примеры различных целочисленных описаний Ады.

-- описания целочисленных статических переменных

Count : Integer; X, Y, Z : Integer; Amount : Integer := 0;

-- описания целочисленных констант (иначе - именованных чисел)

Unity : constant Integer := 1; Speed_Of_Light : constant := 300_000; -- тип Universal_Integer

A_Month : Integer range 1..12;

-- описания целочисленных типов и подтипов -- ( см. разделы "Подтипы" и "Производные типы" )

subtype Months is Integer range 1..12; -- огранниченный тип Integer

-- подтипы - совместимы с их базовым типом (здесь - Integer) -- например, переменная типа Month может быть "смешана" с переменными -- типа Integer

type File_Id is new Integer; -- новый целочисленный тип, производный -- от типа Integer

type Result_Range is new Integer range 1..20_000; -- производный тип с объявлением ограничения

type Other_Result_Range is range 1..100_000; -- тип производный от Root_Integer

-- при этом, компилятор будет выбирать подходящий размер целочисленного значения -- для удовлетворения требований задаваемого диапазона



Содержание раздела