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

⟦3b1e49eba⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package System, seg_05095c

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 (Power_Self);

    System_Name : constant Name := Power_Self;

    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 := 64 * 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 Passive_Task_Id is private;
    No_Passive_Task_Id : constant Passive_Task_Id;

    subtype Sig_Status_T is Integer;
    Sig_Status_Size : constant := 4;

    type Program_Id is private;
    No_Program_Id : constant Program_Id;

    type Byte_Order_T is (Little_Endian, Big_Endian);
    Byte_Order : constant Byte_Order_T := Big_Endian;

    type Long_Address is private;

    No_Long_Addr : constant Long_Address;

    function "+" (A : Long_Address; I : Integer) return Long_Address;
    function "-" (A : Long_Address; I : Integer) return Long_Address;

    function Make_Long_Address (A : Address) return Long_Address;

    function Localize (A : Long_Address; Byte_Size : Integer) return Address;

    function Station_Of (A : Long_Address) return Integer;

    -- Internal RTS representation for day. If the calendar package is used,
    -- then, this is the julian day.
    subtype Day_T is Integer;

    -- Constants describing the configuration of the CIFO add-on product.
    Supports_Invocation_By_Address : constant Boolean := True;
    Supports_Preelaboration : constant Boolean := True;
    Make_Access_Supported : constant Boolean := True;

    -- Arguments to the CIFO pragma INTERRUPT_TASK.
    type Interrupt_Task_Kind is (Simple, Signalling);


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 Passive_Task_Id is new Unsigned_Types.Unsigned_Integer;
    No_Passive_Task_Id : constant Passive_Task_Id := 0;

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


    type Long_Address is new Unsigned_Types.Unsigned_Integer;

    No_Long_Addr : constant Long_Address := 0;


    pragma Built_In (Make_Long_Address);
    pragma Built_In (Localize);
    pragma Built_In (Station_Of);


end System;

    nblk1=4
    nid=0
    hdr6=8
        [0x00] rec0=24 rec1=00 rec2=01 rec3=04e
        [0x01] rec0=1f rec1=00 rec2=02 rec3=06c
        [0x02] rec0=1e rec1=00 rec2=03 rec3=008
        [0x03] rec0=1a rec1=00 rec2=04 rec3=000
    tail 0x21757fd26878e789fded4 0x42a00088462060003