WITH REPORT;
PROCEDURE C48004D IS
USE REPORT;
BEGIN
TEST("C48004D","CHECK THAT THE FORM 'NEW T' IS PERMITTED IF T " &
"IS A RECORD, PRIVATE, OR LIMITED TYPE WITHOUT " &
"DISCRIMINANTS");
DECLARE
TYPE TC IS
RECORD
C : INTEGER := 18;
END RECORD;
TYPE ATC IS ACCESS TC;
VC : ATC;
PACKAGE P IS
TYPE PRIV IS PRIVATE;
TYPE LPRIV IS LIMITED PRIVATE;
TYPE A_PRIV IS ACCESS PRIV;
TYPE A_LPRIV IS ACCESS LPRIV;
PROCEDURE CHECK( X: A_PRIV );
PROCEDURE LCHECK( X: A_LPRIV );
PROCEDURE LRCHECK( X: LPRIV );
PRIVATE
TYPE PRIV IS
RECORD
Q : INTEGER := 19;
END RECORD;
TYPE LPRIV IS
RECORD
Q : INTEGER := 20;
END RECORD;
END P;
VP : P.A_PRIV;
VLP : P.A_LPRIV;
TYPE LCR IS
RECORD
C : P.LPRIV;
END RECORD;
TYPE A_LCR IS ACCESS LCR;
VLCR : A_LCR;
PACKAGE BODY P IS
PROCEDURE CHECK( X: A_PRIV ) IS
BEGIN
IF X.Q /= 19 THEN FAILED( "WRONG VALUES - C2" );
END IF;
END CHECK;
PROCEDURE LCHECK( X: A_LPRIV ) IS
BEGIN
IF X.Q /= 20 THEN FAILED( "WRONG VALUES - C3" );
END IF;
END LCHECK;
PROCEDURE LRCHECK (X : LPRIV) IS
BEGIN
IF X.Q /= 20 THEN
FAILED ("WRONG VALUES - C4");
END IF;
END LRCHECK;
END P;
BEGIN
VC := NEW TC;
IF VC.C /= 18 THEN FAILED( "WRONG VALUES - C1" );
END IF;
VP := NEW P.PRIV;
P.CHECK( VP );
VLP := NEW P.LPRIV;
P.LCHECK( VLP );
VLCR := NEW LCR;
P.LRCHECK( VLCR.ALL.C );
END;
RESULT;
END C48004D;