Config Inspector

Config Inspector is a widget that displays a configuration used by Analyzer to create the analysis.

There are a number of different elements in the display.

The title of the widget is the path to the configuration file used for the analysis.

The toolbar contains buttons to help in browsing the configuration. On the left are the next highlight and previous highlight buttons. When a slice with source lines is selected (either in the Main Grid or the Conflict Inspector) the sources lines are highlighted in the appropriate Config Inspector to aid in locating those lines. You can scroll down in the configuration to find them or use the next and previous highlight buttons to scroll the configuration to the next or previous set of highlighted lines. They are enabled or disabled automatically based on whether there is, relative to the current line, a next or previous highlighted line.

Like a web browser, Config Inspector maintains a stack of what lines you have visited in the
configuration. You can use the previous line and next line buttons in the toolbar to step through the configuration viewing history. These are also enabled and disabled automatically as previous and next lines in the history are available.

Config Inspector displays definitions and references within the configuration as hypertext links. A reference to a named item (e.g., an object-group in PIX) defined in the configuration is displayed as a link. Hovering over the link will cause a tip window will pop up and show the values of the definition. Left clicking on link will change the current line to the item's definition in the configuration file.

Right clicking a marked name will bring up a context menu.

The "View" option will scroll to the name in the Symbol Viewer, opening the viewer if it is not already visible. The "Goto" submenu lists all lines on which the name is used. Selecting one of these items will scroll to that line in the configuration.

Moving around in the configuration can be done using standard text document navigation keys. In addition you can go directly to a line by number or using incremental searching to locate lines.

Go directly to a line by line number by pressing Control-G.

The text "Goto Line:" will appear after the current line number indicator. As you type numbers they will appear after this text. Pressing ENTER or RETURN will scroll to the line number entered. ESCAPE or clicking on a line will cancel. Note that blank lines are not displayed. If the entered line number is a blank line, the current line will be set to the last non-blank line before that line.

You can search for a particular string in configuration by typing
Control-F or Control-I for a search forward from the current line, or Control-Shift-F or Control-Shift-I for a search backwards from the current line. The text "Search:" or "Reverse search": will appear for forward and backwards searchs respectively. Type in the text you want to find. As you type, the configuration will be searched and will scroll to the first line relative to the current line where the current search text is found.

Press ENTER or RETURN to skip to the next line with the text, or type additional text. Press ESCAPE or click a line to stop searching. If the text turns red, it means that the search string was not found. Use browsing history to go back to a previous line if the search does not leave you where you want to be.