|
Changes in the "Browse" and "Browse Seach" Dialogs"Browse" DialogThe Project |Browse menu item (or the Ctrl+B hot key ) invokes the Source Code Browser.
The browsing mode is set by two radio button groups:
Selection in the first group of radio buttons determines a browse unit type, i.e., whether the Source Code Browser will browse: names of user defined Predicates or Domains, names of Facts Sections or names of Facts, names of Classes or Abstract Classes. Selection in the second radio button group determines, whether browse
for Global or Local (declared in a single module) names. Note that in classes
public names are treated as global and private names as local. The list button "in Module" provides the possibility to specify the
module for browsing. CLASS person predicates write_info() In the general list of global user declared predicates, the member predicate write_info will have the following representation: person::write_info For facts you can additionally check ON the "in Facts Section" check box and select the name of facts section, which facts you wish to browse. "Browse" Dialog Buttons
"Browse Seach" DialogRemarksThe Source Code Browser uses the PROJECT.BRO file, which contains information
on where domains and predicates are declared and defined. So, to use the Source
Code Browser, the PROJECT.BRO file must exist. It can be created by using
Project |Build VDE menu item. |