![]() |
Loading and Editing |
![]() |
AProVE Help System → User Interface → Graphical User Interface → | Loading and Editing |
Open
opens one or multiple files.
If one file is opened it appears in the Source tab.
Add
does same as Open except that it does not replace
the opened files.
Save
saves the current file.
This option is only available if the source in the editor has changed.
The file is parsed again and the Generated tab is updated.
Save As
Saves a file with a different name.
If the Batch mode is active
you can save the current batch of opened files
as AProVE-Program-List (*.apl).
Close
closes all open files and deactivates the Batch mode.
The editor supports the normal
Undo,
Redo,
Cut,
Copy, and
Paste functions. Additionally, corresponding brackets are highlighted.
The current input file(s) can be exported in several formats(1). After selecting the wished format the file is transformed and the preview(3) shows the file in the this format. Save As saves the current preview to a file. If Create headers(2) is active the standard headers for the selected formats are generated too.
If the Batch mode is active all files in the batch are exported
in the wished format.
Export All (only available in Batch mode) exports for all
files in the batch all supported formats.