comp.lang.ada
 help / color / mirror / Atom feed
* Javadoc-like for Ada
@ 2004-10-07 10:40 Alex R. Mosteo
  2004-10-07 11:46 ` stephane richard
  2004-10-11 22:53 ` Javadoc-like for Ada Lionel Draghi
  0 siblings, 2 replies; 53+ messages in thread
From: Alex R. Mosteo @ 2004-10-07 10:40 UTC (permalink / raw)


Hi,

I'm insterested in some doc generation tool ala javadoc; i.e. that not 
only creates a listing like gnathtml but also capable of extracting 
explanations from properly formatted comments in the specification.

I've heard good things about doxygen and I'm going to review it to see 
if it's suitable for Ada.

Any other options I should consider?

Thanks in advance,

A. Mosteo.



^ permalink raw reply	[flat|nested] 53+ messages in thread
* Re: Problem with -gnatt
@ 2004-10-20  1:34 Stephen Leake
  2004-10-20  6:37 ` Matthew Heaney
  2004-10-20  9:19 ` Pascal Obry
  0 siblings, 2 replies; 53+ messages in thread
From: Stephen Leake @ 2004-10-20  1:34 UTC (permalink / raw)
  To: comp.lang.ada

"Matthew Heaney" <mheaney@on2.com> writes:

> "Alex R. Mosteo" <devnull@mailinator.com> wrote in message
> news:417377F7.7050506@mailinator.com...
> >
> > Sole instance of a Map:
> >
>
http://deepsix.homeip.net/svn/Adagio%20head/src/download/adagio-download-manager.adb
> 
> Note that protected operations should only execute "for a short time."  

I wish Robert Dewar were here. I suspect he would say something like
"Rubbish!".

"a short time" is not definable in any meaningful _standard_ way. It
is _totally_ up to the user to decide what that means.

If your application can afford to wait an hour for a protected object,
then an hour is "a short time". 

