В П. используются традиционное для других языков программирования определение файла. Для указания порядка работы с конкретными файлами в пр-ме, исп-ся символическое имя файла. В системе приняты след. станд. имена файлов, с кот. м. работать в программах без предв. описания.
1.Входной с экрана дисплея keyboard
2.Выходная форма на экран screen
3.Вых. ф-ма на устройство печати printer
4. — “ — на порт com1
По умолчанию наз-ся файлы (1) и (2). Для переопределения стандартных файлов и файлов пользователя исп-ся станд. предикаты
readdevice
(< символьное имя файла>)
(file):(i)
writedevice
ПРИМЕР
readdevice (printer),
write (“Работа завершена”),
readdevice (screen),
...
Файлы пользователя в П. м. представлять собой как Д. так и факты в виде предикатов, при этом 1-я запись файла д. соответствовать 1-му предикату-факту.
1.Определение символьного имени файла
2.Открытие соответствующего вида доступа
3.Определение или переопределение уст-ва, используемого для обработки файла
4.Закрытие файла после обработки с возможным переопределением устройств ввода-вывода
Для определения символьного имени в П. используется стандартный домен file, определенный в разделе domaines.
Символьное имя м. совпадать, а м. не совпадать с его именем в ОС. Символьное имя действует также в пределах той пр-мы, кот. его описывает. В зависимости от порядка работы с файлом, его открытие м производиться с помощью след. стан. предикатов:
OPENWRITE( < сим. имя файла>, < имя файла в ОС>)
( file, string):( i,i)
— открывает файл с указаным именем для операции записи. Если этот файл реально существует под указаным именем в среде ОС, то он уничтожается.
OPENREAD( < сим. имя файла >,< имя файла в ОС >)
( file, string):( i,i)
— открывает файл с указаным именем для чтения
OPENAPPEND ()( file, string):( i,i)
— открывает файл для дозаписи. Если при использовании предиката OPENREAD и OPENAPPEND файл не найден, то это интерпр. как ошибка. Если при использовании предикатов OPENWRITE и OPENMOCLIFY файл не найден, то происходит создание нового файла. Для проверки наличия файла в П. имеется след. стан. предикат:
EXISTEFILE()
( string):( i)
Если файл с указанным именем не сущ., то предикат принимает значение .t., если нет- ложь. Переопределение устройств для работы с файлами пользователя производится с помощью readdevice и writedevice
FILE_STR (< имя файла в ОС>,< строка>)
(string , string) : (i,0) ( i,i)
— читает знаки до 64кб из файла в перем. памяти, если задано (i,0). Если задано ( i,i), то знаки из пер.памяти зап-ся в файл. Чтение и запись прекращается , если встретиться признак конца файла. Этот предикат работает без определения символьного имени файла.
READTERM (,< терм>)
(< имя области>,< терм>) : (i,0)
После открытия файла этот предикат читает факты из него. Первый аргумент предиката д.б. описан в разделе domains программы
EOF (< символьное имя файла>)
(file) : (i)
Предикат имеет значение “ Истина”, если указатель файлов позиции установлен на конце файла
FILEPOS (< сим. имя файла>,< позиция>,< режим>)
(file,real, integer) : (i,i,i) (i,0,i)
RENAME (< имя файла1 в ОС>,< имя файла2 в ОС>) — переим. файла
(string,string) : (i,i)
DELETE (< имя файла в ОС>) — удаление файла
(string) : (i)
DISK (< маршрут>)
(string) : (i) (0) — устанавливает ,если (1) или возвращает, если задана (0) дисковод или тех. каталог, подкаталог...
CLOSEFILE (< сим. имя файла>)
(file) : (i)
Техника работы с файлами в программах
1.Создание файла
domains
file = ff
P2 = integer
Pole, Pole1 = string
predicates
vvod
put
clouses
put if
write (“Введите признак продолжения”),
readint (Pr),
Pr=0
vvod
vvod if
write (“Введите строку”),
readln (Pole), nl,
write (Pole),
concat (Pole, “ n”, Pole1),
openappend (ff, “text”)
writedevice (ff),
write (pole1),
closefile (ff),
writedevice (screen),
write ( “Строка”, Pole1, “на диск записана”)
В поле м.б. введенозначение предиката-факта, с кот. в дальнейшем м. работать как ср-вами обработки файла, так и ср-вами динам. фаз фактов. Предположим,что в этом примере пользователь ввел значение предиката-факта tmc
tmc ( Post, Kod, Kol, Cena)
2.Обработка фактов из файла
domains
file = ff
data= tmc ( Post, Kod, Kol, Cena)
Post,Kod=string
Kol, Cena=integer
predicates
put
spr
clouses
put if
not (eof (ff)),
spr.
put if
eof(ff),nl,
write (“Работа закончена”),
closefile (ff)
spr if
readterm (data, tmc (Post, Kod, Kol, Cena), nl,
write (post), nl,
put.
goal
openread (ff, “text”),
readdevice (ff),
spr.
3.Модификация данных файла
domains
file=ff
Pr= integer
Pole, Pole1 = string
K = real
predicaes
put
mod
clouses
put if
write ( “Введите признак продолжения”),
readint (P2),
p2 = 0,
mod.
mod if
write (“Введите номер записи”), nl,
readreal (K), nl,
K1=K*12,
openmodify (ff, “text”),
readdevice (ff),
48
filepos (ff,K1,0)
readln (Pole),
write ( “Старое значение”, pole), nl,
writedevice (ff),
filepos (ff,K1,0),
write (Pole1,”n”),
closefile (ff),
writedevice (screen),
write ( “Новое значение”, Pole1), nl,
readdevice (keybord),
put
goal
mod
ТП, являясь прообразом языка парал. вычислений, поддерживает стиль модульного проектирования.
Средства ТП для поддержки мод. прог-я следующие:
1.Междумольная информационная связь в П. реализуется кака и в других языках прог-я, через общие переменные. Для этого в связываемых модулях после раздела domains, где описываются те приемы, кот. описываются в разных модулях.
2.Актуализация каждого модуля производится путем вызова соответствующего правила, кот. д.б. известно во всех связывающих модулях в разделе global predicates.
3.Ср-ва обр-ки модульных программ.
3.1.Использование предиката include “ имя программного файла”.
include — используется в том случае, когда к текущей программе на уровне исходного модуля.
Цепочка модулей м.б. сколь угодно длинной, но не д.б. циклов.
“ имя прогр. файла “ м. содержать маршрут поиска файла на диске.
4.project “имя файла-проекта”
Эта дирректива д.б. записана 1-й в тех модулях, кот. необходимо объединить в 1-й загрузочный модуль с именем файла-проекта. По аналогам с разработками Borland, все модули, объед. в проект, компилируется отдельно, а связь происходит на уровне объектных модулей.
Для подготовки данной работы были использованы материалы с сайта http://www.parny.by.ru/