From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c05bdbf8e48c4dfa,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!news2.glorb.com!news.netfront.net!not-for-mail
From: Marek Janukowicz <marek@janukowicz.net>
Newsgroups: comp.lang.ada
Subject: Generic operation and prefixed notation
Followup-To: comp.lang.ada
Date: Mon, 14 Jun 2010 19:47:09 +0200
Organization: Starware
Message-ID: <hv5puu$2dp1$1@adenine.netfront.net>
NNTP-Posting-Host: 89.174.12.152
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Trace: adenine.netfront.net 1276537631 79649 89.174.12.152 (14 Jun 2010
 17:47:11 GMT)
X-Complaints-To: news@netfront.net
NNTP-Posting-Date: Mon, 14 Jun 2010 17:47:11 +0000 (UTC)
User-Agent: KNode/4.4.3
Xref: g2news1.google.com comp.lang.ada:11716
Date: 2010-06-14T19:47:09+02:00
List-Id: <comp.lang.ada>

Hello

I'm still working on a problem I asked about last week (thanks for all the 
answers). Another question that arose recently: is there any way of calling 
an instantiation of generic operation with prefixed notation?

Given a simplified example:

  type Model is tagged record
    null
  end record;

  generic
    Attr_Name : String;
  procedure Get_Attribute( M : Model );

  procedure Get_Name is new Get_Attribute( "Name" );

Now I can call it with:
  Get_Name( M );

but I'd rather use
  M.Get_Name;

which complains about Get_Name not being present.

Is there any other way to achieve it?

-- 
Marek Janukowicz

--- news://freenews.netfront.net/ - complaints: news@netfront.net ---