Re: Ada.Text_IO.File_Type object with user defined Get and Put subprograms.

[Blady <p.p11@orange.fr>]

Le 31/07/2020 à 20:19, Shark8 a écrit :
> On Thursday, July 30, 2020 at 2:21:10 PM UTC-6, Blady wrote:
>> Hello,
>>
>> Given a legacy code calling many Put_Line from Ada.Text_IO which works
>> nice in a Terminal, I want to add a mode which sends these outputs to
>> another process without changing the legacy code too much.
>> And I want to keep the Terminal mode.
>>
>> Is there a way to create a File_Type object (from Ada.Text_IO) which
>> would have user defined Get and Put subprograms instead of the
>> predefined ones of the file system?
> 
> Kind of; I have a generic interface-package that I use for dealing with text-io and its permutations.
> 
> I just published it on github: https://github.com/OneWingedShark/EVIL/tree/master/src
> It's part of what's intended to be a verified, general purpose library -- though I'm still teaching myself SPARK -- and so I've only published the file-interfacing utility portion.

Have you an example of how to use it?

>> Thus in my case, I will create a custom File_Type object My_Output with
>> the user define Put which will send the lines to the other process and
>> then I will call "Set_Output (My_Ouput);" before the legacy code.
> 
> It might be a better idea to have them as TASKs and in a single program, selecting and/or creating/executing the proper task ass needed. (If you have access to the legacy-program sources, you could wrap them or their interfaces in the TASK.)

Yes, I'll try in that way.