DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

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 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦a81100162⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body File, seg_02f2e2, separate Lexical

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

separate (Lexical)
package body File is

    Current_Char : Character;
    Look_A_Head : Boolean;

    procedure Open (A_File : Text_Io.File_Type) is
    begin
        Look_A_Head := False;  
    end Open;


    function At_End (A_File : Text_Io.File_Type) return Boolean is
    begin
        if Look_A_Head then
            if Current_Char = Ascii.Eot then
                return True;
            else
                return False;
            end if;
        else
            return False;
        end if;

    end At_End;


    procedure Next (A_File : Text_Io.File_Type) is
    begin
        if not Look_A_Head then
            if Text_Io.End_Of_File (File => A_File) then
                Current_Char := Ascii.Eot;
            else
                if Text_Io.End_Of_Line (File => A_File) then
                    Current_Char := Ascii.Cr;
                    Text_Io.Skip_Line (File => A_File);
                else
                    Text_Io.Get (File => A_File, Item => Current_Char);
                end if;
            end if;
        else
            Look_A_Head := False;
        end if;
    end Next;


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


    function Get (A_File : Text_Io.File_Type) return Character is
    begin
        Next (A_File);
        return Value (A_File);
    end Get;


    procedure Unget (A_File : Text_Io.File_Type) is
    begin
        Look_A_Head := True;
    end Unget;
end File;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=27 rec1=00 rec2=01 rec3=024
        [0x01] rec0=1c rec1=00 rec2=02 rec3=001
    tail 0x21727f98e848c5711aa2f 0x42a00088462060003