Navigation  without Java Scripts

Changes in the "Browse" and "Browse Seach" Dialogs

"Browse" Dialog

The Project |Browse menu item (or the Ctrl+B hot key ) invokes the Source Code Browser. 


"Browse" Dialog

The browsing mode is set by two radio button groups:

  1. Predicates / Domains / Facts Sections / Facts / Classes / Abstract Classes 
  2. Global / Local. 

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.

Besides these, three filters can be used: "in Module", "in Class", "in Facts Section".

The list button "in Module" provides the possibility to specify the module for browsing.
Checking ON "in Class" check box, you can specify a class for browsing names. 
Note that, when a name declared in a class is displayed in the general list ("in Class" is OFF), then this name is prefixed by the class name. For instance, in case of the following declaration:

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

Button
Description
Search  Activates the Browse Search dialog box allowing search within predicates, domains, fact sections, facts, classes, abstract classes or anywhere in a project. This search is independent of other settings selected in Source Code Browser. See picture.
Search again Repeats the last search operation.
GoTo (Declared in:) Opens an editor window, with the cursor positioned at the declaration of the selected name.
GoTo (Clauses in:)  Opens an editor window, with the cursor positioned at the definition of the first clause of the selected predicate of fact.

"Browse Seach" Dialog

"Browse Seach" Dialog

Remarks

The 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. 
Note that the compiler will generate the file PROJECT.BRO only if the option "Generate Browser Information" (in the Compiler Options dialog) is checked.