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:
- Completeness of provided information
- Type checking
- Syntactic error
- Causality checks
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 run when saving the project
- all checks are re-run every time the project is saved
On-save 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.