DataMuseum.dk

top - download

    Length: 696 (0x2b8)
    Types: TextFile
    Names: »L«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

package body File is
    procedure File_Open (File : Text_Io.File_Type) is
    begin
        [statement]
    end File_Open;


    procedure File_At_End (File : Text_Io.File_Type) is
    begin
        [statement]
    end File_At_End;


    procedure File_Next (File : Text_Io.File_Type) is
    begin
        [statement]
    end File_Next;


    function File_Value (File : Text_Io.File_Type) return Character is
    begin
        [statement]
    end File_Value;


    function File_Get (File : Text_Io.File_Type) return Character is
    begin
        [statement]
    end File_Get;


    procedure File_Unget (File : Text_Io.File_Type) is
    begin
        [statement]
    end File_Unget;
end File;