prefixed view

[Maxim Reznik <reznikmm@gmail.com>]

Hi, all

I'm trying to understand how prefixed calls work in Ada 2005. Here is
an example:

package pref_view is
  type Tg is tagged null record;
  procedure X (Item : Tg; Count : Integer);

  Object : Tg;

  procedure Y (Count : Integer) renames Object.X;

  generic
     with procedure Y (Count : Integer);
  package Gen is
  end;

  package Inst is new Gen (Object.X);
end;

ARM 4.1.3 (9.2/2): The selected_component denotes a view of this
subprogram that omits the first formal parameter. This view is called
a prefixed view of the subprogram...

Can I rename this view as new subprogram or use it as an actual
parameter in instantiation?
If NOT, why?

Thanks
--
Maxim Reznik