"Адское" программирование Ada-95 -Компилятор GNAT




Глава 4. Директивы компилятора


    Директивы компилятора (pragma).
    Директивы компилятора ( pragma ). В данном приложении приводится краткое описание директив компилятора. Более подробное описание использования этих директив содержится в справочных руководствах по...
    Стандартные директивы Ады
    Стандартные директивы Ады Список стандартных директив компилятора Ады приводится в приложении L ( Annex L ) руководства по языку программирования Ада (RM-95). All_Calls_Remote [(library_unit_name)...
    Директивы определенные в реализации компилятора GNAT
    Директивы определенные в реализации компилятора GNAT Abort_Defer ; - откладывает принудительное завершение до конца блока инструкций (должна быть помещена в начале блока инструкций) Ada_83 ; - исп...
    Атрибуты типов.
    Атрибуты типов. В данном приложении перечислены атрибуты типов Ады, и дано их краткое описание. Следует заметить, что при описании атрибутов типов, терминология несколько упрощена. В частности, вм...
    Стандартно определенные атрибуты типов
    Стандартно определенные атрибуты типов Список стандартно определенных атрибутов типов Ады приводится в приложении K ( Annex K ) руководства по языку программирования Ада (RM-95). P ' Access - где...
    Атрибуты типов определенные в реализации компилятора GNAT
    Атрибуты типов определенные в реализации компилятора GNAT Список атрибутов типов определенных . Standard ' Abort_Signal - где Standard - единственно возможный префикс. Предусматривает сущность для...
    Спецификация пакета System.
    Спецификация пакета System. package System is pragma Pure (System); type Name is Определяемый_Реализацией_Перечислимый_Тип ; System_Name : constant Name := Определяется_Реализацией ; -- Системно-з...
    Спецификация пакета Standard.
    Спецификация пакета Standard. Пакет Standard всегда находится в области видимости, поэтому все описания этого пакета всегда непосредственно доступны. package Standard is pragma Pure(Standard); typ...
    Пакет Ada.Text_IO
    Пакет Ada.Text_IO with Ada.IO_Exceptions; -- описано в приложении A (Annex A) -- руководства по языку (RM-95) package Ada.Text_IO is pragma Elaborate_Body (Text_IO); type File_Type is limited priv...
    Пакет Ada.Text_IO.Integer_IO
    Пакет Ada.Text_IO.Integer_IO generic type Num is range ; -- параметр настройки модуля package Ada.Text_IO.Integer_IO is Default_Width : Field := Num ' Width ; -- ширина числа в символах Default_Ba...
    Пакет Ada.Text_IO.Modular_IO
    Пакет Ada.Text_IO.Modular_IO generic type Num is mod ; -- параметр настройки модуля package Ada.Text_IO.Modular_IO is Default_Width : Field := Num ' Width ; -- ширина числа в символах Default_Base...
    Пакет Ada.Text_IO.Float_IO
    Пакет Ada.Text_IO.Float_IO generic type Num is digits ; -- параметр настройки модуля package Ada.Text_IO.Float_IO is Default_Fore : Field := 2; -- количество символов слева -- от десятичной точки...
    Пакет Ada.Text_IO.Fixed_IO
    Пакет Ada.Text_IO.Fixed_IO generic type Num is delta ; -- параметр настройки модуля package Ada.Text_IO.Fixed_IO is Default_Fore : Field := Num ' Fore ; -- количество символов слева -- от десятичн...
    Пакет Ada.Text_IO.Decimal_IO
    Пакет Ada.Text_IO.Decimal_IO generic type Num is delta digits ; -- параметр настройки модуля package Ada.Text_IO.Decimal_IO is -- децимальные типы, как правило, используются -- в финансовых прилож...
    Пакет Ada.Text_IO.Enumeration_IO
    Пакет Ada.Text_IO.Enumeration_IO generic type Enum is (); -- параметр настройки модуля package Ada.Text_IO.Enumeration_IO is Default_Width : Field := 0; Default_Setting : Type_Set := Upper_Case; p...
    Пакет Ada.Sequential_IO
    Пакет Ada.Sequential_IO with Ada.IO_Exceptions; generic type Element_Type () is private ; -- параметр настройки модуля package Ada.Sequential_IO is type File_Type is limited private ; type File_Mo...
    Пакет Ada.Direct_IO
    Пакет Ada.Direct_IO with Ada.IO_Exceptions; generic type Element_Type is private ; -- параметр настройки модуля package Ada.Direct_IO is type File_Type is limited private ; type File_Mode is (In_F...
    Пакет Ada.Streams.Stream_IO
    Пакет Ada.Streams.Stream_IO with Ada.IO_Exceptions; package Ada.Streams.Stream_IO is type Stream_Access is access all Root_Stream_Type ' Class ; type File_Type is limited private ; type File_Mode...
    Глоссарий.
    Глоссарий. Это дополнение содержит пояснение терминов и понятий используемых в стандарте Ada-95, и соответствует информации представленной в дополнении N ( Annex N ) стандарта Ada-9 N п/п Английск...
    Литература.
    Литература. Ada 95 Language Reference Manual ANSI/ISO/IEC 8652:1995 http://www.adapower.com/rm95/index.html Ada 95 Rationale, The Language and Standard Libraries http://www.adapower.com/rationale/...








Начало