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


         

Атрибуты типов определенные в реализации компилятора GNAT


Список атрибутов типов определенных .

Standard'Abort_Signal

 - 

где Standard - единственно возможный префикс.

Предусматривает сущность для специального исключения, которая используется при принудительном завершении задачи или асинхронной передаче управления.

Обычно, этот атрибут должен использоваться только в окружении задачи

(атрибут достаточно специфичен и выходит за пределы нормальной семантики Ады; он предназначен для пользовательских программ перехватывающих исключение принудительного завершения).

   

Standard'Address_Size

 - 

где Standard - единственно возможный префикс.

Статическая константа представляющая количество битов в представлении адреса ('Address). Ее первичное предназначение - построение описания Memory_Size

в пакете Standard, однако она может быть свободно использована в программах пользователя.

   

'Asm_Input

 - 

Определяет функцию которая принимает два параметра. Первый параметр - это строка, а второй параметр - это выражение типа определяемое префиксом. Первый параметр (строка) должен быть статическим выражением и является ограничением для параметра (например, указывает требуемый регистр процессора). Второй аргумент это значение которое будет использоваться как аргумент ввода. Допустимые значения для констант будут такими же как и используемые в RTL, и они зависят от файла конфигурации который был использован для построения генератора кода GCC (GCC back end).

   

'Asm_Output

 - 

Определяет функцию которая принимает два параметра. Первый параметр - это строка, а второй параметр - это имя переменной определяемое префиксом. Первый параметр (строка) должен быть статическим выражением и является ограничением для параметра (например, указывает требуемый тип регистра процессора). Второй аргумент это переменная в которой будет сохранен результат.

Допустимые значения для констант будут такими же как и используемые в RTL, и они зависят от файла конфигурации который был использован для построения генератора кода GCC (GCC back end).



Содержание  Назад  Вперед





Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий