Investigations
This tab provides a useful tool for grokking and debugging. The user can run semantic queries sequentially. The results of an investigation are shown in a tree structure.
Using the investigations tool
- The user has to select a starting function ("Starting function" textbox with autocomplete)
- By pressing the "Run new investigation button" the clauses of the selected function will appear in a list ("Results of latest query")
- By selecting a list item and pressing "Add to investigation" button an investigation box will appear in the investigation area
- Clicking on a specific position of the code found in this box a position based semantic query can be ran.
- The results of the semantic queries started from the box will be appear in the "Results of the latest query" list and can be added to the investigation with the "Add to investigation" button
Functions of an investigation box
On an investigation box, there are several controls:
- Hide button to collapse/uncollapse the box
- Textbox (top left) where a name can be given to the box
- Menu button (next to hide button) which can open the menu of the box
- Add memo button (in the menu) to add a comment box
- Delete button (in the menu) to delete the subtree of the box
- Move to new button (in the menu) which is used to move the subtree of the box into a new investigation
- New investigation button (in the menu) which is used to start a new investigation from this box
Investigation boxes can be moved on the screen using the mouse (drag and drop).
Management of investigations
Investigations can be saved ("Save investigation" and "Save as..." buttons) and loaded ("Load inves- tigation" button) using the investigation list located on the bottom left. It is possible to filter saved investigation (My and All investigations, dropdown menu above the list). The items of investigation list can be deleted (only the own ones of the user) and shared. If you share your investigation, the other user will be able to delete it or edit it. Your investigation can be edited or modified when the database is unchanged (compared to the database at the start time of the investigation). If the database has changed, you cannot edit or change the investigation.
