DataMuseum.dk

top - metrics - download

    Length: 2983 (0xba7)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;

package body Fichier_Io is


    function At_End (Fichier_Source : in Text_Io.File_Type) return Boolean is
    begin
        if Look_A_Head then
            return False;
        else
            return Text_Io.End_Of_File (Fichier_Source);
        end if;

    end At_End;


    function Get (Fichier_Source : in Text_Io.File_Type) return Character is
    begin  
        if Look_A_Head then
            Look_A_Head := False;

        else
            if At_End (Fichier_Source) then
                Current_Char := Ascii.Eot;
            else
                if Text_Io.End_Of_Line (Fichier_Source) then
                    Text_Io.Skip_Line (Fichier_Source);
                    Current_Char := Ascii.Cr;


                else
                    Text_Io.Get (Fichier_Source, Current_Char);

                end if;
            end if;
        end if;
        return Current_Char;
    end Get;

    function Value (Fichier_Source : in Text_Io.File_Type) return Character is
    begin
        return Current_Char;
    end Value;


    procedure Close (Fichier_Source : in out Text_Io.File_Type) is
    begin
        Text_Io.Close (Fichier_Source);
    end Close;

    procedure Next (Fichier_Source : in Text_Io.File_Type) is
    begin
        if (Look_A_Head) then
            Look_A_Head := False;
        else
            Text_Io.Get (Fichier_Source, Current_Char);
        end if;
    end Next;

    procedure Open (Fichier_Source : in out Text_Io.File_Type;
                    Name : in String) is
    begin
        Text_Io.Open (Fichier_Source, Text_Io.In_File, Name);
        Look_A_Head := False;
    end Open;


    procedure Unget (Fichier_Source : in Text_Io.File_Type) is
    begin
        Look_A_Head := True;
    end Unget;

    procedure Create (Fichier_Source : in out Text_Io.File_Type;
                      Mode : Text_Io.File_Mode := Text_Io.Out_File;
                      Name : in String) is

    begin
        Text_Io.Create (Fichier_Source, Text_Io.Out_File, Name);
    end Create;

    procedure Put (Fichier_Source : in out Text_Io.File_Type; Item : String) is
    begin
        Text_Io.Put (Fichier_Source, Item);
    end Put;
    procedure Put (Fichier_Source : in out Text_Io.File_Type; Item : Integer) is

    begin
        Text_Io.Put (Fichier_Source, Integer'Image (Item));
    end Put;

    procedure Put_Line
                 (Fichier_Source : in out Text_Io.File_Type; Item : String) is
    begin
        Text_Io.Put_Line (Fichier_Source, Item);
    end Put_Line;

    procedure Set_Col (Fichier_Source : in out Text_Io.File_Type;
                       To : Text_Io.Positive_Count) is
    begin  
        Text_Io.Set_Col (Fichier_Source, Text_Io.Positive_Count (To));
    end Set_Col;
    procedure Unset_Col (Fichier_Source : in out Text_Io.File_Type;
                         To : Text_Io.Positive_Count) is
    begin
        Text_Io.Set_Col (Fichier_Source, Text_Io.Positive_Count (To));
    end Unset_Col;

end Fichier_Io;