WITH REPORT; USE REPORT;
PROCEDURE C95087D IS
BEGIN
TEST ( "C95087D", "CHECK ASSIGNMENTS TO ENTRY FORMAL PARAMETERS " &
"OF UNCONSTRAINED TYPES WITH UNCONSTRAINED " &
"ACTUAL PARAMETERS");
DECLARE
PACKAGE PKG IS
SUBTYPE INTRANGE IS INTEGER RANGE 0..31;
TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS
RECORD
INTFLD : INTRANGE;
STRFLD : STRING(1..CONSTRAINT);
END RECORD;
TASK T IS
ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE);
END T;
END PKG;
REC91, REC92, REC93 : PKG.RECTYPE :=
(IDENT_INT(5), 5, IDENT_STR( "12345"));
REC_OOPS : PKG.RECTYPE;
PACKAGE BODY PKG IS
TASK BODY T IS
BEGIN
ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE) DO
IF NOT REC1'CONSTRAINED THEN
FAILED ( "REC1 IS NOT CONSTRAINED - A.1");
END IF;
IF REC1.CONSTRAINT /= IDENT_INT(9) THEN
FAILED ( "REC1 CONSTRAINT IS NOT 9 " &
"- A.1");
END IF;
BEGIN REC2 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - A.1");
END;
BEGIN REC3 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - A.2");
END;
END E;
END T;
BEGIN
REC91 := (9, 9, "123456789");
REC92 := REC91;
REC93 := REC91;
REC_OOPS := (4, 4, "OOPS");
END PKG;
USE PKG;
BEGIN
PKG.T.E (REC91, REC92, REC93);
IF (REC92 /= REC_OOPS) OR (REC93 /= REC_OOPS) THEN
FAILED ( "RESULTANT VALUE OF REC92 OR REC93 INCORRECT");
END IF;
END;
DECLARE
PACKAGE PKG IS
SUBTYPE INTRANGE IS INTEGER RANGE 0..31;
TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS PRIVATE;
TASK T IS
ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE);
END T;
PRIVATE
TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS
RECORD
INTFLD : INTRANGE;
STRFLD : STRING(1..CONSTRAINT);
END RECORD;
END PKG;
REC91, REC92, REC93 : PKG.RECTYPE;
REC_OOPS : PKG.RECTYPE;
PACKAGE BODY PKG IS
TASK BODY T IS
BEGIN
ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE) DO
IF REC3'CONSTRAINED THEN
FAILED ( "REC3 IS CONSTRAINED - B.1");
END IF;
BEGIN REC2 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - B.1");
END;
BEGIN REC3 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - B.2");
END;
END E;
END T;
BEGIN
REC91 := (9, 9, "123456789");
REC92 := REC91;
REC93 := REC91;
REC_OOPS := (4, 4, "OOPS");
END PKG;
BEGIN
PKG.T.E (REC91, REC92, REC93);
END;
DECLARE
PACKAGE PKG IS
SUBTYPE INTRANGE IS INTEGER RANGE 0..31;
TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS
LIMITED PRIVATE;
TASK T IS
ENTRY E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE);
END T;
PRIVATE
TYPE RECTYPE (CONSTRAINT : INTRANGE := 15) IS
RECORD
INTFLD : INTRANGE;
STRFLD : STRING(1..CONSTRAINT);
END RECORD;
END PKG;
REC91, REC92, REC93 : PKG.RECTYPE;
REC_OOPS : PKG.RECTYPE;
PACKAGE BODY PKG IS
TASK BODY T IS
BEGIN
ACCEPT E (REC1 : IN RECTYPE; REC2 : IN OUT RECTYPE;
REC3 : OUT RECTYPE) DO
BEGIN REC2 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - C.1");
END;
BEGIN REC3 := REC_OOPS;
EXCEPTION
WHEN OTHERS =>
FAILED ( "EXCEPTION RAISED - C.2");
END;
END E;
END T;
BEGIN
REC91 := (9, 9, "123456789");
REC92 := REC91;
REC93 := REC91;
REC_OOPS := (4, 4, "OOPS");
END PKG;
BEGIN
PKG.T.E (REC91, REC92, REC93);
END;
RESULT;
END C95087D;