Маркер конца файла

В Паскале имеется стандартное условие EOF, которое позволяет узнать, есть ли возможность считать еще какие-то данные из файла. EOF принимает значение TRUE, если курсор находится за последним элементом данных (например за маркером конца последней строки в текстовом файле), в иных случаях EOF принимает значение FALSE. Для файла F1 условие записывается как EOF(F1). Например, если F1 содержит одну строку, EOF будет принимать следующие значения:

Необходимо заметить, что различные реализации Паскаль-машины по разному интерпретируют символ конца строки и стоящие перед ним пробелы. Некоторые реализации, например, удаляют все пробелы, которые встречаются между последним не пробелом и концом строки, символ конца строки также может заменяться или не заменяться на пробел.

Таким образом мы не вполне можем контролировать эту ситуацию, в зависимости от реализации Паскаль-машины, пробелы в конце строки могут пропадать или наоборот появляться.

SR23

< условие>:: = < выражение> < оператор сравнения> < выражение>

| NOT (< уcловие>)

| (< уcловие>) AND (< уcловие>)

| (< уcловие>) OR (< уcловие>)

| EOF

| EOF (< идентификатор>)

| EOLN

| EOLN (< идентификатор>)

CR6

Идентификатором типа TEXT является < идентификатор> описанный в разделе объявлений имеющий < тип> TEXT. Если идентификатор типа TEXT появляется в < выражении WRITE> или в < выражении READ>, он должен стоять первым в < списке идентификаторов> или < списке вывода>. Идентификатор типа TEXT, иной чем INPUT или OUTPUT должен быть описан в < объявлениях>. Только идентификаторы типа TEXT, исключая INPUT и OUTPUT, могут появляться внутри выражений RESET и REWRITE. Только идентификаторы типа TEXT, к которым было применено выражение RESET, могут появляться в < условиях> EOF и EOLN.

Копирование строк

Когда INPUT содержит набор строк, для перемещения через границу строки может использоваться выражение READLN. В результате выполнения выражения READLN, курсор будет перемещен за ближайший маркер конца строки. Если маркер конца строки не встретится, READLN возвратит ошибку. READLN (F1) будет выполняться для файла F1.

READLN(Ch1, Ch2, Ch3)

Будет эквивалентно

READ(Ch1);

READ(Ch2);

READ(Ch3);

READLN

SR12.

< выражение READ>:: = READ(< список идентификаторов>)

| RESET(< идентификатор>)

| READLN(< список идентификаторов>)

Значение условий EOLN и EOF и поведение выражений READ и READLN определены только для ситуаций, когда они выполняются до прохождения соответствующих их границ. Например значение EOF не определено за границами файла. Поэтому важно правильно использовать операторы чтения файла и определения границ, например по шаблону, предлагаемому следующей программой:

PROGRAM CopyLines (INPUT, OUTPUT);

{Копирует INPUT в OUTPUT сохраняя структуру строк}

VAR

Ch: CHAR;

BEGIN {CopyLines}

WHILE NOT EOF

DO

BEGIN {Копировать одну строку}

WHILE NOT EOLN

DO

BEGIN {Копировать один символ}

READ(Ch);

WRITE(Ch);

END;

READLN;

WRITELN

END

END. {CopyLines}

Внешнее выражение WHILE защищает внутренний код от ситуации выхода за конец файла. Внутреннее выражение WHILE защищает его оператор READ от чтения маркера конца строки. После того как внутренний WHILE скопировал строку, с помощью READLN курсор перемещается за маркер конца строки, а в OUTPUT создается маркер конца строки с помощью WRITELN. Детали в следующей таблице выполнения:

Ранее мы использовали в качестве маркера конца последовательности символ # и копирование файлов выполняли по примерно следующему образцу:

READ(F1, Ch);

WHILE Ch < > ‘#’

DO

BEGIN

WRITE(F2, Ch);

READ(F1, Ch)

END

Если мы используем маркер конца строки, то получаем следующий образец:

WHILE NOT EOLN(F1)

DO

BEGIN

READ(F1, Ch)

WRITE(F2, Ch);

END

Второй вариант более соответствует структуре текстовых файлов и более естественно реализует операцию копирования.