Subversion Repositories openrisc_me

-- CC1005B.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:

--     CHECK THAT A GENERIC UNIT'S IDENTIFIER CAN BE USED IN ITS

--     FORMAL PART:

--

--     (A) AS THE SELECTOR IN AN EXPANDED NAME TO DENOTE AN ENTITY IN THE

--         VISIBLE PART OF A PACKAGE, OR TO DENOTE AN ENTITY IMMEDIATELY

--         ENCLOSED IN A CONSTRUCT OTHER THAN THE CONSTRUCT IMMEDIATELY

--         ENCLOSING THE GENERIC UNIT.

--

--     (B) AS A SELECTOR TO DENOTE A COMPONENT OF A RECORD OBJECT,

--         AS THE NAME OF A RECORD OR DISCRIMINANT COMPONENT IN A RECORD

--         AGGREGATE, AND AS THE NAME OF A FORMAL PARAMETER IN A

--         FUNCTION CALL.

-- HISTORY:

--     BCB 08/03/88  CREATED ORIGINAL TEST.

--     JRL 03/20/92  DELETED TEST IN BLOCK STATEMENT; CONSOLIDATED

--                   WITH CC1005C.

WITH REPORT; USE REPORT;

PROCEDURE CC1005B IS

     S : INTEGER := IDENT_INT(0);

     PACKAGE CC1005B IS

          I : INTEGER;

          S : INTEGER := IDENT_INT(5);

          GENERIC

               S : INTEGER := IDENT_INT(10);

               V : INTEGER := STANDARD.CC1005B.S;

               W : INTEGER := STANDARD.CC1005B.CC1005B.S;

          FUNCTION CC1005B RETURN INTEGER;

     END CC1005B;

     PACKAGE BODY CC1005B IS

          FUNCTION CC1005B RETURN INTEGER IS

          BEGIN

               IF NOT EQUAL(V,0) THEN

                    FAILED ("WRONG VALUE OF S USED IN ASSIGNMENT OF V");

               END IF;

               IF NOT EQUAL(W,5) THEN

                    FAILED ("WRONG VALUE OF S USED IN ASSIGNMENT OF W");

               END IF;

               RETURN 0;

          END CC1005B;

          FUNCTION NEW_CC IS NEW CC1005B;

     BEGIN

          TEST ("CC1005B", "CHECK THAT A GENERIC UNIT'S IDENTIFIER " &

                           "CAN BE USED IN ITS FORMAL PART: AS THE " &

                           "SELECTOR IN AN EXPANDED NAME TO DENOTE " &

                           "AN ENTITY IN THE VISIBLE PART OF A " &

                           "PACKAGE, OR TO DENOTE AN ENTITY " &

                           "IMMEDIATELY ENCLOSED IN A CONSTRUCT " &

                           "OTHER THAN THE CONSTRUCT IMMEDIATELY " &

                           "ENCLOSING THE GENERIC UNIT; AND AS A " &

                           "SELECTOR TO DENOTE A COMPONENT OF A " &

                           "RECORD OBJECT, AS THE NAME OF A RECORD " &

                           "OR DISCRIMINANT COMPONENT IN A RECORD " &

                           "AGGREGATE, AND AS THE NAME OF A FORMAL " &

                           "PARAMETER IN A FUNCTION CALL");

          I := NEW_CC;

     END CC1005B;

     FUNCTION F (P : INTEGER) RETURN INTEGER IS

     BEGIN

          RETURN P;

     END F;

BEGIN

     BLOCK1:

        DECLARE

             TYPE REC IS RECORD

                  P : INTEGER := IDENT_INT(0);

             END RECORD;

             TYPE REC2 (P : INTEGER) IS RECORD

                  NULL;

             END RECORD;

             R : REC;

             J : INTEGER;

             GENERIC

                  V : INTEGER := R.P;

                  X : REC := (P => IDENT_INT(10));

                  Y : REC2 := (P => IDENT_INT(15));

                  Z : INTEGER := F(P => IDENT_INT(20));

             FUNCTION P RETURN INTEGER;

             FUNCTION P RETURN INTEGER IS

             BEGIN

                  IF NOT EQUAL(V,0) THEN

                       FAILED ("WRONG VALUE OF P USED IN ASSIGNMENT " &

                               "OF V");

                  END IF;

                  IF NOT EQUAL(X.P,10) THEN

                       FAILED ("WRONG VALUE USED IN ASSIGNMENT OF X.P");

                  END IF;

                  IF NOT EQUAL(Y.P,15) THEN

                       FAILED ("WRONG VALUE USED IN ASSIGNMENT OF Y.P");

                  END IF;

                  IF NOT EQUAL(Z,20) THEN

                       FAILED ("WRONG VALUE OF P USED IN ASSIGNMENT " &

                               "OF Z");

                  END IF;

                  RETURN 0;

             END P;

             FUNCTION NEW_P IS NEW P;

        BEGIN

             J := NEW_P;

        END BLOCK1;

     RESULT;

END CC1005B;