DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download
Index: ┃ T V

⟦ca0f1eddd⟧ TextFile

    Length: 10166 (0x27b6)
    Types: TextFile
    Names: »V«

Derivation

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with Ftp_Defs;
with Ftp_Name_Map;
with Ftp_Profile;
with Profile;

generic
    with function Local_To_Remote
                     (File_Name   : String;
                      Local_Roof  : String;
                      Remote_Roof : String;
                      Remote_Type : Ftp_Name_Map.Machine_Type) return String;

    -- Return the remote file name corresponding
    -- to the given local File_Name.

    with function Remote_To_Local
                     (File_Name   : String;
                      Local_Roof  : String;
                      Remote_Roof : String;
                      Remote_Type : Ftp_Name_Map.Machine_Type) return String;

    -- Return the local file name corresponding
    -- to the given remote File_Name.

package Transfer_Generic is

    pragma Subsystem (Ftp_Interface, Private_Part => Closed);
    pragma Module_Name (4, 3541);

    -- This package helps you to create 'customized' versions of
    -- commands in package Ftp.  Specifically, you can replace
    -- the standard Ftp name mapping functions (from Ftp_Name_Map)
    -- with your own, customized name mapping functions.

    -- The multi-file Ftp operations (Put_Set, Get_Set, Get_List,
    -- Store_Set, Retrieve_Set, Retrieve_List) use name mapping
    -- functions for converting between remote and local filenames.
    -- The single-file operations (Put, Get, Store, Retrieve) also
    -- use these mappings if you omit the target file name.  These
    -- name mapping functions are defined in package Ftp_Name_Map.

    -- If the standard name mapping functions don't do what you
    -- need, you can supply your own (as the parameters to this
    -- generic) and use the resulting transfer operations instead
    -- of the ones in package Ftp.

    procedure Put (From_Local_File : String := "<IMAGE>";
                   To_Remote_File : String :=
                      "";      -- default => map local_name
                   Remote_Machine : String := Ftp_Profile.Remote_Machine;
                   Username : String := Ftp_Profile.Username;
                   Password : String := Ftp_Profile.Password;
                   Account : String := Ftp_Profile.Account;
                   Remote_Directory : String := Ftp_Profile.Remote_Directory;
                   Remote_Type : Ftp_Name_Map.Machine_Type :=
                      Ftp_Profile.Remote_Type;
                   Append_To_File : Boolean := False;
                   Transfer_Type : Ftp_Defs.Type_Code :=
                      Ftp_Profile.Transfer_Type;
                   Transfer_Mode : Ftp_Defs.Mode_Code :=
                      Ftp_Profile.Transfer_Mode;
                   Transfer_Structure : Ftp_Defs.Structure_Code :=
                      Ftp_Profile.Transfer_Structure;
                   Send_Port : Boolean := Ftp_Profile.Send_Port_Enabled;
                   Response : Profile.Response_Profile := Profile.Get);

    procedure Get (From_Remote_File : String := "";
                   To_Local_File : String := "";
                   Remote_Machine : String := Ftp_Profile.Remote_Machine;
                   Username : String := Ftp_Profile.Username;
                   Password : String := Ftp_Profile.Password;
                   Account : String := Ftp_Profile.Account;
                   Remote_Directory : String := Ftp_Profile.Remote_Directory;
                   Remote_Type : Ftp_Name_Map.Machine_Type :=
                      Ftp_Profile.Remote_Type;
                   Append_To_File : Boolean := False;
                   Transfer_Type : Ftp_Defs.Type_Code :=
                      Ftp_Profile.Transfer_Type;
                   Transfer_Mode : Ftp_Defs.Mode_Code :=
                      Ftp_Profile.Transfer_Mode;
                   Transfer_Structure : Ftp_Defs.Structure_Code :=
                      Ftp_Profile.Transfer_Structure;
                   Send_Port : Boolean := Ftp_Profile.Send_Port_Enabled;
                   Response : Profile.Response_Profile :=
                      Ftp_Profile.Profile_Get);

    procedure Store (From_Local_File : String := "<IMAGE>";
                     To_Remote_File  : String := "";
                     Remote_Type     : Ftp_Name_Map.Machine_Type;
                     Append_To_File  : Boolean := False;
                     Response        : Profile.Response_Profile := Profile.Get;
                     Account         : String := Ftp_Profile.Account);

    procedure Retrieve (From_Remote_File : String := "";
                        To_Local_File : String := "";
                        Remote_Type : Ftp_Name_Map.Machine_Type;
                        Append_To_File : Boolean := False;
                        Response : Profile.Response_Profile := Profile.Get;
                        Account : String := Ftp_Profile.Account);

    procedure Put_Set (From_Local_File_Set : String := "<IMAGE>";
                       Local_Roof : String := "$";
                       Remote_Roof : String := Ftp_Profile.Remote_Roof;
                       Remote_Machine : String := Ftp_Profile.Remote_Machine;
                       Username : String := Ftp_Profile.Username;
                       Password : String := Ftp_Profile.Password;
                       Account : String := Ftp_Profile.Account;
                       Remote_Directory : String :=
                          Ftp_Profile.Remote_Directory;
                       Remote_Type : Ftp_Name_Map.Machine_Type :=
                          Ftp_Profile.Remote_Type;
                       Append_To_File : Boolean := False;
                       Transfer_Type : Ftp_Defs.Type_Code :=
                          Ftp_Profile.Transfer_Type;
                       Transfer_Mode : Ftp_Defs.Mode_Code :=
                          Ftp_Profile.Transfer_Mode;
                       Transfer_Structure : Ftp_Defs.Structure_Code :=
                          Ftp_Profile.Transfer_Structure;
                       Send_Port : Boolean := Ftp_Profile.Send_Port_Enabled;
                       Response : Profile.Response_Profile := Profile.Get);

    procedure Get_Set (From_Remote_File_Set : String := "";
                       Local_Roof : String := "$";
                       Remote_Roof : String := Ftp_Profile.Remote_Roof;
                       Remote_Machine : String := Ftp_Profile.Remote_Machine;
                       Username : String := Ftp_Profile.Username;
                       Password : String := Ftp_Profile.Password;
                       Account : String := Ftp_Profile.Account;
                       Remote_Directory : String :=
                          Ftp_Profile.Remote_Directory;
                       Remote_Type : Ftp_Name_Map.Machine_Type :=
                          Ftp_Profile.Remote_Type;
                       Append_To_File : Boolean := False;
                       Transfer_Type : Ftp_Defs.Type_Code :=
                          Ftp_Profile.Transfer_Type;
                       Transfer_Mode : Ftp_Defs.Mode_Code :=
                          Ftp_Profile.Transfer_Mode;
                       Transfer_Structure : Ftp_Defs.Structure_Code :=
                          Ftp_Profile.Transfer_Structure;
                       Send_Port : Boolean := Ftp_Profile.Send_Port_Enabled;
                       Response : Profile.Response_Profile := Profile.Get);

    procedure Get_List (Remote_File_List : String := "";
                        Local_Roof : String := "$";
                        Remote_Roof : String := Ftp_Profile.Remote_Roof;
                        Remote_Machine : String := Ftp_Profile.Remote_Machine;
                        Username : String := Ftp_Profile.Username;
                        Password : String := Ftp_Profile.Password;
                        Account : String := Ftp_Profile.Account;
                        Remote_Directory : String :=
                           Ftp_Profile.Remote_Directory;
                        Remote_Type : Ftp_Name_Map.Machine_Type :=
                           Ftp_Profile.Remote_Type;
                        Append_To_File : Boolean := False;
                        Transfer_Type : Ftp_Defs.Type_Code :=
                           Ftp_Profile.Transfer_Type;
                        Transfer_Mode : Ftp_Defs.Mode_Code :=
                           Ftp_Profile.Transfer_Mode;
                        Transfer_Structure : Ftp_Defs.Structure_Code :=
                           Ftp_Profile.Transfer_Structure;
                        Send_Port : Boolean := Ftp_Profile.Send_Port_Enabled;
                        Response : Profile.Response_Profile := Profile.Get);

    procedure Store_Set (From_Local_File_Set : String := "<IMAGE>";
                         Local_Roof : String := "$";
                         Remote_Roof : String :=
                            Ftp_Profile.Current_Remote_Roof;
                         Remote_Type : Ftp_Name_Map.Machine_Type :=
                            Ftp_Profile.Current_Remote_Type;
                         Append_To_File : Boolean := False;
                         Response : Profile.Response_Profile := Profile.Get;
                         Account : String := Ftp_Profile.Account);

    procedure Retrieve_Set
                 (From_Remote_File_Set : String := "";
                  Local_Roof : String := "$";
                  Remote_Roof : String := Ftp_Profile.Current_Remote_Roof;
                  Remote_Type : Ftp_Name_Map.Machine_Type :=
                     Ftp_Profile.Current_Remote_Type;
                  Append_To_File : Boolean := False;
                  Response : Profile.Response_Profile := Profile.Get;
                  Account : String := Ftp_Profile.Account);

    procedure Retrieve_List
                 (Remote_File_List : String := "";
                  Local_Roof       : String := "$";
                  Remote_Roof      : String := Ftp_Profile.Current_Remote_Roof;
                  Remote_Type      : Ftp_Name_Map.Machine_Type :=
                     Ftp_Profile.Current_Remote_Type;
                  Append_To_File   : Boolean := False;
                  Response         : Profile.Response_Profile := Profile.Get;
                  Account          : String := Ftp_Profile.Account);

end Transfer_Generic;