- Using the Prolog IDE
The view Prolog Analyses contains the following components:
The process selector allows the selection of a Prolog process. The lists of analyses and analysis results work for the selected process. Thus, it is important to make sure that a factbase is selected before performing any operation in the view.
The analysis table shows the availabe analyses of the selected process. An analysis is availabe if it is loaded in the process. If the table is empty no analyses have been loaded and it is necessary to load a file containing analysis declarations and implementations. When switching to another process it might be necessary to load them again (once per process).
The analysis table allows enabling () and disabling () of analyses. If an analysis is enabled it will be executed after each consult done in this process that is triggered from the PDT UI. This means that all results are deleted and recomputed after each such consult.
The analyses in the table are grouped into categories. Categories are written with an emphasized font, analyses are written with a normal font.
For each analysis and category the table shows:
Additionally the table shows the following information for each analysis in the tooltip:
The context menu of the analysis table offers two operations for the selected analyses.
The analysis result table shows the results for the analyses which are selected in the analysis table. For each analysis result the table shows:
Double-clicking on a result in the table will select the location of the result in an editor.