| | 1 | = Investigations = |
| | 2 | |
| | 3 | This tab provides a useful tool for grokking and debugging. The user can run semantic |
| | 4 | queries sequentially. The results of an investigation are shown in a tree structure. |
| | 5 | |
| | 6 | = Using the investigations tool = |
| | 7 | |
| | 8 | 1, The user has to select a starting function ("Starting function" textbox with autocomplete) |
| | 9 | 2, By pressing the "Run new investigation button" the clauses of the selected function will |
| | 10 | appear in a list ("Results of latest query") |
| | 11 | 3, By selecting a list item and pressing "Add to investigation" button an investigation box |
| | 12 | will appear in the investigation area |
| | 13 | 4, Clicking on a specific position of the code found in this box a position based semantic |
| | 14 | query can be ran. |
| | 15 | 5, The results of the semantic queries started from the box will be appear in the "Results |
| | 16 | of the latest query" list and can be added to the investigation with the "Add to inves- |
| | 17 | tigation" button |
| | 18 | |
| | 19 | = Functions of an investigation box = |
| | 20 | |
| | 21 | On an investigation box, there are several controls: |
| | 22 | * Hide button to collapse/uncollapse the box |
| | 23 | * Textbox (top left) where a name can be given to the box |
| | 24 | * Menu button (next to hide button) which can open the menu of the box |
| | 25 | * Add memo button (in the menu) to add a comment box |
| | 26 | * Delete button (in the menu) to delete the subtree of the box |
| | 27 | * Move to new button (in the menu) which is used to move the subtree of the box into a new investigation |
| | 28 | * New investigation button (in the menu) which is used to start a new investigation from this box |
| | 29 | |
| | 30 | Investigation boxes can be moved on the screen using the mouse (drag and drop). |
| | 31 | |
| | 32 | = Management of investigations = |
| | 33 | |
| | 34 | Investigations can be saved ("Save investigation" and "Save as..." buttons) and loaded ("Load inves- |
| | 35 | tigation" button) using the investigation list located on the bottom left. It is possible to filter |
| | 36 | saved investigation (My and All investigations, dropdown menu above the list). The items of investigation |
| | 37 | list can be deleted (only the own ones of the user) and shared. If you share your investigation, the other |
| | 38 | user will be able to delete it or edit it. |
| | 39 | Your investigation can be edited or modified when the database is unchanged (compared to the database at the |
| | 40 | start time of the investigation). If the database has changed, you cannot edit or change the investigation. |
