Re: Actual stream of a certain type

[Marius Amado-Alves <marius@amado-alves.info>]

>    procedure Write_T (Stream : in out T_Stream; Item : T'Class) is
>    begin
>       Foobar (Stream, Item);
>    end Write_T;
>
>    procedure Write
>              (  Stream : access Ada.Streams.Root_Stream_Type'Class;
>                 Item   : T
>              )  is
>    begin
>       if Stream.all not in T_Stream'Class then
>          raise Actual_Stream_Must_Be_A_T_Stream;
>       else
>          Write_T (T_Stream'Class (Stream.all), Item);
>       end if;
>    end Write;

Thanks a lot! I'll try this. I did not try it before because I  
thought the call to Write_T on Write would not pass Stream as a  
variable, i.e. the conversion would create a read-only view. But if  
you wrote it, it must be one of those Ada idiosyncrasies. Thanks a lot.