Re: __FILE__ and __LINE__

[dewar@merv.cs.nyu.edu (Robert Dewar)]

i<<    You're right. Attributes are preferred (also from a user's point of
view). I've thought about Attributes for this job, but I couldn't find
appropriate Attributes. Furhermore, I couldn't figure out where they
should be Attributes of.
>>

Actually, thinking about this more, I prefer a standard package to the
use of attributes:

  package Compile_Time_Info is
     function Time_Compiled return Calendar.Time;
     function Line_Number return Natural;
     function Source_File_Name return String;

     pragma Import (Intrinsic, Time_Compiled);
     pragma Import (Intrinsic, Line_Number);
     pragma Import (Intrinsic, Source_File_Name);

     etc ..
  end Compile_Time_Info;

This of course requrires compiler assistance (any solution to this problem
does), but this seems the cleanest approach. It would not be hard to 
implement in GNAT, but there are no plans to do so currently