Справочное руководство по языку Ада-83



Приложение c предопределенное окружение языка - часть 5


-- Строчные буквы:

LC_A : constant CHARACTER := 'a'; ... LC_Z : constant CHARACTER := 'z';

end ASCII;

-- Предопределенные подтипы:

subtype NATURAL is INTEGER range 0 .. INTEGER'LAST; subtype POSITIVE is INTEGER range 1 .. INTEGER'LAST;

-- Предопределенный строковой тип:

type STRING is array(POSITIVE range <>) of CHARACTER;

pragma PACK(STRING);

-- Следующие операции для этого типа предопределены:

-- function "=" (LEFT, RIGHT : STRING) return BOOLEAN; -- function "/=" (LEFT, RIGHT : STRING) return BOOLEAN; -- function "<" (LEFT, RIGHT : STRING) return BOOLEAN; -- function "<=" (LEFT, RIGHT : STRING) return BOOLEAN; -- function ">" (LEFT, RIGHT : STRING) return BOOLEAN; -- function ">=" (LEFT, RIGHT : STRING) return BOOLEAN;

-- function "&" (LEFT : STRING; RIGHT : STRING) return STRING; -- function "&" (LEFT : CHARACTER; RIGHT : STRING) return STRING; -- function "&" (LEFT : STRING; RIGHT : CHARACTER) return STRING; -- function "&" (LEFT : CHARACTER; RIGHT : CHARACTER) return STRING;

type DURATION is delta определен-реализацией range определен-реализацией;

-- Для типа DURATION предопределены все те операции, -- что и для любого фиксированного типа

-- Предопределены следующие исключения:

CONSTRAINT_ERROR : exception; NUMERIC_ERROR : exception; PROGRAM_ERROR : exception; STORAGE_ERROR : exception; TASKING_ERROR : exception;

end STANDARD;

Некоторые аспекты предопределенных понятий не могут быть выражены в терминах самого языка. Хотя, например, перечислимый тип BOOLEAN может быть записан посредством двух литералов перечисления FALSE и TRUE, формы управления промежуточной проверкой в самом языке выражены быть не могут.

Примечание.

Определением языка предопределены следующие библиотечные модули:

  • пакет CALENDAR

    пакет SYSTEM

    пакет MACHINE_CODE(ecnu он предусмотрен)

    настраиваемая процедура UNCHECKED_DEALLOCATION

    настраиваемая функция UNCHECKED_CONVERSION

    настраиваемый пакет SEQUENTIAL_IO

    настраиваемый пакет DIRECT_IO

    пакет TEXT_IO

    пакет IO_EXCEPTIONS

    пакет LOW_LEVEL_IO

    Пред. 

    Уровень выше  След.

    Приложение B.

    ПРАГМЫ, ПРЕДОПРЕДЕЛЕННЫЕ В ЯЗЫКЕ  

    Содержание  Приложение D.

    ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ




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