20 Лет Prover 1996-2016
Home | Sign Up | Log In

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


РАБОТА С ФАЙЛАМИ

В созданной системе можно выполнять следующие операции над файлами: создание нового, открытие уже существующего, сохранение созданного, закрытие и печать файла. Все эти операции над
можно осуществлять из меню File.
    

                                         

Меню 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
- продолжить поиск


Copyright MyCorp © 2018 | Create a free website with uCoz