4 GUI Configuration

The Inspector is widely user configurable. The options are basically organized in two groups as follows:

Since the Inspector handles more than one widget, the user can specify whether the settings should affect all widgets or the active widget only.

This chapter explains how to navigate through the graphical configuration dialog.

4.1 Structure Settings

Figure 4.1 shows the structure-related options.

Figure 4.1: The selection dialog: ``Structure'' tab


The ``Traversal'' box allows to change the default exploration limits for newly inspected values. See Section 3.2.1 for details on how these parameters are used.


The ``Representation'' box allows to configure the traversal mode. In tree mode, all structures are displayed as their (possibly infinite) tree unrolling, up to the traversal limits. In particular, this mode does not detect cycles. In contrast, relation mode both detects cycles and shared substructure. Relation mode also requires to select the equivalence relation to use. (Note that the corresponding combo box is active only when relation mode is selected.)

By default, the following equivalence relations are supported: The default of ``token equality'' uses System.eq, while ``structural equality'' is unification-based. See Section 5.6 for details on how to add new relations.


The ``Mapping'' box allows to change the assignment of auto-mappings for the selected type. A type is selected via the corresponding combo box to the right (see Figure 4.1).

Auto-mappings can be deactivated or activated for specific types by first selecting the type, then either clicking ``No default mapping'' or ``Apply'', respectively. The latter then requires to select one of the registered mapping functions for that type. (Note again that the corresponding combo box box is active only if ``Apply'' is selected.)

See Section 5.5.2 for details on how to add new mappings.

4.2 Appearance Settings

Figure 4.2 shows the appearance-related options. It should be self-explanatory.

Figure 4.2: The selection dialog: ``Appearance'' tab

4.3 Configuration Range

Figure 4.3 shows the options controlling the applicability of the settings made on the previous tabs. Again, this should be self-explanatory.

Figure 4.3: The selection dialog: Range tab

Thorsten Brunklaus
Version 1.4.0 (20080702)