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


Log In

Search

Calendar

«  May 2018  »
SuMoTuWeThFrSa
  12345
6789101112
13141516171819
20212223242526
2728293031

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2018 | Create a free website with uCoz