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


Файлы последовательного и прямого доступа - часть 4


она обязана явно содержать все выбранные возможности, включая возможности по умолчанию).

Если данный файл не открыт, то возбуждается исключение STATUS_ERROR.

function IS_OPEN(FILE : in FILE_TYPE) return BOOLEAN;

Если файл открыт (т.е. связан с внешним файлом), то возвращает значение TRUE, в противном случае — FALSE.

Ссыпки:

вид 14.1, внешний файл 14.1, закрытый файл 14.1, исключение NAME_ERROR 14.4, исключение STATUS_ERROR 14.4, исключение USE_ERROR 14.4, OUT_FILE 14.1, открытый файл 14.1, поименованная строка 14.1, прямой доступ 14.2, текущий вид 14.1, текущий размер 14.1, тип FILE_MODE 14.1, тип FILE_TYPE 14.1, файл 14.1, файл вида INOUT_FILE 14.2.4, форма файла 14.1.

14.2.2. ПОСЛЕДОВАТЕЛЬНЫЙ ВВОД-ВЫВОДА

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

procedure READ(FILE : in FlLE_TYPE; ITEM : out ELEMENT_TYPE);

Оперирует над файлом вида IN_FILE. Читает элемент данного файла и возвращает значение этого элемента через параметр ITEM.

Если вид файла не IN_FILE, то возбуждает исключение MODE_ERROR. Если из файла нельзя больше читать ни одного элемента, то возбуждает исключение END_ERROR. Если прочитанный элемент не может быть интерпретирован как значение типа ELEMENT_TYPE, то возбуждается исключение DATA_ERROR; однако для реализации допустимо опускать такую проверку в случае, если она слишком сложна.

procedure WRITE_FILE : in FILE_TYPE; ITEM : in ELEMENT_TYPE);

Оперирует над файлом вида OUT_FILE. Записывает в данный файл значение параметра ITEM.

Если вид файла не OUT_FILE, то возбуждается исключение MODE_ERROR. Если внешний файл уже заполнен до конца, то возбуждается исключение USE_ERROR.

function END_OF_FILE(FILE : in FILE_TYPE) return BOOLEAN;

Оперирует над файлом вида IN_FILE. Если из файла больше нельзя читать ни одного элемента, то возвращает значение TRUE, в противном случае — FALSE.

Если вид файла не IN_FILE, то возбуждается исключение MODE_ERROR.




Начало  Назад  Вперед



Книжный магазин