Re: Passing the same actual as both in and out formal parameters?

[Adam Beneschan <adam@irvine.com>]

On Nov 17, 4:11 pm, "Jeffrey R. Carter"
<spam.jrcarter....@spam.acm.org> wrote:
> Randy Brukardt wrote:
>
> > Right, that's my understanding of the point. The only problem is, there
> > isn't any sane way to describe such an assertion.
>
> Given that the types are by-reference, would comparing 'access of the parameters
>   serve?
>
> pragma Assert (A'access /= B'access);

First of all, for this to work in the general case, that would need a
major change in language semantics, since you need an access type in
order for 'Access to be allowed.  The only way this would be legal is
if there happened to be exactly one "=" operator directly visible with
operands of some named access-to-T type.  (Also, if "=" were
overridden with a user-defined operator that did something unexpected,
it would fail, but nobody would do that.)

Second, it only catches the case where the operands are of the same
type; it won't catch other overlaps such as

   P2 (A => Object, B => Object.Component);

                                     -- Adam