DataMuseum.dk

top - metrics - download

    Length: 3900 (0xf3c)
    Types: TextFile
    Names: »V«

└─⟦25882cbde⟧ Bits:30000536 8mm tape, Rational 1000, RCI_RS6000_AIX_IBM 2_0_2
    └─⟦b8efda8ac⟧ »DATA« 
        └─⟦7061b4ee8⟧ 
            └─⟦this⟧ 

TextFile

with Directory;
with Directory_Tools;
with Io;
with Remote_Command_Interface;
with Simple_Status;
package Batch_Extensions is
    procedure Build_Script_Preprocess
                 (Compilation_Script_File : Io.File_Type;
                  Move_Script_File : Io.File_Type;
                  Build_Via_Tape : Boolean;
                  Host_Units : Directory_Tools.Object.Iterator;
                  Link_Main_Units : Boolean;
                  Remote_Machine : String;  
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called before the RCI begins writing into the batch script file.
    -- and the move file. This gives the customizer an opportunity
    -- to add commands to the script. The sequence is described
    -- as follows :-
    --   rci.build_script[_via_tape]
    --          build_script_pre_process
    --          if template specifies write_batch_compile_commands
    --              write default batch compile commands
    --          end if
    --          build_script_post_process
    --


    procedure Build_Script_Postprocess
                 (Compilation_Script_File : Io.File_Type;
                  Move_Script_File : Io.File_Type;
                  Build_Via_Tape : Boolean;
                  Host_Units : Directory_Tools.Object.Iterator;
                  Link_Main_Units : Boolean;
                  Remote_Machine : String;  
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called after the RCI writes default commands into
    -- the bath script file. This gives the customizer
    -- an oppurtunity to add commands to the script


    procedure Execute_Script_Preprocess
                 (Host_Script_Unit : Directory.Object;
                  Remote_Script_File : String;
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called before the RCI executes the batch script
    -- on the target. Provides the customizer with
    -- an opputunity to modify the script. The sequence is
    --          rci.execute_script (or rci.build_script(...,execute_script=>true)
    --              execute_script_pre_process
    --              if template specifies execute_batch_script
    --                 download and execute the script
    --              execute_script_post_process
    --

    procedure Execute_Script_Postprocess
                 (Host_Script_Unit : Directory.Object;
                  Remote_Script_File : String;
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called after the RCI executes the batch script
    -- on the target. Customizers could parse the results
    -- of the execution of the script.

    procedure Upload_Associated_Files_Preprocess
                 (Units : Directory_Tools.Object.Iterator;
                  Remote_Machine : String;
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called before the RCI uploads the associated files
    -- for all the specified units. The sequence is :-
    --      rci.upload_associated_files
    --          upload_associated_files_preprocess
    --          upload all associated files
    --          upload_associated_files_postprocess
    --

    procedure Upload_Associated_Files_Postprocess
                 (Units : Directory_Tools.Object.Iterator;
                  Remote_Machine : String;
                  Remote_Connection : Remote_Command_Interface.Context;
                  Status : in out Simple_Status.Condition);
    -- Called after RCI uploads the associated files for all
    -- the specified units
end Batch_Extensions;