!ASIS Issue #071
!topic  Corresponding_Called_Entity and access to subprogram dereference
!reference  ASIS 95-18.25
!from  Alain Le Guennec 97-04-18
!keywords  Corresponding_Called_Entity Corresponding_Called_Function access-to-subprogram
!discussion

I think the specification of Asis.Statements.Corresponding_Called_Entity
is slightly incomplete. This query should also be allowed to return
a Nil_Element when the prefix of the call denotes an access to procedure
implicit or explicit dereference (Nil_Element is the only meaningfull
result in that case.)

Currently, a Nil_Element result is allowed only for attribute_references.

Asis.Expressions.Corresponding_Called_Function has the same "problem".

!resolution  Accepted.
!date 97-04-25
!Notes

For subclause 18.25, Corresponding_Called_Entity, change the
discussion on returning a Nil_Element to:

"Returns a Nil_Element if the:
  - procedure prefix denotes an attribute reference
  - prefix of the call denotes an access to a procedure implicit
    or explicit dereference
  - argument is a dispatching call"

For subclause 17.29, Corresponding_Called_Function, change the
discussion on returning to Nil_Element to:

"Returns a Nil_Element if the:
  - function_prefix denotes an attribute_reference
  - function_prefix denotes a predefined operator for which the
    implementation does not provide an artificial function declaration
  - argument is a dispatching call
  - prefix of the call denotes an access to a function implicit
    or explicit dereference"

Changes were made in ASIS version 2.0.M.