On-the-fly Checks

An essential aspect of AutoFOCUS is the early detection of design mistakes. This is achieved by running permanently in the background various checks on your project. Examples of such checks are extremely diversified in AutoFOCUS:

Basics

When a check fails, an "alarm" icon is shown on the corresponding model element in the model navigator and in the editor(s) displaying this element.

For some checks which are considered of less importance a yellow warning sign is shown instead of a cross:

On-save checks

Checks are done as follows:

checks are permanently gathered in a summary called "Model Markers" which is normally on bottom left part of AF3. You can filter out check results by type (failure, warning, information, etc.) by clicking the corresponding icon above the table. However you cannot filter out results on a per-project basis: all errors of all projects are shown.