| 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 |
| | 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 appear in a list ("Results of latest query") |
| | 10 | 3. By selecting a list item and pressing "Add to investigation" button an investigation box will appear in the investigation area |
| | 11 | 4. Clicking on a specific position of the code found in this box a position based semantic query can be ran. |
| | 12 | 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 |
