WITH REPORT; USE REPORT;
PROCEDURE C95087B IS
BEGIN
TEST ( "C95087B", "CHECK ASSIGNMENT TO ENTRY FORMAL PARAMETERS " &
"OF UNCONSTRAINED TYPE (WITH NO DEFAULT)" );
DECLARE
PACKAGE PKG IS
TYPE RECTYPE (CONSTRAINT : INTEGER) IS
RECORD
INTFIELD : INTEGER;
STRFIELD : STRING (1..CONSTRAINT);
END RECORD;
TASK T IS
ENTRY E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE);
END T;
END PKG;
REC9 : PKG.RECTYPE(IDENT_INT(9)) :=
(IDENT_INT(9), 9, "123456789");
REC6 : PKG.RECTYPE(IDENT_INT(6)) :=
(IDENT_INT(6), 5, "AEIOUY");
PACKAGE BODY PKG IS
TASK BODY T IS
REC4 : CONSTANT RECTYPE(IDENT_INT(4)) :=
(IDENT_INT(4), 4, "OOPS");
BEGIN
ACCEPT E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE) DO
BEGIN REC9 := REC6;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- A.1");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- A.1");
END;
BEGIN REC6 := REC4;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- A.2");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- A.2");
END;
REC9 := (IDENT_INT(9), 9, "987654321");
END E;
END T;
END PKG;
BEGIN
PKG.T.E (REC9, REC6);
IF REC9.STRFIELD /= IDENT_STR("987654321") THEN
FAILED ("ASSIGNMENT TO REC9 FAILED - (A)");
END IF;
END;
DECLARE
PACKAGE PKG IS
TYPE RECTYPE (CONSTRAINT : INTEGER) IS PRIVATE;
TASK T IS
ENTRY E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE);
END T;
PRIVATE
TYPE RECTYPE (CONSTRAINT : INTEGER) IS
RECORD
INTFIELD : INTEGER;
STRFIELD : STRING (1..CONSTRAINT);
END RECORD;
END PKG;
REC9 : PKG.RECTYPE(9);
REC6 : PKG.RECTYPE(6);
PACKAGE BODY PKG IS
TASK BODY T IS
REC4 : CONSTANT RECTYPE(4) := (4, 4, "OOPS");
BEGIN
ACCEPT E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE) DO
BEGIN REC9 := REC6;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- B.1");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- B.1");
END;
BEGIN REC6 := REC4;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- B.2");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- B.2");
END;
END E;
END T;
BEGIN
REC9 := (9, 9, "123456789");
REC6 := (6, 5, "AEIOUY");
END PKG;
BEGIN
PKG.T.E (REC9, REC6);
END;
DECLARE
PACKAGE PKG IS
TYPE RECTYPE (CONSTRAINT : INTEGER) IS LIMITED PRIVATE;
TASK T IS
ENTRY E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE);
END T;
PRIVATE
TYPE RECTYPE (CONSTRAINT : INTEGER) IS
RECORD
INTFIELD : INTEGER;
STRFIELD : STRING (1..CONSTRAINT);
END RECORD;
END PKG;
REC6 : PKG.RECTYPE(IDENT_INT(6));
REC9 : PKG.RECTYPE(IDENT_INT(9));
PACKAGE BODY PKG IS
TASK BODY T IS
REC4 : CONSTANT RECTYPE(4) := (4, 4, "OOPS");
BEGIN
ACCEPT E (REC9 : OUT RECTYPE;
REC6 : IN OUT RECTYPE) DO
BEGIN REC9 := REC6;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- C.1");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- C.1");
END;
BEGIN REC6 := REC4;
FAILED ("CONSTRAINT_ERROR NOT RAISED " &
"- C.2");
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ("WRONG EXCEPTION RAISED " &
"- C.2");
END;
END E;
END T;
BEGIN
REC6 := (6, 5, "AEIOUY");
REC9 := (9, 9, "123456789");
END PKG;
BEGIN
PKG.T.E (REC9, REC6);
END;
RESULT;
END C95087B;