|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 18432 (0x4800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Device, seg_01c479
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
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;
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