AnATLyzer ·

AnATLyzer is a powerful static analyser for ATL. It is available as an Eclipse plug-in which extends the ATL IDE with features to enhance developer productivity.

1 / 3

2 / 3

3 / 3

❮ ❯

AnATLyzer has a number of features intended to increase the correctness of the transformations and the productivity of the model transformation developers:

Static typing of the ATL programs
Detection of more than 50 kinds of problems
Error markers and a special analysis view
Support for pre-conditions and post-conditions
A large catalogue of quick fixes
Visualizations of rule relationships
Integration with the standard ATL editor
A programmatic API to easily manipulate typed ATL programs