From: Jerome Hugues <hugues@nephilimmmmm.enst.fr>
Subject: Re: This can't be done in Ada...or?
Date: Fri, 11 Feb 2005 17:08:04 +0000 (UTC)
Date: 2005-02-11T17:08:04+00:00 [thread overview]
Message-ID: <slrnd0ppjk.oli.hugues@nephilim.enst.fr> (raw)
In-Reply-To: 1108139611.709714.36170@o13g2000cwo.googlegroups.com
In article <1108139611.709714.36170@o13g2000cwo.googlegroups.com>, Per Lindquist wrote:
> My impression from reading some threads is that Ada DOES NOT offer a
> decent way to implement trace printouts (log messages), at least not
> with the features stated below.
Where did you read that ?
> We want to be able to output log messages, or traces as we call it,
> from an Ada program. There will be a few trace categories like Error,
> Warning, Note etc. The messages (strings) can be sent to a file or
> stdout or whatever (not important).
>
> A call might look something like this:
>
> Trace.Error(Package_Name, Subprogram_Name, "Woops, V=" &
> Some_Type'Image(V));
>
> How do we write a tracing utility in Ada that:
> 1. has different behaviour on different target platforms
=> provide one body/target + GNAT project files
> 2. can disable some categories depending on target platform at
> compile-time.
=> build a spec-only package that looks like
package My_Flags is
Feature_1 : constant Boolean := False;
end My_Flags
In the implementation of Trace.Error, use My_Flags.Feature_x to
disable code. Any decent (all ?) Ada compiler should remove all "if
False then .. end if;" blocks at compile-time
> 3. does *not* cause any execution overhead if disabled.
=> pragma Debug (Trace.Error ..);
(GNAT specific)
> 4. does not need yucky "if Trace_Wanted then ... end if;" around all
> calls
=> pragma Debug ..
> 5. does not need preprocessing (some of you say it's never needed in
> Ada...)
=> My solution doesn't, yet it requires tweaking your compilation
process so that you can select the correct package depending on your
configuration.
> I say it can't be done in Ada. Please prove me wrong!
You can, but I confess my solution is in part vendor specific.
The only kludge is the one body/implementation, GNAT project files
should handle this easily.
> If we could get rid of those hardcoded constants
>
> Package_Name : constant String := "Some_Package";
> ...
> Subprogram_Name : constant String := "Some_Procedure1";
> ...
> Subprogram_Name : constant String := "Some_Procedure2";
>
> it would be a great bonus, but I reckon it can't be done either..?
See GNAT.Source_Info
in your code, just try
Ada.Text_IO.Put_Line (GNAT.Source_Info (Source_Location));
and see the magic occurs. GNAT.Source_Info is the equivalent of
__FILE__, __LINE__ macros from C.
--
Jerome
next prev parent reply other threads:[~2005-02-11 17:08 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-11 16:33 This can't be done in Ada...or? Per Lindquist
2005-02-11 16:51 ` Duncan Sands
2005-02-12 19:55 ` Florian Weimer
2005-02-14 8:34 ` Per Lindquist
2005-02-14 8:17 ` Per Lindquist
2005-02-11 17:02 ` Jeff C
2005-02-11 18:27 ` Robert A Duff
2005-02-11 23:51 ` Ludovic Brenta
2005-02-11 23:52 ` Robert A Duff
2005-02-12 13:55 ` Duncan Sands
2005-02-12 14:58 ` Martin Krischik
2005-02-12 15:56 ` Martin Dowie
2005-02-12 19:02 ` Robert A Duff
2005-02-14 8:49 ` Per Lindquist
2005-02-11 17:08 ` Jerome Hugues [this message]
2005-02-14 9:05 ` Per Lindquist
2005-02-14 13:07 ` Georg Bauhaus
2005-02-12 1:10 ` Jeffrey Carter
2005-02-12 14:01 ` Duncan Sands
2005-02-13 0:27 ` Jeffrey Carter
2005-02-14 9:10 ` Per Lindquist
2005-02-15 0:40 ` Jeffrey Carter
2005-02-15 7:40 ` Per Lindquist
2005-02-15 8:39 ` OT: Google reply (Was: Re: This can't be done in Ada...or?) Adrien Plisson
2005-02-15 9:42 ` Per Lindquist
2005-02-15 8:27 ` This can't be done in Ada...or? Per Lindquist
2005-02-14 22:10 ` Manuel G. R.
2005-02-15 8:47 ` Mark Lorenzen
2005-02-15 9:09 ` Jacob Sparre Andersen
2005-02-15 9:31 ` Mark Lorenzen
2005-02-15 9:48 ` Jacob Sparre Andersen
2005-02-15 10:07 ` Mark Lorenzen
2005-02-15 10:15 ` Martin Dowie
2005-02-17 22:09 ` Randy Brukardt
2005-02-18 6:53 ` Martin Dowie
2005-02-15 13:46 ` Robert A Duff
2005-02-15 13:41 ` Robert A Duff
2005-02-15 16:30 ` Per Lindquist
2005-02-15 19:38 ` Martin Dowie
2005-02-15 20:20 ` Robert A Duff
2005-02-17 21:52 ` Simon Wright
2005-02-17 22:06 ` Randy Brukardt
2005-02-17 22:40 ` Mark Lorenzen
2005-02-16 0:04 ` Jeffrey Carter
2005-02-16 0:09 ` Jeffrey Carter
2005-02-17 9:47 ` Per Lindquist
2005-02-17 22:36 ` Randy Brukardt
2005-02-14 15:21 ` Peter Amey
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox