Automated Formal Static Analysis and Retrieval of Source Code - JKU

3.2. INTEGRATION OF MINDBREEZE CODE SEARCH INTO MINDBREEZE ENTERPRISE SEARCH49
...
Use Case 1 - Find all the hit-types named sort
This example is a typical text search in the CodeSearch data source which is provided to the main
node.
Figure 3.8: Find all the hit-types named sort
With this result set (see Figure 3.8), the user can perform drill operations, namely refinements
(in the current state are displayed those common for all the artifacts), can display the information
about it on different levels (current is displayed the first level) and can choose that just a subset of
artifacts is displayed.
Use Case 2 - Find all the methods named sort
This example is representative for illustrating the explorative search in the Mindbreeze Code
Search system: for retrieving a certain hit-type, from a certain artifact, first is performed a text
based search and then, from the domain of results, the user can choose the task-relevant artifacts.
• Step 1 is identical to the Use Case 1 (see Figure 3.8)