> Your Http_Report_Downloads protected operation could take longer
> than a "short time," if the map is large. Consider using a semaphore
> style lock, something like:
> 
> procedure Http_Report_Downloads (...) is
>    Control : Control_Type (Semaphore'Access);
> begin
>    ... -- safely manipulate map that you now have locked
> end;
> 

Since the user can forget to declare the Control object, this is _not_
as safe as wrapping the operations in a protected type.


-- Stephe
___________________________________________________________
This mail sent using ToadMail -- Web based e-mail @ ToadNet



^ permalink raw reply	[flat|nested] 53+ messages in thread
* Re: Problem with -gnatt
@ 2004-10-20 13:22 Stephen Leake
  2004-10-20 15:08 ` Pascal Obry
  0 siblings, 1 reply; 53+ messages in thread
From: Stephen Leake @ 2004-10-20 13:22 UTC (permalink / raw)
  To: comp.lang.ada

Pascal Obry <pascal@obry.org> writes:

> Stephen Leake <stephen_leake@acm.org> writes:
> 
> > > Note that protected operations should only execute "for a short time."  
> > 
> > I wish Robert Dewar were here. I suspect he would say something like
> > "Rubbish!".
> 
> Well I don't know what Robert would say, but for sure you can't use IO inside
> a protected object routine.

Hmm. If by "IO" you mean "an operation that does input output to some
hardware", then that's not true; the LRM says nothing about hardware.
And a protected type is a good way to serialize access to hardware.

On the other hand, if by "IO" you mean "a potentially blocking
operation that does input output to some hardware", then true, the LRM
say "you can't do blocking operations in protected operations".

However, Robert Dewar has called that requirement "rubish" as well,
since it is impossible to enforce in general.

Calling Ada.Text_IO.Put_Line from a protected object "works" in some
implmentations (GNAT on MS Windows), not in others (GNAT on LynxOS).
It is _not_ portable, since it is forbidden by the language, since
Ada.Text_IO.Put_Line is _defined_ _by the language_ to be a
"potentially blocking operation".

> > "a short time" is not definable in any meaningful _standard_ way.
> > It is _totally_ up to the user to decide what that means.
> 
> Ok.
> 
> > If your application can afford to wait an hour for a protected object,
> > then an hour is "a short time". 
> 
> An hour without a single IO ?

An hour without a blocking operation. I'm computing PI, or filtering
for ET messages, or something. And I'm on a really slow machine. Ada must
work in a _very_ wide range of circumstances!

> So "for a short time" is certainly something (even if not formal) we
> have to keep in mind.

No, "blocking operations" is what we have to keep in mind.

-- 
-- Stephe
___________________________________________________________
This mail sent using ToadMail -- Web based e-mail @ ToadNet



^ permalink raw reply	[flat|nested] 53+ messages in thread
end of thread, other threads:[~2004-10-24  8:54 UTC | newest]

Thread overview: 53+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-10-07 10:40 Javadoc-like for Ada Alex R. Mosteo
2004-10-07 11:46 ` stephane richard
2004-10-07 13:05   ` Marc A. Criley
2004-10-07 13:39     ` Alex R. Mosteo
2004-10-07 16:51       ` Problem with -gnatt (was Re: Javadoc-like for Ada) Alex R. Mosteo
2004-10-07 18:43         ` Marc A. Criley
2004-10-07 20:07           ` Björn Persson
2004-10-08  8:40           ` Alex R. Mosteo
2004-10-07 19:21         ` Problem with -gnatt Ludovic Brenta
2004-10-08  8:45           ` Alex R. Mosteo
2004-10-08  9:43             ` Martin Dowie
2004-10-08 13:09               ` Alex R. Mosteo
2004-10-09 14:17                 ` Stephen Leake
2004-10-15 20:11                   ` Matthew Heaney
2004-10-18  7:59                     ` Alex R. Mosteo
2004-10-08 16:52             ` Ludovic Brenta
2004-10-09 14:16             ` Stephen Leake
2004-10-09 14:45               ` Jeff C r e e.m
2004-10-10 12:25                 ` Ludovic Brenta
2004-10-10 14:42                 ` Stephen Leake
2004-10-15 20:03               ` Matthew Heaney
2004-10-16 13:16                 ` Stephen Leake
2004-10-15 20:00             ` Matthew Heaney
2004-10-15 20:06             ` Matthew Heaney
2004-10-18  7:59               ` Alex R. Mosteo
2004-10-18 16:48                 ` Matthew Heaney
2004-10-18 18:21                   ` Alex R. Mosteo
2004-10-19  0:20                     ` Matthew Heaney
2004-10-19  2:41                       ` Brian May
2004-10-19  3:08                         ` Matthew Heaney
2004-10-19  7:15                           ` Alex R. Mosteo
2004-10-19 14:52                             ` Matthew Heaney
2004-10-19 15:46                               ` Alex R. Mosteo
2004-10-19 20:03                                 ` Matthew Heaney
2004-10-19 20:38                                   ` Alex R. Mosteo
2004-10-23  6:28                                   ` Brian May
2004-10-24  5:45                                     ` Jeffrey Carter
2004-10-24  8:54                                       ` Dmitry A. Kazakov
2004-10-20  1:20                         ` Jeffrey Carter
2004-10-20 14:48                           ` Matthew Heaney
2004-10-19  7:36                       ` Alex R. Mosteo
2004-10-20  5:19                         ` Simon Wright
2004-10-20  7:59                           ` Alex R. Mosteo
2004-10-11 22:53 ` Javadoc-like for Ada Lionel Draghi
  -- strict thread matches above, loose matches on Subject: below --
2004-10-20  1:34 Problem with -gnatt Stephen Leake
2004-10-20  6:37 ` Matthew Heaney
2004-10-20  9:19 ` Pascal Obry
2004-10-20 13:22 Stephen Leake
2004-10-20 15:08 ` Pascal Obry
2004-10-20 16:23   ` Alex R. Mosteo
2004-10-20 16:38     ` Pascal Obry
2004-10-20 20:05       ` Alex R. Mosteo
2004-10-23 20:12       ` Niklas Holsti

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox