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 - download

⟦a078583ee⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Booleen, seg_02e1ad

Derivation

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

with Text_Io;

package body Booleen is
    function True return Object is
    begin
        return B_True;
    end True;


    function False return Object is
    begin
        return B_False;
    end False;


    function "not" (From : in Object) return Object is
    begin
        if From = True then
            return False;
        else
            return True;
        end if;
    end "not";


    function "and" (Left, Right : in Object) return Object is
    begin
        if Left = True then
            if Right = True then
                return True;
            end if;
        end if;
        return False;
    end "and";


    function "or" (Left, Right : in Object) return Object is
    begin
        if Left = False then
            if Right = False then
                return False;
            end if;
        end if;
        return True;
    end "or";


    function "xor" (Left, Right : in Object) return Object is
    begin
        if Left = Right then
            return True;
        else
            return False;
        end if;
    end "xor";


    function ">=" (Left, Right : in Object) return Object is
    begin
        if Object'Pos (Left) >= Object'Pos (Right) then
            return True;
        else
            return False;
        end if;
    end ">=";

    procedure Put (B : in Object) is

    begin
        if B = False then
            Text_Io.Put ("0");
        else
            Text_Io.Put ("1");
        end if;
    end Put;


end Booleen;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=31 rec1=00 rec2=01 rec3=05c
        [0x01] rec0=1f rec1=00 rec2=02 rec3=001
    tail 0x21726bf1e847b7c863fab 0x42a00088462060003