Работа с файлами

                                         

Меню File:

New - создание нового файла
Open - открытие файла
Save - сохранение файла
Close - закрытие файла
Print - печать файла
Printer setup - настройка принтера
Exit - выход из системы

Все файлы созданные в системме имеют расширение PRG, хотя и допускается сохранение файлов с другими расширениями.
При инсталляции системы пользователю предоставляется возможность установки уже разработанных программ тестов. Они размещаються в директории Prover\PRG\. В этой же директории размещен файл passport.txt в котором описаны особенности каждого разработанного теста.
Для составления программ тестов можно использовать меню Edit и Search. Они предназначены для упрощения процесса редактирования при составлении тестов.
Ниже приведены структуры этих меню с описание каждой операции.

Меню Edit:

Undo - вернуться на шаг назад
Cut - вырезать выделенную область
Copy - скопировать в буфер выделенную область
Paste - вставка из буфера
Clear All - удалить выделенную область

Меню Search:

Find - поиска фрагмента текста в программе
Replace - замена фыбранного фрагмента
Next - продолжить поиск