Generic operation and prefixed notation

[Marek Janukowicz <marek@janukowicz.net>]

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 ---