User manual/mcrl2-gui

From MCRL2

User manual

Tool manual pages chi2mcrl2 diagraphica formcheck grapemcrl2 lps2lts lps2pbes lps2torx lpsactionrename lpsbinary lpsbisim2pbes lpsconfcheck lpsconstelm lpsinfo lpsinvelm lpsparelm lpsparunfold lpspp lpsrealelm lpsrewr lpssim lpssumelm lpssuminst lpsuntime lpsxsim lts2lps ltscompare ltsconvert ltsgraph ltsinfo ltsmin ltsview lysa2mcrl2 mcrl22lps mcrl2-gui mcrl2i pbesinst pbes2bool pbesconstelm pbesinfo pbesparelm pbespareqelm pbespgsolve pbespp pbesrewr pnml2mcrl2 squadt tbf2lps tracepp txt2lps txt2pbes

Contents

Contents 1 Synopsis 2 Short Description 3 Options 4 Detailed Description 4.1 Graphical User Interface 4.1.1 File Browser 4.1.2 Executed commands 4.1.3 Configuration panel 4.2 Preferences 5 Author 6 Reporting bugs

Synopsis

mcrl2-gui[OPTION]...

Short Description

A graphical front-end for mCRL2 tools

Options

OPTION can be any of the following: Standard options:

-q, --quiet

do not display warning messages

-v, --verbose

display short intermediate messages

-d, --debug

display detailed intermediate messages

-h, --help

display help information

--version

display version information

Detailed Description

mCRL2-gui provides a graphical user interface for mCRL2 tools. It gives the user the ability to edit, analyze and apply transformations to files that are affiliated to mCRL2. Furthermore, it gives the user feedback on the tools that are applied for analysis and transformation.

Graphical User Interface

The interface is divided into three panels. Each panel serves a different purpose. Panels can be moved, re-sized, hidden or shown.

File Browser

The File Browser is a file manager application that provides a graphical user interface for accessing the file systems for non-hidden files on disk. The file browser uses a tree-view representation. Nodes display folders and volumes, leaves of the tree represent files on disk. Both nodes and leaves can be subjected to manipulation. The available manipulations can differ per node or leave. These manipulations be addressed by right-clicking on an element in the tree, pressing the "menu" button (when the File Browser has focus), or using a short-cut key. mCRL2-gui offers the possibility to analyze and transform files that have a matching extension recognized by tools within the mCRL2-toolset. Recognized extensions can be found in the File_formats section. The figure below shows the options that are available for a file that has the "lps" extension.

Options:

• Edit: Edit a file. This option allows a user to edit a file with the default system editor related to the file extension. In case no editor is defined, or a user prefers another editor, a custom editor can be set in the Windows->Preferences.
• Analysis: Allows a user to analyze a file. Information about the tools for analysis can be found in the Tool_manual_pages section.
• Transformation: Allows a user to transform a file. Information about the tools for transformation can be found in the Tool_manual_pages section.
• New File: Creates an empty file on disk.
• New Directory: Creates an new (empty directory) on disk.
• Copy file: Duplicates a file on disk in the selected directory.
• Rename: Rename a file/directory.
• Delete: Deletes a file/directory.
• Refresh: Refreshed the tree view structure.
• Details: Shows detailed information about the file/folder.

Executed commands

The executed commands panel shows the commands that have been executed during the analysis and transformation on files. Each line specifies a command that can be executed from a shell. This panel provides the user the possibility to select, deselect, copy, and save the executed commands.

Configuration panel

The configuration panel is used to configure and run tools. The configuration panel is displayed after selecting either the analysis or transformation option. The configuration panel shows a notebook. Each instance of a tool is displayed in a separate notebook tab. Each tab is divided into two sub-tabs. The first tab displays the tool specific options, whereas the other displays the output produced by a tool during execution. The tab that displays the tool specific options allows a user to configure and run a tool. The tab that displays the output of tool, can also be used to re-run the tool, copy the output to clipboard or save the output to a file.

Preferences

The preferences windows allows a user to customize mcrl2-gui. Currently, it only facilitates options for editing files. The preferences window can be accessed through Window->Preferences. The preferences hold after the "save" button has been pressed.

Editors are associated to file type extensions. To override system defined editors, or set a custom editor for a specific file type extension, a user should specify the command that is required to edit the file. The left column displays the extension, the right column display the invoked command. The string %s specifies the wildcard for the file invoked for editing.

For example, editing files with the "mcrl2" extension with open OpenOffice Writer requires a user to add or edit the mapping for "mcrl2" files. Say, OpenOffice Writer is located at:

 /usr/bin/oowriter

then a user should specify the mapping as:

 /usr/bin/oowriter %s 

for files with the "mcrl2" extension.

Author

Written by Frank Stappers.

Reporting bugs

Report bugs at [1].

---

mcrl22lps

mcrl2i