left

Loading and Editing

right
AProVE Help SystemUser InterfaceGraphical User InterfaceLoading and Editing

File Handling

open Open   opens one or multiple files. If one file is opened it appears in the Source tab.

source tab
After this the source is parsed and the structures are shown in the Generated tab.
generated tab

In case of multiple files are opened their list is shown in the Source tab and the Batch mode becomes active.

add Add   does same as Open except that it does not replace the opened files.

save 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.

saveas 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 Close   closes all open files and deactivates the Batch mode.

Editing

The editor supports the normal undo Undo, redo Redo, cut Cut, copy Copy, and paste Paste functions. Additionally, corresponding brackets are highlighted.

Export to

export Export to..  opens the Export Dialog.

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.

source tab

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.