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