Use the module editor (located in the middle of the perspective) to edit the policy in the project. Double click on a module in the policy explorer to open the three files that comprise the module in the module editor. These files are the public interface (.if) file, the private policy (.te) file and the file contexts (.fc) file. Select the file you wish to view or modify by clicking the corresponding tab the bottom of the module editor.
Module text is highlighted in different colors to help distinguish different parts of the policy. Change the colors used in the editor preferences.
If the declaration view is open, clicking on an interface or template in the module editor will display the documentation for it in the declaration view.
Right click in the module editor to access auto-generation options. Select Auto Text to generate block of policy within the selected policy file. Add Interface starts the wizard to create an interface with correctly formatted documentation (i.e., to create the .if file). When right clicking on a domain or attribute a quick Type Enforcement Rules search can be initiated. A Domain Transition Analysis can also be initiated when selecting a domain. The results will be displayed in the Analysis View.
When typing an interface name in the public interface (.if) file or private policy (.te) file, press Ctrl+Space to bring up a list of matching interfaces and module.
Hover the mouse cursor over an interface to display a popup with information about the interface.
If a module has been disabled in the Module Properties then any interfaces used from that module will be displayed with a strikeout to clearly indicate the interface is disabled.
©2006 Tresys Technology, LLC