Re: new_line in a put_line

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

> You might also pack seizing the mutex into a "proxy" object
> (File_Channel):
> 
>    type File_Channel is limited private;
>    procedure Put (File : in out File_Channel; Text : String);
>    procedure Put_Line (File : in out File_Channel; Text : String);
>    procedure New_Line (File : in out File_Channel; Text : String);
> ...
> private
>    type File_Channel is
>       new Ada.Finalization.Limited_Controlled with null record;
>    procedure Initialize (File : in out File_Channel);
>    procedure Finalize (File : in out File_Channel);
> 
> Initialize would seize the mutex, Finalize would release it. Thus only
> one instance of File_Channel may exist at a time.

No, nothing prevents you from declaring lots of File_Channel objects concurrently, even 
arrays of them.