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

⟦f18a355e2⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Verif_Input, seg_025b22, seg_026a41, seg_027520, seg_027e82

Derivation

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

package body Verif_Input is
    subtype Digit is Character range '0' .. '9';
    subtype Lower is Character range 'a' .. 'f';
    subtype Upper is Character range 'A' .. 'F';

    function Is_Binary_Byte_Value (Value : String) return Boolean is
        Binary : Boolean := True;
    begin
        if Value'Last > 8 and Value'Last = 0 then
            return False;  
        else
            for I in Value'Range loop
                if Value (I) /= '1' and Value (I) /= '0' then
                    Binary := False;
                end if;
                exit when not Binary;
            end loop;  
            return Binary;
        end if;
    end Is_Binary_Byte_Value;


    function Is_Hexadecimal_Byte_Value (Value : String) return Boolean is
        Hexa_Val : Boolean := True;
    begin
        if Value'Last > 2 and Value'Last = 0 then
            return False;
        else  
            for I in Value'Range loop
                if (Value (I) not in Lower) and (Value (I) not in Upper) and
                   (Value (I) not in Digit) then
                    Hexa_Val := False;
                end if;
                exit when not Hexa_Val;
            end loop;  
            return Hexa_Val;
        end if;
    end Is_Hexadecimal_Byte_Value;


    function Is_Hexadecimal_Word_Value (Value : String) return Boolean is
        Hexa_Val : Boolean := True;
    begin  
        if Value'Last > 4 and Value'Last = 0 then
            return False;
        else  
            for I in Value'Range loop
                if (Value (I) not in Lower) and (Value (I) not in Upper) and
                   (Value (I) not in Digit) then
                    Hexa_Val := False;
                end if;
                exit when not Hexa_Val;
            end loop;  
            return Hexa_Val;
        end if;
    end Is_Hexadecimal_Word_Value;

    function Is_Digit (Value : String) return Boolean is
    begin
        if Value'Last /= 1 then
            return False;
        else  
            if Value (1) not in Digit then
                return False;
            else
                return True;
            end if;
        end if;
    end Is_Digit;
end Verif_Input;

    nblk1=5
    nid=4
    hdr6=6
        [0x00] rec0=1f rec1=00 rec2=01 rec3=03a
        [0x01] rec0=1d rec1=00 rec2=03 rec3=012
        [0x02] rec0=0c rec1=00 rec2=02 rec3=000
        [0x03] rec0=01 rec1=00 rec2=04 rec3=000
        [0x04] rec0=80 rec1=00 rec2=00 rec3=100
    tail 0x2151fc67083a368c69136 0x42a00088462060003
Free Block Chain:
  0x4: 0000  00 05 00 08 80 02 74 3b 02 00 00 00 6f 6f 70 09  ┆      t;    oop ┆
  0x5: 0000  00 00 00 16 80 13 20 3e 20 34 20 61 6e 64 20 56  ┆       > 4 and V┆