The following toolbar buttons are activated when a Java file is open in the editor.
The slice toggle menu button is used to toggle the slice highlighting on / off in the Java editor. After a file is sliced, open it and press this button to show the slice in the editor.
To run a backward slice without going through the criteria and configuration selection phases, you can select a Java statement and press the backward slice menu button to run a backward slice with the selected statement as the criteria. After the slice if performed the relevant statements are highlighted automatically.
To run the forward slice on a given Java statement select it and press the Forward Slice menu button. Note that Indus currently supports only non-executable forward slicing.
Kaveri has a label decorator that annotates the list of Java files shown in the package or navigator window with a marker to indicate that the file has a slice associated with it. To enable or disable it go to Window -> Preferences -> Workbench -> Label Decorations from the Eclipse menu and toggle the checkbox with the Kaveri.Decorator label.
The criteria view allows the user to view the criteria specified in a Java file. The view can be activated from Window -> Show Views -> Kaveri -> Criteria View. Once the view is open, loading any Java file in the editor displays the list of criteria specified in that file, in the criteria view. This is helpful for the user in determining the list of criterias specified for a given Java file.
The Indus Menu visible in the main eclipse menu bar allows the user to quickly access Indus features. The following items are included at the moment:
- Slicer Configuration: This is a shortcut to the Indus preferences option. It allows you to change the slicer configurations, manage the scope entities and add elements to the exception ignore list.
- Slice Statistics: This action presents statistics for the previously performed slice.
More items will be included in this menu to increase the usability of the tool.