Automated Formal Static Analysis and Retrieval of Source Code - JKU

48CHAPTER 3. CODE SEARCH INTEGRATION FACILITY INTO MINDBREEZE ENTERPRISE SEARCH
category@id
category/name
category/metadata
category/metadatum
category/metadatum@id
category/metadatum@selectable
category/metadatum/name
The unique category identifier.
A display name for the category.
The category metadata.
The category metadatum (optional)
The category metadatum identifier
Specifies that the metadatum should be selectable in
MCS enabled applications. This attribute can be taken
into consideration for search result refinement, for example.
A display name for the meta datum
Table 3.5: Category Descriptor Schema Documentation
Deploying the CodeSearch Context Provider
There are two steps for installing the CodeSearch context provider:
1. properly installation of the context provider.
mesextension --interface=context --category=CodeSearch
--library=mcs-context.jar install
2. providing access to it for insuring that the results returned by the system obey the authorization
rules of the original data source.
mesextension --interface=access --category=CodeSearch
--library=CodeSearchAuthorization.jar install
3.2.4 Mindbreeze Code Search - Use Cases
We present the system as it is shown to the user and how interaction with it is possible, including
explorative search and data-drilling operations. We exemplify with two use-cases: Find all the
hit-types named sort and Find all the methods named sort.
We will consider the following Java code snippet for exemplification:
Example 3.7.
package algorithms;
...
public class Sort{
...
public static void sort (double[] a){
...
sort(a, 0, a.length-1);
}
public static void sort (double[] a, int left, int right){
...
}