| -- C32001E.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. |
| --* |
| -- CHECK THAT IN MULTIPLE OBJECT DECLARATIONS FOR PRIVATE TYPES, THE |
| -- SUBTYPE INDICATION AND THE INITIALIZATION EXPRESSIONS ARE EVALUATED |
| -- ONCE FOR EACH NAMED OBJECT THAT IS DECLARED AND THE SUBTYPE |
| -- INDICATION IS EVALUATED FIRST. ALSO, CHECK THAT THE EVALUATIONS |
| -- YIELD THE SAME RESULT AS A SEQUENCE OF SINGLE OBJECT DECLARATIONS. |
| |
| -- RJW 7/18/86 |
| |
| WITH REPORT; USE REPORT; |
| |
| PROCEDURE C32001E IS |
| |
| BUMP : ARRAY (1 .. 10) OF INTEGER := (OTHERS => 0); |
| G1 : ARRAY (5 .. 6) OF INTEGER; |
| |
| FUNCTION F (I : INTEGER) RETURN INTEGER IS |
| BEGIN |
| BUMP (I) := BUMP (I) + 1; |
| RETURN BUMP (I); |
| END F; |
| |
| FUNCTION G (I : INTEGER) RETURN INTEGER IS |
| BEGIN |
| BUMP (I) := BUMP (I) + 1; |
| G1 (I) := BUMP (I); |
| RETURN BUMP (I); |
| END G; |
| |
| BEGIN |
| TEST ("C32001E", "CHECK THAT IN MULTIPLE OBJECT DECLARATIONS " & |
| "FOR PRIVATE TYPES, THE SUBTYPE INDICATION " & |
| "AND THE INITIALIZATION EXPRESSIONS ARE " & |
| "EVALUATED ONCE FOR EACH NAMED OBJECT THAT " & |
| "IS DECLARED AND THE SUBTYPE INDICATION IS " & |
| "EVALUATED FIRST. ALSO, CHECK THAT THE " & |
| "EVALUATIONS YIELD THE SAME RESULT AS A " & |
| "SEQUENCE OF SINGLE OBJECT DECLARATIONS" ); |
| |
| DECLARE |
| PACKAGE PKG1 IS |
| TYPE PBOOL IS PRIVATE; |
| TYPE PINT IS PRIVATE; |
| TYPE PREC (D : INTEGER) IS PRIVATE; |
| TYPE PARR IS PRIVATE; |
| TYPE PACC IS PRIVATE; |
| |
| FUNCTION INIT1 (I : INTEGER) RETURN PBOOL; |
| FUNCTION INIT2 (I : INTEGER) RETURN PINT; |
| FUNCTION INIT3 (I : INTEGER) RETURN PREC; |
| FUNCTION INIT4 (I : INTEGER) RETURN PARR; |
| FUNCTION INIT5 (I : INTEGER) RETURN PACC; |
| |
| PROCEDURE CHECK1 (B : PBOOL; I : INTEGER; S : STRING); |
| PROCEDURE CHECK2 (I : PINT; J : INTEGER; S : STRING); |
| PROCEDURE CHECK3 (R : PREC; I, J : INTEGER; |
| S : STRING); |
| PROCEDURE CHECK4 (A : PARR; I, J : INTEGER; |
| S : STRING); |
| PROCEDURE CHECK5 (V : PACC; S : STRING); |
| PROCEDURE CHECK6 (V : PACC; S : STRING); |
| |
| PRIVATE |
| TYPE PBOOL IS NEW BOOLEAN; |
| TYPE PINT IS NEW INTEGER; |
| |
| TYPE PREC (D : INTEGER) IS |
| RECORD |
| VALUE : INTEGER; |
| END RECORD; |
| |
| TYPE PARR IS ARRAY (1 .. 2) OF INTEGER; |
| |
| TYPE VECTOR IS ARRAY (NATURAL RANGE <>) OF INTEGER; |
| TYPE PACC IS ACCESS VECTOR; |
| END PKG1; |
| |
| PACKAGE BODY PKG1 IS |
| FUNCTION INIT1 (I : INTEGER) RETURN PBOOL IS |
| BEGIN |
| RETURN PBOOL'VAL (F (I) - 1); |
| END INIT1; |
| |
| FUNCTION INIT2 (I : INTEGER) RETURN PINT IS |
| BEGIN |
| RETURN PINT'VAL (F (I)); |
| END INIT2; |
| |
| FUNCTION INIT3 (I : INTEGER) RETURN PREC IS |
| PR : PREC (G1 (I)) := (G1 (I), F (I)); |
| BEGIN |
| RETURN PR; |
| END INIT3; |
| |
| FUNCTION INIT4 (I : INTEGER) RETURN PARR IS |
| PA : PARR := (1 .. 2 => F (I)); |
| BEGIN |
| RETURN PA; |
| END INIT4; |
| |
| FUNCTION INIT5 (I : INTEGER) RETURN PACC IS |
| ACCV : PACC := NEW VECTOR'(1 .. F (I) => F (I)); |
| BEGIN |
| RETURN ACCV; |
| END INIT5; |
| |
| PROCEDURE CHECK1 (B : PBOOL; I : INTEGER; S : STRING) IS |
| BEGIN |
| IF B /= PBOOL'VAL (I) THEN |
| FAILED ( S & " HAS AN INCORRECT VALUE OF " & |
| PBOOL'IMAGE (B)); |
| END IF; |
| END CHECK1; |
| |
| PROCEDURE CHECK2 (I : PINT; J : INTEGER; S : STRING) IS |
| BEGIN |
| IF I /= PINT'VAL (J) THEN |
| FAILED ( S & " HAS AN INCORRECT VALUE OF " & |
| PINT'IMAGE (I)); |
| END IF; |
| END CHECK2; |
| |
| PROCEDURE CHECK3 (R : PREC; I, J : INTEGER; |
| S : STRING) IS |
| BEGIN |
| IF R.D /= I THEN |
| FAILED ( S & ".D HAS AN INCORRECT VALUE OF " |
| & INTEGER'IMAGE (R.D)); |
| END IF; |
| |
| IF R.VALUE /= J THEN |
| FAILED ( S & ".VALUE HAS AN INCORRECT " & |
| "VALUE OF " & |
| INTEGER'IMAGE (R.VALUE)); |
| END IF; |
| END CHECK3; |
| |
| PROCEDURE CHECK4 (A : PARR; I, J : INTEGER; |
| S : STRING) IS |
| BEGIN |
| IF A /= (I, J) AND A /= (J, I) THEN |
| FAILED ( S & " HAS AN INCORRECT VALUE" ); |
| END IF; |
| END CHECK4; |
| |
| PROCEDURE CHECK5 (V : PACC; S : STRING) IS |
| BEGIN |
| IF V'LAST /= 1 THEN |
| FAILED ( S & " HAS AN INCORRECT UPPER BOUND " |
| & "OF " & INTEGER'IMAGE (V'LAST)); |
| END IF; |
| |
| IF V (1) /= 2 THEN |
| FAILED ( S & " HAS AN INCORRECT COMPONENT " & |
| "VALUE" ); |
| END IF; |
| END CHECK5; |
| |
| PROCEDURE CHECK6 (V : PACC; S : STRING) IS |
| BEGIN |
| IF V'LAST /= 3 THEN |
| FAILED ( S & " HAS AN INCORRECT UPPER BOUND " |
| & "OF " & INTEGER'IMAGE (V'LAST)); |
| END IF; |
| |
| IF V.ALL = (4, 5, 6) OR V.ALL = (5, 4, 6) OR |
| V.ALL = (4, 6, 5) OR V.ALL = (6, 4, 5) OR |
| V.ALL = (5, 6, 4) OR V.ALL = (6, 5, 4) THEN |
| NULL; |
| ELSE |
| FAILED ( S & " HAS AN INCORRECT COMPONENT " & |
| "VALUE" ); |
| END IF; |
| END CHECK6; |
| |
| END PKG1; |
| |
| PACKAGE PKG2 IS END PKG2; |
| |
| PACKAGE BODY PKG2 IS |
| USE PKG1; |
| |
| B1, B2 : PBOOL := INIT1 (1); |
| CB1, CB2 : CONSTANT PBOOL := INIT1 (2); |
| |
| I1, I2 : PINT := INIT2 (3); |
| CI1, CI2 : CONSTANT PINT := INIT2 (4); |
| |
| R1, R2 : PREC (G (5)) := INIT3 (5); |
| CR1, CR2 : CONSTANT PREC (G (6)) := INIT3 (6); |
| |
| A1, A2 : PARR := INIT4 (7); |
| CA1, CA2 : CONSTANT PARR := INIT4 (8); |
| |
| V1, V2 : PACC := INIT5 (9); |
| CV1, CV2 : CONSTANT PACC := INIT5 (10); |
| |
| BEGIN |
| CHECK1 (B1, 0, "B1"); |
| CHECK1 (B2, 1, "B2"); |
| CHECK1 (CB1, 0, "CB1"); |
| CHECK1 (CB2, 1, "CB2"); |
| |
| CHECK2 (I1, 1, "I1"); |
| CHECK2 (I2, 2, "I2"); |
| CHECK2 (CI1, 1, "CI1"); |
| CHECK2 (CI2, 2, "CI2"); |
| |
| CHECK3 (R1, 1, 2, "R1"); |
| CHECK3 (R2, 3, 4, "R2"); |
| CHECK3 (CR1, 1, 2, "CR1"); |
| CHECK3 (CR2, 3, 4, "CR2"); |
| |
| CHECK4 (A1, 1, 2, "A1"); |
| CHECK4 (A2, 3, 4, "A2"); |
| CHECK4 (CA1, 1, 2, "CA1"); |
| CHECK4 (CA2, 3, 4, "CA2"); |
| |
| CHECK5 (V1, "V1"); |
| CHECK6 (V2, "V2"); |
| CHECK5 (CV1, "CV1"); |
| CHECK6 (CV2, "CV2"); |
| END PKG2; |
| |
| BEGIN |
| NULL; |
| END; |
| |
| RESULT; |
| END C32001E; |
