WITH REPORT; USE REPORT;
PROCEDURE C38102A IS
BEGIN
TEST ("C38102A", "ANY TYPE MAY BE INCOMPLETE");
DECLARE
TYPE X1;
TYPE X2;
TYPE X3;
TYPE X4;
TYPE X5;
TYPE X6;
TYPE X7;
TYPE X8;
TYPE D1;
TYPE D2;
TYPE D3;
TYPE D4;
TYPE D5;
TYPE D6;
TYPE X1 IS RANGE 1 .. 10;
TYPE X2 IS (TRUE, FALSE, MAYBE, GREEN);
TYPE X3 IS ARRAY (1 .. 3) OF STRING (1..10);
TYPE X4 IS ARRAY (NATURAL RANGE <> ) OF X3;
TYPE AR1 IS ARRAY (X2) OF X3;
TYPE X5 IS RECORD
C1 : X4 (1..3);
C2 : AR1;
END RECORD;
TYPE X6 IS ACCESS X8;
TYPE X7 IS ACCESS X6;
TYPE X8 IS ACCESS X6;
TYPE D1 IS NEW X1;
TYPE D2 IS NEW X2;
TYPE D3 IS NEW X3;
TYPE D4 IS NEW X4;
TYPE D5 IS NEW X5;
SUBTYPE D7 IS X7;
SUBTYPE D8 IS X8;
TYPE D6 IS ACCESS D8;
PACKAGE P IS
TYPE X1;
TYPE X2;
TYPE X3;
TYPE X4;
TYPE X5;
TYPE X6;
TYPE X7 IS PRIVATE;
TYPE X8 IS LIMITED PRIVATE;
TYPE D1;
TYPE D2;
TYPE D3;
TYPE D4;
TYPE D5;
TYPE D6;
TYPE X1 IS RANGE 1 .. 10;
TYPE X2 IS (TRUE, FALSE, MAYBE, GREEN);
TYPE X3 IS ARRAY (1 .. 3) OF STRING (1..10);
TYPE X4 IS ARRAY (NATURAL RANGE <> ) OF X3;
TYPE AR1 IS ARRAY (X2) OF X3;
TYPE X5 IS RECORD
C1 : X4 (1..3);
C2 : AR1;
END RECORD;
TYPE X6 IS ACCESS X8;
TYPE D1 IS RANGE 1 .. 10;
TYPE D2 IS NEW X2;
TYPE D3 IS NEW X3;
TYPE D4 IS NEW X4;
TYPE D5 IS NEW X5;
TYPE D6 IS NEW X6;
SUBTYPE D7 IS X7;
SUBTYPE D8 IS X8;
TYPE D9 IS ACCESS D8;
VX7 : CONSTANT X7;
PRIVATE
TYPE X7 IS RECORD
C1 : X1;
C3 : X3;
C5 : X5;
C6 : X6;
C8 : D9;
END RECORD;
V3 : X3 := (X3'RANGE => "ABCDEFGHIJ");
TYPE A7 IS ACCESS X7;
TYPE X8 IS ARRAY (V3'RANGE) OF A7;
VX7 : CONSTANT X7 := (3, V3, ((1..3=>V3),
(TRUE..GREEN=>V3)), NULL,
NEW D8);
END P;
USE P;
VD7: P.D7;
PACKAGE BODY P IS
BEGIN
VD7 := D7(VX7);
END P;
BEGIN
IF VX7 /= P.X7(VD7) THEN
FAILED ("WRONG VALUE SOMEWHERE");
END IF;
END;
RESULT;
END C38102A;