| -- 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; |