Subversion Repositories openrisc_me

-- C38107B.ADA

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 

--     this public release, the Government intends to confer upon all 

--     recipients unlimited rights  equal to those held by the Government.  

--     These rights include rights to use, duplicate, release or disclose the 

--     released technical data and computer software in whole or in part, in 

--     any manner and for any purpose whatsoever, and to have or permit others 

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

-- OBJECTIVE:

--     IF A DISCRIMINANT CONSTRAINT IS APPLIED TO AN ACCESS TYPE WHICH

--     DESIGNATES AN INCOMPLETE TYPE WHICH WAS DECLARED IN THE VISIBLE

--     OR PRIVATE PART OF A PACKAGE SPECIFICATION, OR IN A DECLARATIVE

--     PART, CONSTRAINT_ERROR IS RAISED IF ONE OF THE

--     DISCRIMINANT'S VALUES DOES NOT BELONG TO THE CORRESPONDING

--     DISCRIMINANT'S SUBTYPE.

-- HISTORY:

--     DHH 08/05/88 CREATED ORIGINAL TEST.

WITH REPORT; USE REPORT;

PROCEDURE C38107B IS

BEGIN

     TEST("C38107B", "IF A DISCRIMINANT CONSTRAINT IS APPLIED TO AN " &

                     "ACCESS TYPE WHICH DESIGNATES AN INCOMPLETE " &

                     "TYPE WHICH WAS DECLARED IN THE VISIBLE OR " &

                     "PRIVATE PART OF A PACKAGE SPECIFICATION, OR IN " &

                     "A DECLARATIVE PART, CONSTRAINT_ERROR IS " &

                     "RAISED IF ONE OF THE DISCRIMINANT'S VALUES " &

                     "DOES NOT BELONG TO THE CORRESPONDING " &

                     "DISCRIMINANT'S SUBTYPE");

------------------------------ VISIBLE ------------------------------

     BEGIN

          DECLARE

               PACKAGE PACK IS

                    SUBTYPE SMALLER IS INTEGER RANGE 1 .. 5;

                    TYPE INCOMPLETE(A : SMALLER);

                    TYPE ACC_INC IS ACCESS INCOMPLETE;

                    SUBTYPE SUB_ACC IS ACC_INC(IDENT_INT(6));

                    TYPE INCOMPLETE(A : SMALLER) IS

                         RECORD

                              T : INTEGER := A;

                         END RECORD;

               END PACK;

               PACKAGE BODY PACK IS

               BEGIN

                    FAILED("CONSTRAINT_ERROR NOT RAISED - VISIBLE");

                    DECLARE

                         Z : SUB_ACC := NEW INCOMPLETE(IDENT_INT(6));

                    BEGIN

                         IF IDENT_INT(Z.T) = IDENT_INT(6) THEN

                              COMMENT("THIS LINE SHOULD NOT PRINT");

                         END IF;

                    END;

               EXCEPTION

                    WHEN CONSTRAINT_ERROR =>

                         FAILED("CONSTRAINT_ERROR RAISED LATE " &

                                "- VISIBLE");

                    WHEN OTHERS =>

                         FAILED("UNEXPECTED EXCEPTION RAISED " &

                                "LATE - VISIBLE");

               END PACK;

          BEGIN

               NULL;

          END;

     EXCEPTION

          WHEN CONSTRAINT_ERROR =>

               NULL;

          WHEN OTHERS =>

               FAILED("UNEXPECTED EXCEPTION RAISED " &

                      "- VISIBLE");

     END;

------------------------------ PRIVATE ------------------------------

     BEGIN

          DECLARE

               PACKAGE PACK2 IS

                    SUBTYPE SMALLER IS INTEGER RANGE 1 .. 5;

                    TYPE PRIV IS PRIVATE;

               PRIVATE

                    TYPE PRIV IS

                         RECORD

                              V : INTEGER;

                         END RECORD;

                    TYPE INCOMPLETE(A : SMALLER);

                    TYPE ACC_INC IS ACCESS INCOMPLETE;

                    SUBTYPE SUB_ACC IS ACC_INC(IDENT_INT(0));

                    TYPE INCOMPLETE(A : SMALLER) IS

                         RECORD

                              T : INTEGER := A;

                              U : PRIV := (V => A ** IDENT_INT(2));

                         END RECORD;

               END PACK2;

               PACKAGE BODY PACK2 IS

               BEGIN

                    FAILED("CONSTRAINT_ERROR NOT RAISED - PRIVATE");

                    DECLARE

                         Z : SUB_ACC := NEW INCOMPLETE(IDENT_INT(0));

                    BEGIN

                         IF IDENT_INT(Z.T) = IDENT_INT(0) THEN

                              COMMENT("THIS LINE SHOULD NOT PRINT");

                         END IF;

                    END;

               EXCEPTION

                    WHEN CONSTRAINT_ERROR =>

                         FAILED("CONSTRAINT_ERROR RAISED TOO LATE " &

                                "- PRIVATE");

                    WHEN OTHERS =>

                         FAILED("UNEXPECTED EXCEPTION RAISED LATE" &

                                "- PRIVATE");

               END PACK2;

          BEGIN

               NULL;

          END;

     EXCEPTION

          WHEN CONSTRAINT_ERROR =>

               NULL;

          WHEN OTHERS =>

                         FAILED("UNEXPECTED EXCEPTION RAISED " &

                                "- PRIVATE");

     END;

-------------------------- DECLARATIVE PART --------------------------

     BEGIN

          DECLARE

               SUBTYPE SMALLER IS INTEGER RANGE 1 .. 5;

               TYPE INCOMPLETE(A : SMALLER);

               TYPE ACC_INC IS ACCESS INCOMPLETE;

               SUBTYPE SUB_ACC IS ACC_INC(IDENT_INT(6));

               TYPE INCOMPLETE(A : SMALLER) IS

                    RECORD

                         T : INTEGER := INTEGER'(A);

                    END RECORD;

          BEGIN

               FAILED("CONSTRAINT_ERROR NOT RAISED - BLOCK " &

                      "STATEMENT");

               DECLARE

                    Z : SUB_ACC := NEW INCOMPLETE(IDENT_INT(6));

               BEGIN

                    IF IDENT_INT(Z.T) = IDENT_INT(6) THEN

                         COMMENT("THIS LINE SHOULD NOT PRINT");

                    END IF;

               END;

          EXCEPTION

               WHEN CONSTRAINT_ERROR =>

                    FAILED("CONSTRAINT_ERROR RAISED TOO LATE " &

                           "- BLOCK STATEMENT");

               WHEN OTHERS =>

                    FAILED("UNEXPECTED EXCEPTION RAISED LATE" &

                           "- BLOCK STATEMENT");

          END;

     EXCEPTION

          WHEN CONSTRAINT_ERROR =>

               NULL;

          WHEN OTHERS =>

                         FAILED("UNEXPECTED EXCEPTION RAISED " &

                                "- BLOCK STATEMENT");

     END;

     RESULT;

END C38107B;