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

• view their results → result view and markers
• assess the correctness of the results → result assessment
• improve the code if the result indicates a problem → code improvement

• The result view displays all found results, grouped by detector.
• 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-klicking on any line in the Result view opens an editor that displays the associated code → markers

Result view displaying info and warning results.

The editor marks each result with an icon and colored underline, which indicate the kind of result:

• Error (, red underline)
• Warning (, yellow underline)
• Info (, blue underline)

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 View, to indicate the assessment status of each result

The result view 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 View.

This is the same as deactivating the analysis in the Control Center. There you can reactivate it again.