| -- C48009B.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. |
| --* |
| -- FOR ALLOCATORS OF THE FORM "NEW T'(X)", CHECK THAT CONSTRAINT_ERROR |
| -- IS RAISED IF T IS AN UNCONSTRAINED RECORD OR PRIVATE TYPE, (X) IS AN |
| -- AGGREGATE OR A VALUE OF TYPE T, AND ONE OF THE DISCRIMINANT VALUES IN |
| -- X: |
| -- 1) DOES NOT SATISFY THE RANGE CONSTRAINT FOR THE CORRESPONDING |
| -- DISCRIMINANT OF T. |
| -- 2) DOES NOT EQUAL THE DISCRIMINANT VALUE SPECIFIED IN THE |
| -- DECLARATION OF THE ALLOCATOR'S BASE TYPE. |
| -- 3) A DISCRIMINANT VALUE IS COMPATIBLE WITH A DISCRIMINANT'S SUBTYPE |
| -- BUT DOES NOT PROVIDE A COMPATIBLE INDEX OR DISCRIMINANT |
| -- CONSTRAINT FOR A SUBCOMPONENT DEPENDENT ON THE DISCRIMINANT. |
| |
| -- RM 01/08/80 |
| -- NL 10/13/81 |
| -- SPS 10/26/82 |
| -- JBG 03/02/83 |
| -- EG 07/05/84 |
| |
| WITH REPORT; |
| |
| PROCEDURE C48009B IS |
| |
| USE REPORT; |
| |
| BEGIN |
| |
| TEST( "C48009B" , "FOR ALLOCATORS OF THE FORM 'NEW T '(X)', " & |
| "CHECK THAT CONSTRAINT_ERROR IS RAISED WHEN " & |
| "APPROPRIATE - UNCONSTRAINED RECORD AND " & |
| "PRIVATE TYPES"); |
| |
| DECLARE |
| |
| SUBTYPE I1_7 IS INTEGER RANGE IDENT_INT(1)..IDENT_INT(7); |
| SUBTYPE I1_10 IS INTEGER RANGE IDENT_INT(1)..IDENT_INT(10); |
| SUBTYPE I2_9 IS INTEGER RANGE IDENT_INT(2)..IDENT_INT(9); |
| |
| TYPE REC (A : I2_9) IS |
| RECORD |
| NULL; |
| END RECORD; |
| |
| TYPE ARR IS ARRAY (I2_9 RANGE <>) OF INTEGER; |
| |
| TYPE T_REC (C : I1_10) IS |
| RECORD |
| D : REC(C); |
| END RECORD; |
| |
| TYPE T_ARR (C : I1_10) IS |
| RECORD |
| D : ARR(2..C); |
| E : ARR(C..9); |
| END RECORD; |
| |
| TYPE T_REC_REC (A : I1_10) IS |
| RECORD |
| B : T_REC(A); |
| END RECORD; |
| |
| TYPE T_REC_ARR (A : I1_10) IS |
| RECORD |
| B : T_ARR(A); |
| END RECORD; |
| |
| TYPE TB ( A : I1_7 ) IS |
| RECORD |
| R : INTEGER; |
| END RECORD; |
| |
| TYPE A_T_REC_REC IS ACCESS T_REC_REC; |
| TYPE A_T_REC_ARR IS ACCESS T_REC_ARR; |
| TYPE ATB IS ACCESS TB; |
| TYPE ACTB IS ACCESS TB(3); |
| |
| VA_T_REC_REC : A_T_REC_REC; |
| VA_T_REC_ARR : A_T_REC_ARR; |
| VB : ATB; |
| VCB : ACTB; |
| |
| PACKAGE P IS |
| TYPE PRIV( A : I1_10 ) IS PRIVATE; |
| CONS_PRIV : CONSTANT PRIV; |
| PRIVATE |
| TYPE PRIV( A : I1_10 ) IS |
| RECORD |
| R : INTEGER; |
| END RECORD; |
| CONS_PRIV : CONSTANT PRIV := (2, 3); |
| END P; |
| |
| USE P; |
| |
| TYPE A_PRIV IS ACCESS P.PRIV; |
| TYPE A_CPRIV IS ACCESS P.PRIV (3); |
| |
| VP : A_PRIV; |
| VCP : A_CPRIV; |
| |
| FUNCTION ALLOC1(X : P.PRIV) RETURN A_CPRIV IS |
| BEGIN |
| IF EQUAL(1, 1) THEN |
| RETURN NEW P.PRIV'(X); |
| ELSE |
| RETURN NULL; |
| END IF; |
| END ALLOC1; |
| FUNCTION ALLOC2(X : TB) RETURN ACTB IS |
| BEGIN |
| IF EQUAL(1, 1) THEN |
| RETURN NEW TB'(X); |
| ELSE |
| RETURN NULL; |
| END IF; |
| END ALLOC2; |
| |
| BEGIN |
| |
| BEGIN -- B1 |
| VB := NEW TB'(A => IDENT_INT(0), R => 1); |
| FAILED ("NO EXCEPTION RAISED - CASE 1A"); |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED( "WRONG EXCEPTION RAISED - CASE 1A" ); |
| END; |
| |
| BEGIN |
| VB := NEW TB'(A => 8, R => 1); |
| FAILED ("NO EXCEPTION RAISED - CASE 1B"); |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED( "WRONG EXCEPTION RAISED - CASE 1B"); |
| END; -- B1 |
| |
| BEGIN -- B2 |
| VCB := NEW TB'(2, 3); |
| FAILED ("NO EXCEPTION RAISED - CASE 2A"); |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 2A"); |
| END; |
| |
| BEGIN |
| IF ALLOC2((IDENT_INT(4), 3)) = NULL THEN |
| FAILED ("IMPOSSIBLE - CASE 2B"); |
| END IF; |
| FAILED ("NO EXCEPTION RAISED - CASE 2B"); |
| EXCEPTION |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 2B"); |
| END; |
| |
| BEGIN |
| |
| IF ALLOC1(CONS_PRIV) = NULL THEN |
| FAILED ("IMPOSSIBLE - CASE 2C"); |
| END IF; |
| FAILED ("NO EXCEPTION RAISED - CASE 2C"); |
| |
| EXCEPTION |
| |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 2C"); |
| |
| END; -- B2 |
| |
| BEGIN -- B3 |
| |
| VA_T_REC_REC := NEW T_REC_REC'(1, (1, (A => 1))); |
| FAILED ("NO EXCEPTION RAISED - CASE 3A"); |
| |
| EXCEPTION |
| |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 3A"); |
| |
| END; |
| |
| BEGIN |
| |
| VA_T_REC_REC := NEW T_REC_REC'(10, |
| (10, (A => 10))); |
| FAILED ("NO EXCEPTION RAISED - CASE 3B"); |
| |
| EXCEPTION |
| |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 3B"); |
| |
| END; |
| |
| BEGIN |
| |
| VA_T_REC_ARR := NEW T_REC_ARR'(1, (1, (OTHERS => 1), |
| (OTHERS => 2))); |
| FAILED ("NO EXCEPTION RAISED - CASE 3C"); |
| |
| EXCEPTION |
| |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 3C"); |
| |
| END; |
| |
| BEGIN |
| |
| VA_T_REC_ARR := NEW T_REC_ARR'(10, (10, (OTHERS => 1), |
| (OTHERS => 2))); |
| FAILED ("NO EXCEPTION RAISED - CASE 3D"); |
| |
| EXCEPTION |
| |
| WHEN CONSTRAINT_ERROR => NULL; |
| WHEN OTHERS => |
| FAILED ("WRONG EXCEPTION RAISED - CASE 3D"); |
| |
| END; |
| |
| END; |
| |
| RESULT; |
| |
| END C48009B; |