Automated Formal Static Analysis and Retrieval of Source Code - JKU

50CHAPTER 3. CODE SEARCH INTEGRATION FACILITY INTO MINDBREEZE ENTERPRISE SEARCH
• in Step 2 user chooses ,,callable“ artifact from the predefined artifacts and gets the desired
results (see Figure 3.9)
Figure 3.9: Find all the methods named sort
Representation of Information on Levels
MCS Engine is also able to display different information about a hit-type, depending on the level
chosen. This facility is inherited from the base product (MES), we just defined the structure of
information on each level.
Level 1: On this level we display for each item of the result set the title, the size of the file
where it is declared and the modification date (see Figure 3.9).
Level 2: Besides the information presented at the Level 1, we display the [available] information
corresponding to the fields in the refinements section see (see Figure 3.10).
Level 3: In this level we add also some representative code for the hit-type (from its body),
for example the other hit types with the same name, or similar (see Figure 3.11).