Оперирует над файлом любого вида. Возвращает текущий индекс данного файла.

function SIZE(FILE: in FILE_TYPE) return COUNT;

Оперирует над файлом любого вида. Возвращает текущий размер внешнего файла, связанного с данным файлом.

function END_OF_FILE(FILE: in FILE_TYPE) return BOOLEAN;

Оперирует над файлом вида IN_FILE или INOUT_FILE. Если значение текущего индекса больше размера внешнего файла, то возвращает значение TRUE, в противном случае — FALSE. Если вид данного файла — OUT_FILE, то возбуждается исключение MODE_ERROR. Ссылки: вид IN_FILE 14.1, вид INOUT_FILE 14.1, вид файла 14.1, внешний файл 14.1, индекс 14.2, исключение DATA_ERROR 14.4, исключение END_ERROR 14.4, исключение MODE_ERROR 14.4, исключение STATUS_ERROR 14.4, исключение USE_ERROR 14.4, открытый файл 14.1, текущий индекс 14.2, текущий размер 14.2, тип ELEMENT_TYPE 14.1, тип COUNT 14.2, тип POSITIVE_COUNT 14.3, тип FILE_TYPE 14.1, файл 14.1, элемент 14.1.

СПЕЦИФИКАЦИЯ ПАКЕТА ПРЯМОГО ВВОДА-ВЫВОДА

with IO_EXCEPTIONS;generic type ELEMENT_TYPE is private;package DIRECT_IO is type FILE_TYPE is limited private; type FILE_MODE is (IN_FILE, INOUT_FILE, OUT_FILE); type COUNT is range 0.. implementation defined; subtype POSITIVE_COUNT is COUNT range 1.. COUNT'LAST; -- управление файлами procedure CREATE(FILE: in out FILE_TYPE; MODE: in FILE_MODE:= INOUT_FILE; NAME: in STRING:= ""; FORM: in STRING:= ""); procedure OPEN (FILE: in out FILE_TYPE; MODE: in FILE_MODE; NAME: in STRING; FORM: in STRING:= ""); procedure CLOSE (FILE: in out FILE_TYPE); procedure DELETE(FILE: in out FILE_TYPE); procedure RESET (FILE: in out FILE_TYPE; MODE: in FILE_MODE); procedure RESET (FILE: in out FILE_TYPE); function MODE (FILE: in FILE_TYPE) return FILE_MODE; function NAME (FILE: in FILE_TYPE) return STRING; function FORM (FILE: in FILE_TYPE) return STRING; function IS_OPEN(FILE: in FILE_TYPE) return BOOLEAN; -- операции ввода и вывода procedure READ (FILE: in FILE_TYPE; ITEM: out ELEMENT_TYPE; FROM: POSITIVE_COUNT); procedure READ (FILE: in FILE_TYPE; ITEM: out ELEMENT_TYPE); procedure WRITE(FILE: in FILE_TYPE; ITEM: in ELEMENT_TYPE; TO: POSITIVE_COUNT); procedure WRITE(FILE: in FILE_TYPE; ITEM: in ELEMENT_TYPE); procedure SET_INDEX(FILE: in FILE_TYPE; TO: in POSITIVE_COUNT); function INDEX(FILE: in FILE_TYPE) return POSITIVE_COUNT; function SIZE (FILE: in FILE_TYPE) return COUNT; function END_OF_FILE(FILE: in FILE_TYPE) return BOOLEAN; -- исключения STATUS_ERROR: exception renames IO_EXCEPTIONS.STATUS_ERROR; MODE_ERROR: exception renames IO_EXCEPTIONS.MODE_ERROR; NAME_ERROR: exception renames IO_EXCEPTIONS.NAME_ERROR; USE_ERROR: exception renames IO_EXCEPTIONS.USE_ERROR; DEVICE_ERROR: exception renames IO_EXCEPTIONS.DEVICE_ERROR; END_ERROR: exception renames IO_EXCEPTIONS.END_ERROR; DATA_ERROR: exception renames IO_EXCEPTIONS.DATA_ERROR; private -- зависит от реализацииend DIRECT_IO;

Ссылки: вид OUT_FILE 14.2.1, вид IN_FILE 14.2.4, вид по умолчанию 14.2.5, исключение DATA_ERROR 14.4, исключение DEVICE_ERROR 14.4, исключение END_ERROR 14.4, исключение MODE_ERROR 14.4, исключение NAME_ERROR 14.4, исключение STATUS_ERROR 14.4, исключение USE_ERROR 14.4, пакет Ю-EXCEPTION 14.4, процедура CLOSE 14.2.1, процедура CREATE 14.2.1, процедура DELETE 14.2.1, процедура OPEN 14.2.1, процедура SET-INDEX 14.2.4, процедура READ 14.2.4, процедура WRITE 14.2.4, 14.2.1, тип ELEMENT_TYPE 14.2.4, тип COUNT

14.2. тип FILE_MODE 14.2.5, тип FILE_TYPE 14.2.4, файл ввода-вывода 14.2.4, 14.2.1, функция END-OF_FILE 14.2.4, функция FROM 14.2.1, функция INDEX 14.2.4, функция IS-OPEN 14.2.1, функция MODE 14.2.1, функция NAME 14.2.1, функция SIZE 14.2.4.

Абстракция

Абстрагирование — это способ выделить набор значимых характеристик объекта, исключая из рассмотрения незначимые. Соответственно, абстракция — это набор всех таких характеристик.

Инкапсуляция

Инкапсуляция — это свойство системы, позволяющее объединить данные и методы, работающие с ними, в классе и скрыть детали реализации от пользователя.

Наследование

Наследование — это свойство системы, позволяющее описать новый класс на основе уже существующего с частично или полностью заимствующейся функциональностью. Класс, от которого производится наследование, называется базовым, родительским или суперклассом. Новый класс — потомком, наследником или производным классом.

Полиморфизм