!ASIS Issue #059
!topic Not_A_Clause cannot be returned by Corresponding_Representation_Clauses
!reference  ASIS 95-15.17
!from  Sergey Rybin
!keywords Corresponding_Representation_Clauses, Not_A_Clause
!discussion

Not_A_Clause is included in the returned kinds list of
Asis.Declarations.Corresponding_Representation_Clauses. But this query
cannot return elements of this kind. If there is no representation
clauses apply to a given declaration, Nil_Element_List should be
returned, this list contains no element at all, but not an element of
Not_A_Clause kind!

This problem probably exists for some other semantic queries returning
element lists.

------------------------------------------------------------------------------
-- Section 15.17  function Corresponding_Representation_Clauses
------------------------------------------------------------------------------

    function Corresponding_Representation_Clauses
                (Declaration : in Asis.Declaration)
                return Asis.Representation_Clause_List;

------------------------------------------------------------------------------
--  Declaration - Specifies the declaration to query
--
-- Returns all representation_clauses that apply to the declaration.
--
-- Returns a Nil_Element_List if no clauses apply to the declaration.
--
-- The clauses returned may be the clauses applying to a parent_type if the
-- type is a derived type with no explicit representation.  These clauses
-- are not Is_Part_Of_Implicit, they are the actual representation_clauses
-- specified in conjunction with the declaration of the parent_type.
--
-- All Declaration_Kinds are appropriate except Not_A_Declaration.
--
-- Returns Clause_Kinds:
--      Not_A_Clause
--      A_Representation_Clause
--

!resolution  Accepted.
!date 97-03-26
!Notes

"Not_A_Clause" was removed from the list of Clause_Kinds returned.
Changes were made in Subclause 15.17 of ASIS version 2.0.M.