TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Christoph & Ursula Grein <[log in to unmask]>
Reply To:
Christoph & Ursula Grein <[log in to unmask]>
Date:
Fri, 4 Jul 1997 17:40:00 +0100
Content-Type:
text/plain
Parts/Attachments:
text/plain (25 lines)
Simon Wright wrote:

--The code below gives the following error message (gnat 3.09); is this
--right? The attribute denotes a subprogram, subprogram calls include
--actual parameter parts, ...

Quotation from AARM 6.4 Subprogram Calls

   7   {named association} {positional association} A parameter_association
    is named or positional according to whether or not the formal_
    parameter_selector_name is specified.  Any positional associations shall
    precede any named associations.  Named associations are not allowed if
    the prefix in a subprogram call is an attribute_reference.
        7.a   Ramification:  This means that the formal parameter names used
        in describing predefined attributes are to aid presentation of their
        semantics, but are not intended for use in actual calls.

end quotation.

If you look into RM 13.13.2 you'll find formal parameter names italicized,
which I take as an indication that they cannot be used like other formal
parameters.

Christoph  :^)

ATOM RSS1 RSS2