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

⟦d374c8120⟧ Ada Source

    Length: 18432 (0x4800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Device, seg_01c479

Derivation

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

E3 Source Code



with Gl_System_Types;
package Device is
    type Device is new Gl_System_Types.Uint16;
    type Devices_Type is array (Natural range <>) of Device;
    pragma Pack (Devices_Type);
    type Device_Value_Type is new Gl_System_Types.Int16;
    type Device_Values_Type is array (Natural range <>) of Device_Value_Type;
    pragma Pack (Device_Values_Type);
    subtype Valuator_Value_Type is Device_Value_Type;
    type Event_Type is
        record
            The_Device : Device;
            Datum : Device_Value_Type;
        end record;
    for Event_Type use
        record
            The_Device at 0 range 0 .. 15;
            Datum at 0 range 16 .. 31;
        end record;
    type Events_Type is array (Natural range <>) of Event_Type;
    pragma Pack (Events_Type);
    Nulldev : constant Device := 0;
    Butoffset : constant Device := 1;
    Valoffset : constant Device := 256;
    Wmeoffset : constant Device := 513;
    Timoffset : constant Device := 515;
    Xkbdoffset : constant Device := 143;
    Inoffset : constant Device := 1024;
    Outoffset : constant Device := 1033;
    Butcount : constant Device := 173;
    Valcount : constant Device := 20;
    Timcount : constant Device := 4;
    Xkbdcount : constant Device := 31;
    Incount : constant Device := 8;
    Outcount : constant Device := 8;
    Wmecount : constant Device := 32;
    But0 : constant Device := 1;
    But1 : constant Device := 2;
    But2 : constant Device := 3;
    But3 : constant Device := 4;
    But4 : constant Device := 5;
    But5 : constant Device := 6;
    But6 : constant Device := 7;
    But7 : constant Device := 8;
    But8 : constant Device := 9;
    But9 : constant Device := 10;
    But10 : constant Device := 11;
    But11 : constant Device := 12;
    But12 : constant Device := 13;
    But13 : constant Device := 14;
    But14 : constant Device := 15;
    But15 : constant Device := 16;
    But16 : constant Device := 17;
    But17 : constant Device := 18;
    But18 : constant Device := 19;
    But19 : constant Device := 20;
    But20 : constant Device := 21;
    But21 : constant Device := 22;
    But22 : constant Device := 23;
    But23 : constant Device := 24;
    But24 : constant Device := 25;
    But25 : constant Device := 26;
    But26 : constant Device := 27;
    But27 : constant Device := 28;
    But28 : constant Device := 29;
    But29 : constant Device := 30;
    But30 : constant Device := 31;
    But31 : constant Device := 32;
    But32 : constant Device := 33;
    But33 : constant Device := 34;
    But34 : constant Device := 35;
    But35 : constant Device := 36;
    But36 : constant Device := 37;
    But37 : constant Device := 38;
    But38 : constant Device := 39;
    But39 : constant Device := 40;
    But40 : constant Device := 41;
    But41 : constant Device := 42;
    But42 : constant Device := 43;
    But43 : constant Device := 44;
    But44 : constant Device := 45;
    But45 : constant Device := 46;
    But46 : constant Device := 47;
    But47 : constant Device := 48;
    But48 : constant Device := 49;
    But49 : constant Device := 50;
    But50 : constant Device := 51;
    But51 : constant Device := 52;
    But52 : constant Device := 53;
    But53 : constant Device := 54;
    But54 : constant Device := 55;
    But55 : constant Device := 56;
    But56 : constant Device := 57;
    But57 : constant Device := 58;
    But58 : constant Device := 59;
    But59 : constant Device := 60;
    But60 : constant Device := 61;
    But61 : constant Device := 62;
    But62 : constant Device := 63;
    But63 : constant Device := 64;
    But64 : constant Device := 65;
    But65 : constant Device := 66;
    But66 : constant Device := 67;
    But67 : constant Device := 68;
    But68 : constant Device := 69;
    But69 : constant Device := 70;
    But70 : constant Device := 71;
    But71 : constant Device := 72;
    But72 : constant Device := 73;
    But73 : constant Device := 74;
    But74 : constant Device := 75;
    But75 : constant Device := 76;
    But76 : constant Device := 77;
    But77 : constant Device := 78;
    But78 : constant Device := 79;
    But79 : constant Device := 80;
    But80 : constant Device := 81;
    But81 : constant Device := 82;
    But82 : constant Device := 83;
    But83 : constant Device := 84;
    But84 : constant Device := 85;
    But85 : constant Device := 86;
    But86 : constant Device := 87;
    Maxkbdbut : constant Device := 87;
    But100 : constant Device := 101;
    But101 : constant Device := 102;
    But102 : constant Device := 103;
    But110 : constant Device := 111;
    But111 : constant Device := 112;
    But112 : constant Device := 113;
    But113 : constant Device := 114;
    But114 : constant Device := 115;
    But115 : constant Device := 116;
    But116 : constant Device := 117;
    But117 : constant Device := 118;
    But118 : constant Device := 119;
    But119 : constant Device := 120;
    But120 : constant Device := 121;
    But121 : constant Device := 122;
    But122 : constant Device := 123;
    But123 : constant Device := 124;
    But124 : constant Device := 125;
    But125 : constant Device := 126;
    But126 : constant Device := 127;
    But127 : constant Device := 128;
    But128 : constant Device := 129;
    But129 : constant Device := 130;
    But130 : constant Device := 131;
    But131 : constant Device := 132;
    But132 : constant Device := 133;
    But133 : constant Device := 134;
    But134 : constant Device := 135;
    But135 : constant Device := 136;
    But136 : constant Device := 137;
    But137 : constant Device := 138;
    But138 : constant Device := 139;
    But139 : constant Device := 140;
    But140 : constant Device := 141;
    But141 : constant Device := 142;
    But142 : constant Device := 143;
    But143 : constant Device := 144;
    But144 : constant Device := 145;
    But145 : constant Device := 146;
    But146 : constant Device := 147;
    But147 : constant Device := 148;
    But148 : constant Device := 149;
    But149 : constant Device := 150;
    But150 : constant Device := 151;
    But151 : constant Device := 152;
    But152 : constant Device := 153;
    But153 : constant Device := 154;
    But154 : constant Device := 155;
    But155 : constant Device := 156;
    But156 : constant Device := 157;
    But157 : constant Device := 158;
    But158 : constant Device := 159;
    But159 : constant Device := 160;
    But160 : constant Device := 161;
    But161 : constant Device := 162;
    But162 : constant Device := 163;
    But163 : constant Device := 164;
    But164 : constant Device := 165;
    But165 : constant Device := 166;
    But166 : constant Device := 167;
    But167 : constant Device := 168;
    But168 : constant Device := 169;
    But169 : constant Device := 170;
    But170 : constant Device := 171;
    But171 : constant Device := 172;
    Mouse1 : constant Device := 101;
    Mouse2 : constant Device := 102;
    Mouse3 : constant Device := 103;
    Leftmouse : constant Device := 103;
    Middlemouse : constant Device := 102;
    Rightmouse : constant Device := 101;
    Lpenbut : constant Device := 104;
    Bpad0 : constant Device := 105;
    Bpad1 : constant Device := 106;
    Bpad2 : constant Device := 107;
    Bpad3 : constant Device := 108;
    Lpenvalid : constant Device := 109;
    Swbase : constant Device := 111;
    Sw0 : constant Device := 111;
    Sw1 : constant Device := 112;
    Sw2 : constant Device := 113;
    Sw3 : constant Device := 114;
    Sw4 : constant Device := 115;
    Sw5 : constant Device := 116;
    Sw6 : constant Device := 117;
    Sw7 : constant Device := 118;
    Sw8 : constant Device := 119;
    Sw9 : constant Device := 120;
    Sw10 : constant Device := 121;
    Sw11 : constant Device := 122;
    Sw12 : constant Device := 123;
    Sw13 : constant Device := 124;
    Sw14 : constant Device := 125;
    Sw15 : constant Device := 126;
    Sw16 : constant Device := 127;
    Sw17 : constant Device := 128;
    Sw18 : constant Device := 129;
    Sw19 : constant Device := 130;
    Sw20 : constant Device := 131;
    Sw21 : constant Device := 132;
    Sw22 : constant Device := 133;
    Sw23 : constant Device := 134;
    Sw24 : constant Device := 135;
    Sw25 : constant Device := 136;
    Sw26 : constant Device := 137;
    Sw27 : constant Device := 138;
    Sw28 : constant Device := 139;
    Sw29 : constant Device := 140;
    Sw30 : constant Device := 141;
    Sw31 : constant Device := 142;
    Akey : constant Device := 11;
    Bkey : constant Device := 36;
    Ckey : constant Device := 28;
    Dkey : constant Device := 18;
    Ekey : constant Device := 17;
    Fkey : constant Device := 19;
    Gkey : constant Device := 26;
    Hkey : constant Device := 27;
    Ikey : constant Device := 40;
    Jkey : constant Device := 34;
    Kkey : constant Device := 35;
    Lkey : constant Device := 42;
    Mkey : constant Device := 44;
    Nkey : constant Device := 37;
    Okey : constant Device := 41;
    Pkey : constant Device := 48;
    Qkey : constant Device := 10;
    Rkey : constant Device := 24;
    Skey : constant Device := 12;
    Tkey : constant Device := 25;
    Ukey : constant Device := 33;
    Vkey : constant Device := 29;
    Wkey : constant Device := 16;
    Xkey : constant Device := 21;
    Ykey : constant Device := 32;
    Zkey : constant Device := 20;
    Zerokey : constant Device := 46;
    Onekey : constant Device := 8;
    Twokey : constant Device := 14;
    Threekey : constant Device := 15;
    Fourkey : constant Device := 22;
    Fivekey : constant Device := 23;
    Sixkey : constant Device := 30;
    Sevenkey : constant Device := 31;
    Eightkey : constant Device := 38;
    Ninekey : constant Device := 39;
    Breakkey : constant Device := 1;
    Setupkey : constant Device := 2;
    Ctrlkey : constant Device := 3;
    Leftctrlkey : constant Device := Ctrlkey;
    Capslockkey : constant Device := 4;
    Rightshiftkey : constant Device := 5;
    Leftshiftkey : constant Device := 6;
    Noscrlkey : constant Device := 13;
    Esckey : constant Device := 7;
    Tabkey : constant Device := 9;
    Retkey : constant Device := 51;
    Spacekey : constant Device := 83;
    Linefeedkey : constant Device := 60;
    Backspacekey : constant Device := 61;
    Delkey : constant Device := 62;
    Semicolonkey : constant Device := 43;
    Periodkey : constant Device := 52;
    Commakey : constant Device := 45;
    Quotekey : constant Device := 50;
    Accentgravekey : constant Device := 55;
    Minuskey : constant Device := 47;
    Virgulekey : constant Device := 53;
    Backslashkey : constant Device := 57;
    Equalkey : constant Device := 54;
    Leftbracketkey : constant Device := 49;
    Rightbracketkey : constant Device := 56;
    Leftarrowkey : constant Device := 73;
    Downarrowkey : constant Device := 74;
    Rightarrowkey : constant Device := 80;
    Uparrowkey : constant Device := 81;
    Pad0 : constant Device := 59;
    Pad1 : constant Device := 58;
    Pad2 : constant Device := 64;
    Pad3 : constant Device := 65;
    Pad4 : constant Device := 63;
    Pad5 : constant Device := 69;
    Pad6 : constant Device := 70;
    Pad7 : constant Device := 67;
    Pad8 : constant Device := 68;
    Pad9 : constant Device := 75;
    Padpf1 : constant Device := 72;
    Padpf2 : constant Device := 71;
    Padpf3 : constant Device := 79;
    Padpf4 : constant Device := 78;
    Padperiod : constant Device := 66;
    Padminus : constant Device := 76;
    Padcomma : constant Device := 77;
    Padenter : constant Device := 82;
    Leftaltkey : constant Device := 143;
    Rightaltkey : constant Device := 144;
    Rightctrlkey : constant Device := 145;
    F1key : constant Device := 146;
    F2key : constant Device := 147;
    F3key : constant Device := 148;
    F4key : constant Device := 149;
    F5key : constant Device := 150;
    F6key : constant Device := 151;
    F7key : constant Device := 152;
    F8key : constant Device := 153;
    F9key : constant Device := 154;
    F10key : constant Device := 155;
    F11key : constant Device := 156;
    F12key : constant Device := 157;
    Printscreenkey : constant Device := 158;
    Scrolllockkey : constant Device := 159;
    Pausekey : constant Device := 160;
    Insertkey : constant Device := 161;
    Homekey : constant Device := 162;
    Pageupkey : constant Device := 163;
    Endkey : constant Device := 164;
    Pagedownkey : constant Device := 165;
    Numlockkey : constant Device := 166;
    Padvirgulekey : constant Device := 167;
    Padasterkey : constant Device := 168;
    Padpluskey : constant Device := 169;
    Sgireserved : constant Device := 256;
    Dial0 : constant Device := 257;
    Dial1 : constant Device := 258;
    Dial2 : constant Device := 259;
    Dial3 : constant Device := 260;
    Dial4 : constant Device := 261;
    Dial5 : constant Device := 262;
    Dial6 : constant Device := 263;
    Dial7 : constant Device := 264;
    Dial8 : constant Device := 265;
    Mousex : constant Device := 266;
    Mousey : constant Device := 267;
    Lpenx : constant Device := 268;
    Lpeny : constant Device := 269;
    Bpadx : constant Device := 270;
    Bpady : constant Device := 271;
    Cursorx : constant Device := 272;
    Cursory : constant Device := 273;
    Ghostx : constant Device := 274;
    Ghosty : constant Device := 275;
    Timer0 : constant Device := 515;
    Timer1 : constant Device := 516;
    Timer2 : constant Device := 517;
    Timer3 : constant Device := 518;
    Keybd : constant Device := 513;
    Rawkeybd : constant Device := 514;
    Valmark : constant Device := 523;
    Gerror : constant Device := 524;
    Redraw : constant Device := 528;
    Wmsend : constant Device := 529;
    Wmreply : constant Device := 530;
    Wmgfclose : constant Device := 531;
    Wmtxclose : constant Device := 532;
    Modechange : constant Device := 533;
    Inputchange : constant Device := 534;
    Qfull : constant Device := 535;
    Piecechange : constant Device := 536;
    Winclose : constant Device := 537;
    Qreaderror : constant Device := 538;
    Winfreeze : constant Device := 539;
    Winthaw : constant Device := 540;
    Redrawiconic : constant Device := 541;
    Winquit : constant Device := 542;
    Depthchange : constant Device := 543;
    Keybdfnames : constant Device := 544;
    Keybdfstrings : constant Device := 545;
    Winshut : constant Device := 546;
    Input0 : constant Device := 1024;
    Input1 : constant Device := 1025;
    Input2 : constant Device := 1026;
    Input3 : constant Device := 1027;
    Input4 : constant Device := 1028;
    Input5 : constant Device := 1029;
    Input6 : constant Device := 1030;
    Input7 : constant Device := 1032;
    Output0 : constant Device := 1033;
    Output1 : constant Device := 1034;
    Output2 : constant Device := 1035;
    Output3 : constant Device := 1036;
    Output4 : constant Device := 1037;
    Output5 : constant Device := 1038;
    Output6 : constant Device := 1039;
    Output7 : constant Device := 1040;
    Maxsgidevice : constant Device := 20000;
    Menubutton : constant Device := Rightmouse;
    function Isbutton (A_Device : Device) return Boolean;
    function Isvaluator (A_Device : Device) return Boolean;
    function Istimer (A_Device : Device) return Boolean;
    function Iswmevent (A_Device : Device) return Boolean;
    function Isdial (A_Device : Device) return Boolean;
    function Islpen (A_Device : Device) return Boolean;
    function Islpenbut (A_Device : Device) return Boolean;
    function Isbpadbut (A_Device : Device) return Boolean;
    function Issw (A_Device : Device) return Boolean;
    function Isstdkeybd (A_Device : Device) return Boolean;
    function Isxkeybd (A_Device : Device) return Boolean;
    function Iskeybd (A_Device : Device) return Boolean;
    function Isinput (A_Device : Device) return Boolean;
    function Isoutput (A_Device : Device) return Boolean;
    pragma Inline (Isbutton);
    pragma Inline (Isvaluator);
    pragma Inline (Istimer);
    pragma Inline (Iswmevent);
    pragma Inline (Isdial);
    pragma Inline (Islpen);
    pragma Inline (Islpenbut);
    pragma Inline (Isbpadbut);
    pragma Inline (Issw);
    pragma Inline (Isstdkeybd);
    pragma Inline (Isxkeybd);
    pragma Inline (Iskeybd);
    pragma Inline (Isinput);
    pragma Inline (Isoutput);
end Device;

E3 Meta Data

    nblk1=11
    nid=0
    hdr6=22
        [0x00] rec0=1b rec1=00 rec2=01 rec3=04c
        [0x01] rec0=1b rec1=00 rec2=02 rec3=044
        [0x02] rec0=1c rec1=00 rec2=03 rec3=024
        [0x03] rec0=1b rec1=00 rec2=04 rec3=044
        [0x04] rec0=1b rec1=00 rec2=05 rec3=03e
        [0x05] rec0=1a rec1=00 rec2=06 rec3=044
        [0x06] rec0=1a rec1=00 rec2=07 rec3=048
        [0x07] rec0=1b rec1=00 rec2=08 rec3=02e
        [0x08] rec0=1c rec1=00 rec2=09 rec3=016
        [0x09] rec0=1b rec1=00 rec2=0a rec3=044
        [0x0a] rec0=19 rec1=00 rec2=0b rec3=030
        [0x0b] rec0=1a rec1=00 rec2=0c rec3=022
        [0x0c] rec0=19 rec1=00 rec2=0d rec3=018
        [0x0d] rec0=1a rec1=00 rec2=0e rec3=024
        [0x0e] rec0=18 rec1=00 rec2=0f rec3=04a
        [0x0f] rec0=16 rec1=00 rec2=10 rec3=044
        [0x10] rec0=17 rec1=00 rec2=11 rec3=000
    tail 0x21719881c83657c6b8a22 0x42a00088462060003