Features
Prev |  | Next

## Features

### Toolbar buttons

The following toolbar buttons are activated when a Java file is open in the editor.

Figure 10. Toolbars

#### Slice highlight toggle

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.

#### Backward Slice

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.

#### Forward Slice

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.

#### Reset

The reset button resets the slice, removes the annotations and clears the views. If any changes are made to the program, it is advisable to press this button as doing so resets soot, allowing the changed code to be sliced.

### Slice label decoration

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.

Figure 11. Slice label decorator

### Criteria View

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.

Figure 12. Criteria View

### Indus Menu

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.

Prev | Up | Next
Parametric Regular Path Queries | Home | Appendix - How to pick criteria