WITH REPORT;
PROCEDURE C74305A IS
USE REPORT;
PACKAGE PK IS
TYPE T1 IS PRIVATE;
TYPE T2 IS PRIVATE;
C1 : CONSTANT T1;
PROCEDURE P1 (P : T1 := C1);
TYPE R1 IS RECORD
C : T1 := C1; END RECORD;
PRIVATE
PROCEDURE PROC2 (P : T1 := C1);
TYPE R2 IS RECORD
C : T1 := C1; D : INTEGER := C1'SIZE; END RECORD;
FUNCTION F1 (P : T1) RETURN T1;
TYPE T1 IS NEW INTEGER;
TYPE T2 IS ARRAY (1..2) OF INTEGER;
FUNCTION F2 (P : T1) RETURN T1;
PROCEDURE P3 (P : T1 := C1+1);
PROCEDURE P4 (P : T1 := F1(C1));
TYPE R5 IS RECORD
C : T1 := F2(C1);
END RECORD;
PROCEDURE P5 (P : T1 := C1+2) RENAMES P3;
TYPE R3 IS RECORD
C : T1 := C1; END RECORD;
C1 : CONSTANT T1 := 1; C2 : CONSTANT T2 := (1,1); END PK;
USE PK;
PACKAGE BODY PK IS
R11 : R1;
PROCEDURE P1 (P : T1 := C1) IS
BEGIN
IF ( P /= 1 ) THEN
FAILED ("PARAMETER DEFAULT OF P1 NOT PROPERLY " &
"INITIALIZED");
END IF;
END P1;
PROCEDURE PROC2 (P : T1 := C1) IS
BEGIN NULL; END PROC2;
PROCEDURE P3 (P : T1 := C1+1) IS
BEGIN
IF ( P /= 3 ) THEN
FAILED ("PARAMETER DEFAULT OF P5 NOT PROPERLY " &
"INITIALIZED");
END IF;
END P3;
FUNCTION F1 (P : T1) RETURN T1 IS
BEGIN
RETURN P+10;
END F1;
PROCEDURE P4 (P : T1 := F1(C1)) IS
BEGIN
IF ( P /= 11 ) THEN
FAILED ("WRONG ACTUAL PARAMETER RECEIVED");
END IF;
END P4;
FUNCTION F2 (P : T1) RETURN T1 IS
BEGIN
RETURN P+20;
END F2;
BEGIN
DECLARE
R55 : R5;
BEGIN
TEST ("C74305A","CHECK THAT A DEFERRED CONSTANT CAN " &
"BE USED AS A DEFAULT INITIALIZATION " &
"FOR A PARAMETER OR AS A DEFAULT " &
"INITIALIZATION FOR A COMPONENT (NON " &
"GENERIC CASE)");
IF ( R11.C /= 1 ) THEN
FAILED ("RECORD R11 NOT PROPERLY INITIALIZED");
END IF;
P4;
IF ( R55.C /= 21 ) THEN
FAILED ("RECORD R55 NOT PROPERLY INITIALIZED");
END IF;
P5;
END;
END PK;
BEGIN
P1;
RESULT;
END C74305A;