The JTransformer Control Center is the most important view for working with JTransformer. It contains the following components:
The factbase selector allows the selection of a JTransformer factbase. All operations, the lists of analyses and analysis results work for the selected factbase. Thus, it is important to make sure that a factbase is selected before performing any operation in the view.
The possible operations for the selected factbase are:
The analysis table shows the availabe analyses of the selected factbase. An analysis is availabe if it is loaded in the factbase. 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 factbase it might be necessary to load them again (once per factbase), since each factbase corresponds to a separate Prolog process having its own set of loaded analyses and transformations.
The analysis table allows enabling () and disabling () of analyses. If an analysis is enabled (and its Run property is onSave) it will be executed after each update of the factbase. This means that all results are deleted and recomputed after each update.
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:
By double-clicking on a result in the table it is possible to select the location of the result in an editor. Further information about working with analysis results can be found here.