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

⟦d53cbb4a3⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package System, seg_03bd97

Derivation

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

with Unsigned_Types;
package System is

    -- pragma Suppress (All_Checks);
    -- pragma Suppress (Exception_Tables);
    -- pragma Not_Elaborated;

    type Name is (Sun4_Cross_68000);

    System_Name : constant Name := Sun4_Cross_68000;

    Storage_Unit : constant := 8;
    Memory_Size : constant := 16_777_216;

    -- System-Dependent Named Numbers

    Min_Int : constant := -2_147_483_648;
    Max_Int : constant := 2_147_483_647;
    Max_Digits : constant := 15;
    Max_Mantissa : constant := 31;
    Fine_Delta : constant := 2.0 ** (-31);
    Tick : constant := 0.01;

    -- Other System-dependent Declarations

    subtype Priority is Integer range 0 .. 99;

    Max_Rec_Size : Integer := 1024;

    type Address is private;

    function ">" (A : Address; B : Address) return Boolean;
    function "<" (A : Address; B : Address) return Boolean;
    function ">=" (A : Address; B : Address) return Boolean;
    function "<=" (A : Address; B : Address) return Boolean;
    function "-" (A : Address; B : Address) return Integer;
    function "+" (A : Address; I : Integer) return Address;
    function "-" (A : Address; I : Integer) return Address;

    function "+" (I : Unsigned_Types.Unsigned_Integer) return Address;

    function Memory_Address (I : Unsigned_Types.Unsigned_Integer) return Address
        renames "+";

    No_Addr : constant Address;

    type Task_Id is private;
    No_Task_Id : constant Task_Id;

    type Program_Id is private;
    No_Program_Id : constant Program_Id;

private

    type Address is new Unsigned_Types.Unsigned_Integer;

    No_Addr : constant Address := 0;

    pragma Built_In (">");
    pragma Built_In ("<");
    pragma Built_In (">=");
    pragma Built_In ("<=");
    pragma Built_In ("-");
    pragma Built_In ("+");

    type Task_Id is new Unsigned_Types.Unsigned_Integer;
    No_Task_Id : constant Task_Id := 0;

    type Program_Id is new Unsigned_Types.Unsigned_Integer;
    No_Program_Id : constant Program_Id := 0;

end System;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=24 rec1=00 rec2=01 rec3=02e
        [0x01] rec0=22 rec1=00 rec2=02 rec3=01e
        [0x02] rec0=04 rec1=00 rec2=03 rec3=000
    tail 0x21739b6428565741869dd 0x42a00088462060003