Cтраница 2
Определение некоторого типа файла задает большую структуру из однотипных компонентов. Файлы в Боязе отражают объективное существование двух видов памяти ЭВМ: оперативной и внешней. Предполагается, что целиком файл хранится во внешней памяти, а в оперативной заводится для него лишь окно размером в один компонент под названием буфер файла. [16]
Параметр BufSize задает число байтов, считываемых из файла за одно обращение - к нему или записываемых в него. Чем больше значение BufSize, тем быстрее происходит обмен данными между носителем файла ( как правило, диском) и оперативной памятью ПЭВМ. Ведь именно в ней располагается буфер файла. [17]
Объявления в компиляторе расположены по функциональным группам в соответствии с основными действиями компилятора. Первой группой, всегда изменяемой как единое целое, поскольку она выдается программой ANALYZER, является набор синтаксических таблиц распознавания, управляющих действиями процедуры COMPILATION LOOP и сопутствующих ей процедур. Непосредственно за этой группой следуют переменные и таблицы, необходимые процедуре SCAN как для алгоритма просмотра, так и для распечатки компиляции. Следующая основная группа объявлений выделяет память для буферов файла двоичного отображения программы. После этой группы мы находим переменные, относящиеся к генераторам кода, затем таблицы символов и, наконец, стеки, используемые алгоритмами анализа и синтеза. [18]
Компоненты файла снабжаются уникальными указателями ( натурального типа) и располагаются в порядке, определяемом последовательностью работы процедур put, putaft, putbef, reput и erase. Компонент, к которому программа обращалась в последний раз, называется текущим компонентом файла. Операция set устанавливает текущим первый компонент файла и присваивает его значение буферу файла. Операция get устанавливает текущим следующий компонент файла и присваивает его значение буферу файла. Операция gep по значению указателя текущего компонента файла вырабатывает значение этого компонента, которое присваивается буферу файла. Процедуры put, putaft и putbef помещают значение, хранящееся в буфере файла, соответственно в конец файла, после и перед текущим компонентом файла, длина файла увеличивается на единицу, помещенный компонент становится текущим. Процедура reput замещает значением буфера файла содержимое текущего компонента файла. Процедура erase удаляет текущий компонент файла, сокращая его длину на единицу, текущим становится следующий компонент файла. Предикат eof вырабатывает значение ИСТИНА, когда файл оказывается в положении конец файла. Процедура rewrite уничтожает содержимое файла, оставляя его в пустом состоянии. Операция length вырабатывает значение текущей длины файла. [19]
Компоненты файла снабжаются уникальными указателями ( натурального типа) и располагаются в порядке, определяемом последовательностью работы процедур put, putaft, putbef, reput и erase. Компонент, к которому программа обращалась в последний раз, называется текущим компонентом файла. Операция set устанавливает текущим первый компонент файла и присваивает его значение буферу файла. Операция get устанавливает текущим следующий компонент файла и присваивает его значение буферу файла. Операция gep по значению указателя текущего компонента файла вырабатывает значение этого компонента, которое присваивается буферу файла. Процедуры put, putaft и putbef помещают значение, хранящееся в буфере файла, соответственно в конец файла, после и перед текущим компонентом файла, длина файла увеличивается на единицу, помещенный компонент становится текущим. Процедура reput замещает значением буфера файла содержимое текущего компонента файла. Процедура erase удаляет текущий компонент файла, сокращая его длину на единицу, текущим становится следующий компонент файла. Предикат eof вырабатывает значение ИСТИНА, когда файл оказывается в положении конец файла. Процедура rewrite уничтожает содержимое файла, оставляя его в пустом состоянии. Операция length вырабатывает значение текущей длины файла. [20]
Компоненты файла снабжаются уникальными указателями ( натурального типа) и располагаются в порядке, определяемом последовательностью работы процедур put, putaft, putbef, reput и erase. Компонент, к которому программа обращалась в последний раз, называется текущим компонентом файла. Операция set устанавливает текущим первый компонент файла и присваивает его значение буферу файла. Операция get устанавливает текущим следующий компонент файла и присваивает его значение буферу файла. Операция gep по значению указателя текущего компонента файла вырабатывает значение этого компонента, которое присваивается буферу файла. Процедуры put, putaft и putbef помещают значение, хранящееся в буфере файла, соответственно в конец файла, после и перед текущим компонентом файла, длина файла увеличивается на единицу, помещенный компонент становится текущим. Процедура reput замещает значением буфера файла содержимое текущего компонента файла. Процедура erase удаляет текущий компонент файла, сокращая его длину на единицу, текущим становится следующий компонент файла. Предикат eof вырабатывает значение ИСТИНА, когда файл оказывается в положении конец файла. Процедура rewrite уничтожает содержимое файла, оставляя его в пустом состоянии. Операция length вырабатывает значение текущей длины файла. [21]
Компоненты файла снабжаются уникальными указателями ( натурального типа) и располагаются в порядке, определяемом последовательностью работы процедур put, putaft, putbef, reput и erase. Компонент, к которому программа обращалась в последний раз, называется текущим компонентом файла. Операция set устанавливает текущим первый компонент файла и присваивает его значение буферу файла. Операция get устанавливает текущим следующий компонент файла и присваивает его значение буферу файла. Операция gep по значению указателя текущего компонента файла вырабатывает значение этого компонента, которое присваивается буферу файла. Процедуры put, putaft и putbef помещают значение, хранящееся в буфере файла, соответственно в конец файла, после и перед текущим компонентом файла, длина файла увеличивается на единицу, помещенный компонент становится текущим. Процедура reput замещает значением буфера файла содержимое текущего компонента файла. Процедура erase удаляет текущий компонент файла, сокращая его длину на единицу, текущим становится следующий компонент файла. Предикат eof вырабатывает значение ИСТИНА, когда файл оказывается в положении конец файла. Процедура rewrite уничтожает содержимое файла, оставляя его в пустом состоянии. Операция length вырабатывает значение текущей длины файла. [22]
В Боязе имеется пять способов организации структурн. Бояза отличаются от массивов Паскаля тем, что они являются одномерными структурами ( многомерные массивы трактуются как массивы массивов), и их компоненты извлекаются по индексу, принадлежащему только целому типу. Предполагается, что массивы будут служить для представления таких структур, в которых число компонент является постоянным. Максимальная длина набора фиксируется в определении набора; в ее пределах каждый экземпляр набора данного типа может иметь любую длину. Образующий тип должен быть скалярным типом или его отрезком ограниченной мощности. Файлы Бояза могут иметь последовательную, индексную или индексно-последовательную организацию, обеспечивая последовательный, прямой или смешанный доступ к компонентам файла. Для чтения, занесения и удаления компонент файла язык предлагает соответствующие процедуры. Обмен данными с файлом обычно производится через буфер файла, способный содержать одну компоненту файла. [23]