ASIS 2.0.J for GNAT 3.07 Now Available

From Sergey Rybin of the ASIS-for-GNAT Project:

The partial implementation of ASIS 2.0.J for the GNAT version 3.07 is available by ftp from lglftp.epfl.ch/pub/ASIS.

The main differences of this version of ASIS-for-GNAT from the previous version implemented for GNAT 3.03 are:

• now ASIS can operate in two modes:
  • "Compile on the fly", when ASIS call the GNAT compiler when processing some queries about Compilation_Units to create the tree output files used as persistent images for ASIS Compilation Units;
  • "Use pre-created trees", when ASIS processes only those tree output files which have been created before initializing the ASIS implementation;
• For "Use pre-created trees" mode most of the Compilation Unit black-box queries are implemented (the package Asis.Compilation_Units.Relations is still non-implemented);
• Many bugs in the structural queries have been fixed as the result of testing ASIS against the subset of A- and C-tests from ACVC 2.01
• All the dependencies from the underlying hardware/software platform have been eliminated from the ASIS implementation, so you do not need any more to obtain platform-dependent GNAT components when installing ASIS;
• The current version contains all the GNAT components used by the ASIS implementation, so the only thing you should to install ASIS is to download it.

The current version of ASIS-for-GNAT is the result of the "quick jump" of the internal version for GNAT 3.05 to GNAT 3.07. (The ASIS implementation for GNAT 3.05 was not made publicly available because of some technical problems related to integration of ASIS with GNAT, these problems are fixed for GNAT 3.07). The regression testing has shown some new bugs in the ASIS implementation related to the changes in the structure of the GNAT Abstract Syntax Tree, these bugs have not been fixed for this "quick jump", and we are going to fix them as soon as possible and to update the ASIS version for GNAT 3.07 after that.

We are also going to migrate from ASIS 2.0.J to ASIS 2.0.K in the next ASIS version. From the user's viewpoint, all the differences between ASIS 2.0.J and 2.0.K are in improving the documentation and clarifying the semantics of some queries, so no ASIS application developed for ASIS 2.0.J should be affected by migrating the ASIS implementation from ASIS 2.0.J to ASIS 2.0.K

I will appreciate any comments.