Every predicate loaded into the current factbase can be run at any time interactively, in the Prolog Console. However, this is recommended only for development / debugging purposes since typing queries is tedious and the possibly long textual results are hard to understand for most users.
For predicates that had been declared as analyses, JTransformer offers much nicer ways to
- The result table of the Control Center displays all found results.
- The icon associated to a particular result indicates its kind (error, warning or information). If an assessment is available only the assesment status icon (accepted or rejected) is shown → evaluation quick fixes.
- Double-clicking on any line in the result table opens an editor that displays the associated code → markers
|Result table in the Control Center displaying info and warning results.|
The editor marks each result with an icon and colored underline, which indicate the kind of result:
|A warning marker|
- Each marker has an associated quick fix that pops up when the mouse stays over the underlined code
|Quick fix categories: → Code Improvement (blue box), → Result Assessment (red box), → Supress (orange box), → Deactivate (gray box)|
- A Code Improvement Quick Fix lets you fix the problem indicated by the result.
- It can be local (fix only the indicated problem) or global (fix all similar problems in the entire project)
- It can be performed immediately or by going first through a preview that shows all occurrences of the problem and all changes that would be performed by the quick fix.
- A Result Assessment Quick Fixe lets you assess the result's correctness. You can
- accept (a correct result)
- reject (a wrong result)
- These actions add annotations to the marked element so that you can easily share your assessment with your team.
|Annotations added by 'Accept' quick fix. The developer extended it by signing his initials ('– GK') to let others know whose opinion is expressed here.|
- The inserted annotations are also used by JTransformer in the result table, to indicate the assessment status of each result
|The result table shows the assesment status of results (based on the annotations).|
If the result is correct but you have good reasons to ignore it, you can suppress the related marker. Then the result will also be ignored in the result table.
This is the same as deactivating the analysis in the Control Center. There you can reactivate it again.