-- C72002A.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 THE DECLARATIVE ITEMS IN A PACKAGE SPECIFICATION ARE
--     ELABORATED IN THE ORDER DECLARED.

-- HISTORY:
--     DHH 03/09/88 CREATED ORIGINAL TEST.

WITH REPORT; USE REPORT;
PROCEDURE C72002A IS

     A : INTEGER := 0;
     TYPE ORDER_ARRAY IS ARRAY(1 .. 14) OF INTEGER;
     OBJECT_ARRAY : ORDER_ARRAY;
     TYPE REAL IS DIGITS 4;
     TYPE ENUM IS (RED,YELLOW,BLUE);

     TYPE ARR IS ARRAY(1 ..2) OF BOOLEAN;
     D : ARR := (TRUE, TRUE);
     E : ARR := (FALSE, FALSE);

     TYPE REC IS
          RECORD
               I : INTEGER;
          END RECORD;
     B : REC := (I => IDENT_INT(1));
     C : REC := (I => IDENT_INT(2));

     FUNCTION GIVEN_ORDER(X : INTEGER) RETURN INTEGER IS
          Y : INTEGER;
     BEGIN
          Y := X + 1;
          RETURN Y;
     END GIVEN_ORDER;

     FUNCTION BOOL(X : INTEGER) RETURN BOOLEAN IS
     BEGIN
          IF X = IDENT_INT(1) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN TRUE;
          ELSIF X = IDENT_INT(8) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN FALSE;
          END IF;
     END BOOL;

     FUNCTION INT(X : INTEGER) RETURN INTEGER IS
     BEGIN
          IF X = IDENT_INT(2) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN IDENT_INT(1);
          ELSIF X = IDENT_INT(9) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN IDENT_INT(2);
          END IF;
     END INT;

     FUNCTION FLOAT(X : INTEGER) RETURN REAL IS
     BEGIN
          IF X = IDENT_INT(3) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN 1.0;
          ELSIF X = IDENT_INT(10) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN 2.0;
          END IF;
     END FLOAT;

     FUNCTION CHAR(X : INTEGER) RETURN CHARACTER IS
     BEGIN
          IF X = IDENT_INT(4) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN 'A';
          ELSIF X = IDENT_INT(11) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN 'Z';
          END IF;
     END CHAR;

     FUNCTION ENUMR(X : INTEGER) RETURN ENUM IS
     BEGIN
          IF X = IDENT_INT(5) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN RED;
          ELSIF X = IDENT_INT(12) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN YELLOW;
          END IF;
     END ENUMR;

     FUNCTION ARRY(X : INTEGER) RETURN ARR IS
     BEGIN
          IF X = IDENT_INT(6) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN D;
          ELSIF X = IDENT_INT(13) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN E;
          END IF;
     END ARRY;

     FUNCTION RECOR(X : INTEGER) RETURN REC IS
     BEGIN
          IF X = IDENT_INT(7) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN B;
          ELSIF X = IDENT_INT(14) THEN
               A := GIVEN_ORDER(A);
               OBJECT_ARRAY(X) := A;
               RETURN C;
          END IF;
     END RECOR;

     PACKAGE PACK IS
          A : BOOLEAN   := BOOL(1);
          B : INTEGER   := INT(2);
          C : REAL      := FLOAT(3);
          D : CHARACTER := CHAR(4);
          E : ENUM      := ENUMR(5);
          F : ARR       := ARRY(6);
          G : REC       := RECOR(7);
          H : BOOLEAN   := BOOL(8);
          I : INTEGER   := INT(9);
          J : REAL      := FLOAT(10);
          K : CHARACTER := CHAR(11);
          L : ENUM      := ENUMR(12);
          M : ARR       := ARRY(13);
          N : REC       := RECOR(14);
     END PACK;

BEGIN
     TEST("C72002A", "CHECK THAT THE DECLARATIVE ITEMS IN A PACKAGE " &
                     "SPECIFICATION ARE ELABORATED IN THE ORDER " &
                     "DECLARED");

     IF OBJECT_ARRAY(1) /= IDENT_INT(1) THEN
          FAILED("BOOLEAN 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(2) /= IDENT_INT(2) THEN
          FAILED("INTEGER 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(3) /= IDENT_INT(3) THEN
          FAILED("REAL 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(4) /= IDENT_INT(4) THEN
          FAILED("CHARACTER 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(5) /= IDENT_INT(5) THEN
          FAILED("ENUMERATION 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(6) /= IDENT_INT(6) THEN
          FAILED("ARRAY 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(7) /= IDENT_INT(7) THEN
          FAILED("RECORD 1 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(8) /= IDENT_INT(8) THEN
          FAILED("BOOLEAN 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(9) /= IDENT_INT(9) THEN
          FAILED("INTEGER 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(10) /= IDENT_INT(10) THEN
          FAILED("REAL 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(11) /= IDENT_INT(11) THEN
          FAILED("CHARACTER 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(12) /= IDENT_INT(12) THEN
          FAILED("ENUMERATION 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(13) /= IDENT_INT(13) THEN
          FAILED("ARRAY 2 ELABORATED OUT OF ORDER");
     END IF;

     IF OBJECT_ARRAY(14) /= IDENT_INT(14) THEN
          FAILED("RECORD 2 ELABORATED OUT OF ORDER");
     END IF;

     RESULT;
END C72002A;