= 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 =

1. The user has to select a starting function ("Starting function" textbox with autocomplete)
2. By pressing the "Run new investigation button" the clauses of the selected function will appear in a list ("Results of latest query")
3. By selecting a list item and pressing "Add to investigation" button an investigation box will appear in the investigation area
4. Clicking on a specific position of the code found in this box a position based semantic query can be ran. 
5. 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.