DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ T V ┃

⟦766eed9da⟧ TextFile

    Length: 1998 (0x7ce)
    Types: TextFile
    Names: »V«

Derivation

└─⟦516dceb10⟧ Bits:30000751 8mm tape, Rational 1000, RCI_VADS
    └─ ⟦9a14c9417⟧ »DATA« 
        └─⟦this⟧

TextFile

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;