Automated Formal Static Analysis and Retrieval of Source Code - JKU

3.2. INTEGRATION OF MINDBREEZE CODE SEARCH INTO MINDBREEZE ENTERPRISE SEARCH37
3.2.1.2 Information Structuring
The tagger and the parser work together in order to retrieve as much information (static and
dynamic) as possible for a hit-type. Because the information retrieved by the parser and the
tagger does not have a uniform representation, we have to unify the representation of their output
data.
This issues can be solved by structuring the information in a file with XML structure. The
benefits gained are:
• we keep the structure of the document apart from the content;
• we obtain a lot of structured information.
Therefore a XML structure is given to the CTAGS output file, a XML element for each CTAGS
output file entry. The information stored for each element (corresponding to a hit-type) is enriched
by the parser, the only hard point is to add information to the right hit-type.
We came up with the following XML structure for the indexing needs:
Example 3.2.
...
int x = 6;
...
The Document element attributes have the following meaning:
• category – the name of the data source;
• categoryclass – the type of the hit-type analyzed;