WITH REPORT; USE REPORT;
PROCEDURE C39006A IS
BEGIN
TEST ("C39006A", "CHECK THAT PROGRAM_ERROR IS RAISED IF AN " &
"ATTEMPT IS MADE TO CALL A SUBPROGRAM WHOSE " &
"BODY HAS NOT YET BEEN ELABORATED");
BEGIN
DECLARE
FUNCTION INIT_1 (A : INTEGER) RETURN INTEGER;
VAR1 : INTEGER := INIT_1 (1);
FUNCTION INIT_1 (A : INTEGER) RETURN INTEGER IS
BEGIN
RETURN (A + IDENT_INT(1));
END INIT_1;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 1");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 1");
END;
BEGIN
DECLARE
FUNCTION INIT_2 (A : INTEGER) RETURN INTEGER;
TYPE REC1 IS
RECORD
NUMBER : INTEGER := INIT_2 (2);
END RECORD;
VAR2 : REC1;
FUNCTION INIT_2 (A : INTEGER) RETURN INTEGER IS
BEGIN
RETURN (A + IDENT_INT(1));
END INIT_2;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 2");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 2");
END;
BEGIN
DECLARE
FUNCTION F1 RETURN INTEGER;
PACKAGE PACK IS
VAR1 : INTEGER := F1;
END PACK;
FUNCTION F1 RETURN INTEGER IS
BEGIN
RETURN (IDENT_INT(1));
END F1;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 3");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 3");
END;
BEGIN
DECLARE
PACKAGE PACK IS
FUNCTION F2 RETURN INTEGER;
VAR2 : INTEGER := F2;
END PACK;
PACKAGE BODY PACK IS
FUNCTION F2 RETURN INTEGER IS
BEGIN
RETURN (IDENT_INT(3));
END F2;
END PACK;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 4");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 4");
END;
BEGIN
DECLARE
FUNCTION INIT_3 (A : INTEGER) RETURN INTEGER;
GENERIC
PACKAGE Q IS
VAR1 : INTEGER := INIT_3 (1);
END Q;
PACKAGE NEW_Q IS NEW Q;
FUNCTION INIT_3 (A : INTEGER) RETURN INTEGER IS
BEGIN
RETURN (A + IDENT_INT(3));
END INIT_3;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 5");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 5");
END;
BEGIN
DECLARE
FUNCTION FUN RETURN INTEGER;
TYPE PARAM IS
RECORD
COMP : INTEGER := FUN;
END RECORD;
GENERIC
TYPE T IS PRIVATE;
PACKAGE GP IS
OBJ : T;
END GP;
PACKAGE INST IS NEW GP(PARAM);
FUNCTION FUN RETURN INTEGER IS
BEGIN
RETURN (IDENT_INT(3));
END FUN;
BEGIN
FAILED ("PROGRAM_ERROR NOT RAISED - 6");
END;
EXCEPTION
WHEN PROGRAM_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("UNEXPECTED EXCEPTION RAISED - 6");
END;
RESULT;
END C39006A;