Re: Parameter Modes, In In Out and Out

[Robert Dewar <robert_dewar@my-deja.com>]

In article <93cagm$c1j$1@nnrp1.deja.com>,
  dmitry6243@my-deja.com wrote:

> OOP does not enforce "tagged types" to be passed by
> reference. This is
> Ada 95 specific. Only class-wide types shall be passed by
> reference (for their size is unknown).
>
> Maybe I am wrong

Well I am not quite sure what you are saying here, but most
cerainly ALL tagged types must be passed by reference:

RM 6.2 (4)


4   A type is a by-reference type if it is a descendant of one
of the
following:

    5  a tagged type;

    6  a task or protected type;

    7  a nonprivate type with the reserved word limited in its
       declaration;

    8  a composite type with a subcomponent of a by-reference
                                            type;

    9  a private type whose full type is a by-reference type.

That's pretty clear. By the way it is *easy* to answer
questions like this for yourself from the RM. What I did to
locate this section was to open my trusty ascii only version of
the RM in my editor and search for by-reference -- not so
difficult.

The mention you make of keeping the tag separate from the value
is entirely irrelevant here.


Sent via Deja.com
http://www.deja.com/