|
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 - download
Length: 16384 (0x4000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Cvt_125, seg_0054e1
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Test_Io;
with Cvt_Test_Utilities;
with Xlbt_Arithmetic;
with Xlbt_Basic;
with Xlbt_Color;
with Xlbt_Gc;
with Xlbt_Grab;
with Xlbt_Graphics;
with Xlbt_Host;
with Xlbt_Image;
with Xlbt_Input_Focus;
with Xlbt_Key;
with Xlbt_Keyboard;
with Xlbt_Misc;
with Xlbt_Pointer;
with Xlbt_Request;
with Xlbt_Screen_Saver;
with Xlbt_Window;
with Xlbmt_Network_Types;
with Xlbip_Request_Converters;
procedure Cvt_125 is
------------------------------------------------------------------------------
-- Tests for Xlbip_Request_Converters
--
-- Xlbip_Request_Converters only instantiates the converters actually
-- used by the protocol. The tester generics expect to have symmetric
-- converters for each type. Individual tests instantiate their own
-- dummy To_Raw and From_Raw converters when necessary.
-- ****************************************************************************
-- * Date - /Name/ Comment
-- *
-- * 18-SEP-90 - /DRK/ Created.
-- * 4-APR-91 - /GEB/ HPUX CDF chokes on the original unit, too big. Break
-- * - it into 12-15 different units.
-- ****************************************************************************
------------------------------------------------------------------------------
--\x0c
---------------------------------
-- Handy constants and renames --
---------------------------------
package Utils renames Cvt_Test_Utilities;
package Tests renames Utils.Raw_Data_Tests;
package Dummy renames Utils.Dummy_Converters;
use Utils.Raw_Data_Constants;
----------------------------------------------------------------------
-------------------------
-- Major test sections --
-------------------------
--\x0c
procedure Test_X_Get_Pointer_Mapping_Request is
procedure From_Raw is
new Dummy.Convert_To_Private
(Xlbt_Request.X_Get_Pointer_Mapping_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Get_Pointer_Mapping_Request,
"X_Get_Pointer_Mapping_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Get_Pointer_Mapping_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, 0, 0), (1 .. 4 => 0));
Test ("1.-1.2", (Xlbt_Request.Create_Window, 255, 2),
((1, Raw_Ff)) & Swab_00_02);
Test_Io.New_Line;
end Test_X_Get_Pointer_Mapping_Request;
--\x0c
procedure Test_X_Get_Property_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Get_Property_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Get_Property_Request,
"X_Get_Property_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Get_Property_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, Xlbt_Misc.False,
0, (Drawable => (Id => (Number => 0))),
(Number => 0), (Number => 0), 0, 0), (1 .. 24 => 0));
Test ("0.1.3.4.5.6.7.8", (Xlbt_Request.Invalid_Request, Xlbt_Misc.True,
3, (Drawable => (Id => (Number => 4))),
(Number => 5), (Number => 6), 7, 8),
((0, 1)) & Swab_00_03 & Swab_00_00_00_04 & Swab_00_00_00_05 &
Swab_00_00_00_06 & Swab_00_00_00_07 & Swab_00_00_00_08);
Test_Io.New_Line;
end Test_X_Get_Property_Request;
--\x0c
procedure Test_X_Get_Screen_Saver_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Get_Screen_Saver_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Get_Screen_Saver_Request,
"X_Get_Screen_Saver_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Get_Screen_Saver_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, 0, 0), (1 .. 4 => 0));
Test ("1.-1.2", (Xlbt_Request.Create_Window, 255, 2),
((1, Raw_Ff)) & Swab_00_02);
Test_Io.New_Line;
end Test_X_Get_Screen_Saver_Request;
--\x0c
procedure Test_X_Get_Selection_Owner_Request is
procedure From_Raw is
new Dummy.Convert_To_Private
(Xlbt_Request.X_Get_Selection_Owner_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Get_Selection_Owner_Request,
"X_Get_Selection_Owner_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Get_Selection_Owner_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, 0, 0, (Number => 0)),
(1 .. 8 => 0));
Test ("1.-1.2.3", (Xlbt_Request.Create_Window, 255, 2, (Number => 3)),
((1, Raw_Ff)) & Swab_00_02 & Swab_00_00_00_03);
Test_Io.New_Line;
end Test_X_Get_Selection_Owner_Request;
--\x0c
procedure Test_X_Get_Window_Attributes_Request is
procedure From_Raw is
new Dummy.Convert_To_Private
(Xlbt_Request.X_Get_Window_Attributes_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Get_Window_Attributes_Request,
"X_Get_Window_Attributes_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Get_Window_Attributes_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, 0, 0,
(Drawable => (Id => (Number => 0)))), (1 .. 8 => 0));
Test ("1.-1.2.3", (Xlbt_Request.Create_Window, 255, 2,
(Drawable => (Id => (Number => 3)))),
((1, Raw_Ff)) & Swab_00_02 & Swab_00_00_00_03);
Test_Io.New_Line;
end Test_X_Get_Window_Attributes_Request;
--\x0c
procedure Test_X_Grab_Button_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Grab_Button_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Grab_Button_Request,
"X_Grab_Button_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Grab_Button_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, Xlbt_Misc.False, 0,
(Drawable => (Id => (Number => 0))), (others => False),
Xlbt_Grab.Grab_Mode_Sync, Xlbt_Grab.Grab_Mode_Sync,
(Drawable => (Id => (Number => 0))), (Id => (Number => 0)),
Xlbt_Pointer.Any_Button, 0, (others => False)),
(1 .. 24 => 0));
Test ("0.1.3.4.5.0.1.8.9.1.-1.11",
(Xlbt_Request.Invalid_Request, Xlbt_Misc.True,
3, (Drawable => (Id => (Number => 4))),
(Xlbt_Basic.Button_Press_Mask | Xlbt_Basic.Key_Press_Mask =>
True,
others => False), Xlbt_Grab.Grab_Mode_Sync,
Xlbt_Grab.Grab_Mode_Async, (Drawable => (Id => (Number => 8))),
(Id => (Number => 9)), Xlbt_Pointer.Button_1, 255,
(Xlbt_Key.Mod_1_Mask | Xlbt_Key.Lock_Mask |
Xlbt_Key.Shift_Mask => True,
others => False)),
((0, 1)) & Swab_00_03 & Swab_00_00_00_04 &
Swab_00_05 & ((0, 1)) & Swab_00_00_00_08 &
Swab_00_00_00_09 & ((1, Raw_Ff)) & Swab_00_0b);
Test_Io.New_Line;
end Test_X_Grab_Button_Request;
--\x0c
procedure Test_X_Grab_Key_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Grab_Key_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Grab_Key_Request,
"X_Grab_Key_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Grab_Key_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, Xlbt_Misc.False,
0, (Drawable => (Id => (Number => 0))),
(others => False), 0, Xlbt_Grab.Grab_Mode_Sync,
Xlbt_Grab.Grab_Mode_Sync, 0, 0, 0), (1 .. 16 => 0));
Test ("0.1.3.4.5.6.0.1.-1",
(Xlbt_Request.Invalid_Request, Xlbt_Misc.True,
3, (Drawable => (Id => (Number => 4))),
(Xlbt_Key.Control_Mask | Xlbt_Key.Shift_Mask => True,
others => False), 6, Xlbt_Grab.Grab_Mode_Sync,
Xlbt_Grab.Grab_Mode_Async, 255, 255, 255),
((0, 1)) & Swab_00_03 & Swab_00_00_00_04 & Swab_00_05 &
((6, 0)) & (1 => 1, 2 .. 4 => Raw_Ff));
Test_Io.New_Line;
end Test_X_Grab_Key_Request;
--\x0c
procedure Test_X_Grab_Keyboard_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Grab_Keyboard_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Grab_Keyboard_Request,
"X_Grab_Keyboard_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Grab_Keyboard_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, Xlbt_Misc.False,
0, (Drawable => (Id => (Number => 0))), 0,
Xlbt_Grab.Grab_Mode_Sync, Xlbt_Grab.Grab_Mode_Sync, 0),
(1 .. 16 => 0));
Test ("0.1.3.4.5.0.1.-1", (Xlbt_Request.Invalid_Request, Xlbt_Misc.True,
3, (Drawable => (Id => (Number => 4))),
5, Xlbt_Grab.Grab_Mode_Sync,
Xlbt_Grab.Grab_Mode_Async, 16#FFFF#),
((0, 1)) & Swab_00_03 & Swab_00_00_00_04 &
Swab_00_00_00_05 & ((0, 1)) & Swab_Ff_Ff);
Test_Io.New_Line;
end Test_X_Grab_Keyboard_Request;
--\x0c
procedure Test_X_Grab_Pointer_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Grab_Pointer_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Grab_Pointer_Request,
"X_Grab_Pointer_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Grab_Pointer_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, Xlbt_Misc.False, 0,
(Drawable => (Id => (Number => 0))), (others => False),
Xlbt_Grab.Grab_Mode_Sync, Xlbt_Grab.Grab_Mode_Sync,
(Drawable => (Id => (Number => 0))),
(Id => (Number => 0)), 0), (1 .. 24 => 0));
Test ("0.1.3.4.5.0.1.8.9.10",
(Xlbt_Request.Invalid_Request, Xlbt_Misc.True,
3, (Drawable => (Id => (Number => 4))),
(Xlbt_Basic.Button_Press_Mask | Xlbt_Basic.Key_Press_Mask =>
True,
others => False),
Xlbt_Grab.Grab_Mode_Sync, Xlbt_Grab.Grab_Mode_Async,
(Drawable => (Id => (Number => 8))), (Id => (Number => 9)), 10),
((0, 1)) & Swab_00_03 & Swab_00_00_00_04 & Swab_00_05 & ((0, 1)) &
Swab_00_00_00_08 & Swab_00_00_00_09 & Swab_00_00_00_0a);
Test_Io.New_Line;
end Test_X_Grab_Pointer_Request;
--\x0c
procedure Test_X_Grab_Server_Request is
procedure From_Raw is new Dummy.Convert_To_Private
(Xlbt_Request.X_Grab_Server_Request,
Xlbmt_Network_Types.X_Raw_Data_Array);
procedure Test is new Tests.Tester
(Xlbt_Request.X_Grab_Server_Request,
"X_Grab_Server_Request",
Xlbip_Request_Converters.To_Raw, From_Raw);
begin
Test_Io.Section ("X_Grab_Server_Request conversions");
Test ("0", (Xlbt_Request.Invalid_Request, 0, 0), (1 .. 4 => 0));
Test ("1.-1.2", (Xlbt_Request.Create_Window, 255, 2),
((1, Raw_Ff)) & Swab_00_02);
Test_Io.New_Line;
end Test_X_Grab_Server_Request;
--\x0c
begin
Test_X_Get_Pointer_Mapping_Request;
Test_X_Get_Property_Request;
Test_X_Get_Screen_Saver_Request;
Test_X_Get_Selection_Owner_Request;
Test_X_Get_Window_Attributes_Request;
Test_X_Grab_Button_Request;
Test_X_Grab_Key_Request;
Test_X_Grab_Keyboard_Request;
Test_X_Grab_Pointer_Request;
Test_X_Grab_Server_Request;
end Cvt_125;
nblk1=f
nid=0
hdr6=1e
[0x00] rec0=23 rec1=00 rec2=01 rec3=03e
[0x01] rec0=1c rec1=00 rec2=02 rec3=080
[0x02] rec0=13 rec1=00 rec2=03 rec3=04a
[0x03] rec0=12 rec1=00 rec2=04 rec3=024
[0x04] rec0=13 rec1=00 rec2=05 rec3=03e
[0x05] rec0=14 rec1=00 rec2=06 rec3=030
[0x06] rec0=12 rec1=00 rec2=07 rec3=074
[0x07] rec0=10 rec1=00 rec2=08 rec3=04c
[0x08] rec0=13 rec1=00 rec2=09 rec3=07c
[0x09] rec0=10 rec1=00 rec2=0a rec3=080
[0x0a] rec0=13 rec1=00 rec2=0b rec3=060
[0x0b] rec0=12 rec1=00 rec2=0c rec3=066
[0x0c] rec0=11 rec1=00 rec2=0d rec3=02a
[0x0d] rec0=12 rec1=00 rec2=0e rec3=026
[0x0e] rec0=14 rec1=00 rec2=0f rec3=000
tail 0x21500a1ae81978ac2ffdc 0x42a00088462063203