| | 35 | * when the GUI is first launched, it doesn't open up a window, to interact with the GUI the user must select a menu option from the menu bar. |
| | 36 | * To run a CIVL-Session, the user MUST select create a new run configuration. |
| | 37 | * Selecting this option will open a new window from which the user can specify: inputs, modes and additional run-time options |
| | 38 | * Once this run configuration is finished it will be saved in a folder in the workspace/project |
| | 39 | * The user can select "execute run configuration" which will open a browser to this folder from which they can execute any configurations they have created. |
| | 40 | * When the user selects a run configuration, it opens up a window with all of the information about the run configuration and will provide a button to execute it or edit it. |
| | 41 | * This execution will be called a new CIVL-Session which will contain all artifacts of a given run of a CIVL program(AST,Model,trace,source,lexical scope tree) in a new multi-tabbed window. |
| | 42 | * When you close a CIVL-Session, it frees all resources associated with the specific CIVL-Session |
| | 43 | * The GUI will allow multiple CIVL-Sessions to be open at the same time. |
| | 44 | *The GUI will also have a menu option that will provide the user with help menus that describe all of the various options and run modes that CIVL has as well as help menus for setting up and executing a new run configuration. |
| | 45 | *The GUI will also have a menu option that will open a trace viewer where the user can select two active traces and can compare them side-by-side in a new window. |
| | 46 | |
| | 47 | |
| | 48 | GLOSSARY: |
| | 49 | -CIVL Program: a .cvl file |
| | 50 | -Artifact: Specific information that is gathered and displayed for each CIVL-Session(AST, Model etc.) |
| | 51 | -Run configuration: A specified set of inputs and run options for a specific CIVL program that will be executed by the user. |
| | 52 | -CIVL-Session: An execution of a run configuration that opens in a multi-tabbed window containing all of the artifacts of an execution |
| | 53 | -Menu Option: An option that drops down from the menu bar(by the apple for OS) |
| | 54 | -Execute: A run configuration is executed which means its options and inputs are passed directly to CIVL's API which runs it as usual. |
| | 55 | -Launch: Opening the main GUI |