Re: Reflection (was: Re: The best thing/greatest feature summary)

[tmoran@acm.org]

>Or does instantiating this package within a routine actually work? (I don't
>have an Ada compiler near me at the moment.)
Using Gnat 3.13p,

with Ada.Tags;
generic package Reflection is
   Unit_Name : constant String;
private -- Reflection
   type T is abstract tagged null record;
   Unit_Name : constant String := Ada.Tags.Expanded_Name (T'Tag);
end Reflection;

package one is
 procedure p;
 procedure q;
end one;

with reflection,
     ada.text_io;
package body one is
 package me is new reflection;
 procedure p is
 begin ada.text_io.put_line(me.unit_name);end p;
 procedure q is
   package myself is new reflection;
 begin
   ada.text_io.put_line(myself.unit_name);
 end q;
end one;

with reflection,
     one,
     ada.text_io;
procedure test is
  package me is new reflection;
begin
  one.p;                              --> ONE.ME.T
  one.q;                              --> ONE.Q.MYSELF.T
  ada.text_io.put_line(me.unit_name); --> TEST.ME.T
end test;