SLIDE Search Overview

The SLIDE plugin adds a new tab into the standard Eclipse search dialog to allow easy searching through the policy for specific types and declarations. The SLIDE search dialog is divided into three sections; selections can be made from one or more section.

Interface Search the interface (.if) files.
Private Policy Search the private policy (.te) files.
File Context Search the file context (.fc) files.

The search results display in the standard Eclipse 'Search' view.