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

[Shark8 <onewingedshark@gmail.com>]

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.

> 
> 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.)