Re: new_line in a put_line

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> >    procedure Put_Line (Text : String) is
> >       Get_It : Lock (Write_Mutex'Access);
> >    begin
> >       Ada.Text_IO.Put_Line (Text);
> >    end Put_Line;
> 
> Something inside me rebels at using side-effects from a declaration
> like that.  I can't really talk; my database library unlocks objects
> as they go out of scope, but ... well, I know that code gets executed
> in declarations, but I don't necessarily want to be this aware of it.
> 
> On the other hand, it's just a monitor, I shouldn't be so scared :)

This is exactly the kind of use limited controlled types are destined for.
There is a paragraph in the AARM stating that such a (seemingly unused) object 
(Get_It) must not be optimized away.

For unlimited controlled types, this does not hold, i.e. they may be optimized 
away.