!ASIS Issue #098
!topic  Pragma Import as a completion of a subprogram
!reference  ASIS 95-15.27
!from  Sergey Rybin  98-09-24
!keywords  pragma import completion subprogram
!discussion

The problem is that ASIS does not give any means to get to know if a
subprogram declaration is completed by Import pragma.

Suppuse we have something like this:

   function Strlen (A : System.Address) return Natural;
   pragma Import (C, Strlen);

Corresponding_Body will get Nil_Element for the declaration of
Strlen. Corresponding_Representation_Clauses will return the list
which will not contain the pragma Import (because Import is not a
representation pragma).

So, there is no means in ASIS to get to know if Strlen has a
completion (and it has in this case!), and there is no means to get
Import pragma which works as a completion for the declaration of
Strlen.

!resolution  Rejected.

This is supported using the Corresponding_Pragmas function defined in
clause 13.38.