ASIS : questions about the ASIS status against the Ada reference

["Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>]

Hello ASIS fans,

I'm interested in ASIS as it is an abstraction for representing Ada
sources. One may set up its own abstract representation, but as such a
thing already exist, it is better to use the existing one. Better,
beceause such an interface is a rather big stuff, and it is better to
reuse to avoid errors and get the benefits of long time worked issues.

But I have some doubt about ASIS. Well, at least, one.

Looking at the ASIS package specifications and even more at the ASIS
issues at ada-auth, I began to feel that a lot of efforts are still
running at making ASIS able to fully represent all possible Ada 2005
constructions.

From here, comes these fundamental questions :

- Is the ability of ASIS to represent all Ada 2005 constructions
formally provable ?
- Can ASIS be viewed as another expression of a part of the Ada 2005
reference in a special formalism ?

While I know ASIS is mainly useful for code analysies, audits,
statistics, etc, I though about another question which may give an
answser to these two latter ones : formally speaking (although perhaps
not practicable), is it theorically possible to imagine a compiler
builded around ASIS ? If the answer is Yes, then the answer to the two
previous questions would be Yes as well.

With thanks