DataMuseum.dk

top - metrics - download

    Length: 1847 (0x737)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;

package body Umps_Utilities is

    function Normalize (S : in String; Length : in Positive) return String is
    begin
        if S'Length > Length then
            return S (S'First .. S'First + Length - 1);
        else
            return S & (1 .. Length - S'Length => ' ');
        end if;
    end Normalize;

    procedure Text_File_Copy (From : in String; To : in String) is
        File_From, File_To : Text_Io.File_Type;
        String_Long_Enough : String (1 .. 512);
        Last : Natural;
        File_From_Opened : Boolean := False;
        File_To_Opened : Boolean := False;
    begin
        Text_Io.Open (File_From, Text_Io.In_File, From);
        File_From_Opened := True;
        Text_Io.Open (File_To, Text_Io.Out_File, To);
        File_To_Opened := True;
        while not Text_Io.End_Of_File (File_From) loop
            Text_Io.Get_Line (File_From, String_Long_Enough, Last);
            Text_Io.Put_Line (File_To, String_Long_Enough (1 .. Last));
        end loop;
        Text_Io.Close (File_From);
        Text_Io.Close (File_To);
    exception
        when Text_Io.Name_Error =>
            if not File_From_Opened then
                Text_Io.Put_Line ("The file " & From & "doesn't exist");
            else
                if not File_To_Opened then
                    Text_Io.Create (File_To, Text_Io.Out_File, To);
                    while not Text_Io.End_Of_File (File_From) loop
                        Text_Io.Get_Line (File_From, String_Long_Enough, Last);
                        Text_Io.Put_Line (File_To,
                                          String_Long_Enough (1 .. Last));
                    end loop;
                    Text_Io.Close (File_From);
                    Text_Io.Close (File_To);
                end if;
            end if;
    end Text_File_Copy;

end Umps_Utilities;