1Summary of commands
2===================
3
4In predicates list:
5Single-click left mouse-button on a predicate: selects the predicate and
6     view  its properties. 
7
8Show source button: view selected predicate source
9
10Summary of function
11===================
12
13This tool allows the examination and modification of the properties of
14predicates that currently exist in ECLiPSe.
15
16Layout
17======
18
19This tool consists of:
20
21Predicates box: shows the type of predicate that are listed in the
22   predicates list.
23
24in module: box: shows the module of the predicates that are listed in the
25   predicates list.
26
27Predicates list: list the predicates of the type given in predicates box and
28   in the module of the in module box.
29
30Filter Aux. button: specifies if auxilary predicates should be filtered out
31   from the Predicates list or not.
32
33Properties of Predicate window: gives the properties of the predicate
34   selected from the predicates list.
35
36
37Functionality
38=============
39
40Predicates box
41--------------
42
43This selects the type of predicates that will be displayed in the
44predicates list. The types are:
45
46   defined:  predicates that are defined in the module.
47   exported: predicates that are exported from the module.
48   imported: predicates that are imported into the module.
49   local:    predicates that have been declared as local to the module.
50   global:   predicates that have been declared global in the module.
51   visible:  all predicates that are visible from the module.
52
53The type can be changed from the pop-down list in the arrow at the right of
54the box.
55
56Searching for a matching predicate can be done by typing in the window. A
57window will popup to show the string being searched. The first predicate
58matching the search string will be underlined. Type `escape' or move mouse
59out of window to stop search; type Control-S to search for next occurrence
60(search starting from underlined predicate). Note that `*' will match any
61sequence of zero or more characters, and `?' will match any character
62during the search. 
63 
64In module: box
65--------------
66
67This box selects the module for which predicates are to be listed in the
68predicates list. The module can be changed from the pop-down list in the
69arrow at the right of the box.
70
71Predicates list
72---------------
73
74The list of predicates of the type specified in predicates box and in the
75module specified in the in module box. Single left-click on one of the
76predicate to view its properties in the Properties window.
77
78Filter Aux. button
79------------------
80
81If this check button is on (the default), then auxiliary predicates
82(predicates generated by the compiler, such as for the do-loops) are not
83displayed in the Predicates list.
84 
85Properties window
86-----------------
87
88Displays the properties of the selected predicate. The name of the
89predicate, and its mode information, if available, is shown in box at the
90top of the window. The modes are:
91
92   + argument is an input argument (must be non-variable when called)
93   - argument is an output argument (must be a variable when called)
94   ? argument need not be input or output, or the mode is unknown.
95
96The mode information is only available if it has been given in a mode
97declaration. Otherwise all arguments are assumed to have mode ?.
98
99If the predicate is defined as an operator, then it is shown in the syntax
100declared for it in its op/3 declarations (i.e. in infix, prefix or postfix
101notation). 
102
103The window contains a list of predicate properties along with their current
104state for the selected predicate. These properties can be obtained via the
105get_flag/3 predicate. See the manual for more details. Properties which
106cannot be be altered by the user has its state buttons grayed out, and the
107user cannot change these settings. The other settings can be changed by
108clicking on the appropriate check button. 
109
110Show source button: clicking on this button will cause ECLiPSe to try to
111display the source of the predicate. If it is able to display the source,
112this will be shown in the tracer's source context display.
113Close button: closes this window.
114
115