-- C49023A.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 A CONSTANT DECLARED BY AN OBJECT DECLARATION CAN BE USED
-- IN A STATIC EXPRESSION IF THE CONSTANT WAS DECLARED WITH A STATIC
-- SUBTYPE AND INITIALIZED WITH A STATIC EXPRESSION.

-- L.BROWN  10/01/86

WITH REPORT; USE REPORT;
PROCEDURE  C49023A  IS

BEGIN
     TEST("C49023A","A CONSTANT DECLARED BY AN OBJECT DECLARATION "&
                    "UNDER CERTAIN CONDITIONS CAN BE USED IN A "&
                    "STATIC EXPRESSION");
     DECLARE
          TYPE ENUM IS (RED,GREEN,BLUE,YELLOW);
          SUBTYPE SENUM IS ENUM RANGE RED .. BLUE;
          CONEN : CONSTANT SENUM := GREEN;
          TYPE INT IS RANGE 1 .. 10;
          SUBTYPE SINT IS INT RANGE 1 .. 5;
          CONIN : CONSTANT SINT := 3;
          TYPE FLT IS DIGITS 3 RANGE 0.0 .. 25.0;
          SUBTYPE SFLT IS FLT RANGE 10.0 .. 20.0;
          CONFL : CONSTANT SFLT := 11.0;
          TYPE FIX IS DELTA 0.25 RANGE 0.0 .. 25.0;
          SUBTYPE SFIX IS FIX RANGE 0.0 .. 12.0;
          CONFI : CONSTANT SFIX := 0.25;
          CAS_EN : ENUM := CONEN;
          TYPE ITEG IS RANGE 1 .. CONIN;
          TYPE FLTY IS DIGITS CONIN;
          TYPE FIXY IS DELTA CONFI RANGE 0.0 .. 10.0;
          TYPE REAL IS DELTA 0.25 RANGE 0.0 .. 11.0;
          TYPE FIXTY IS DELTA 0.25 RANGE 0.0 .. CONFL;

          FUNCTION IDENT_REAL (X : REAL) RETURN REAL;

          PACKAGE P IS
               TYPE T IS PRIVATE;
               CON1 : CONSTANT T;
          PRIVATE
               TYPE T IS NEW INTEGER;
               CON1 : CONSTANT T := 10;
               TYPE NINT IS RANGE 1 .. CON1;
          END P;
          PACKAGE BODY P IS
               TYPE CON2 IS RANGE CON1 .. 50;
          BEGIN
               IF NINT'LAST /= NINT(IDENT_INT(10)) THEN
                    FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 1");
               END IF;
               IF CON2'FIRST /= CON2(IDENT_INT(10)) THEN
                    FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 2");
               END IF;
          END P;

          FUNCTION IDENT_REAL (X : REAL) RETURN REAL IS
          BEGIN
               IF EQUAL(3,3) THEN
                    RETURN X;
               ELSE
                    RETURN 0.0;
               END IF;
          END IDENT_REAL;

     BEGIN

          IF ITEG'LAST /= ITEG(IDENT_INT(3))  THEN
               FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 3");
          END IF;

          IF FLTY'DIGITS /= IDENT_INT(3)  THEN
               FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 4");
          END IF;

          IF FIXY'DELTA /= IDENT_REAL(0.25)  THEN
               FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 5");
          END IF;

          IF FIXTY'LAST /= FIXTY(IDENT_REAL(11.0)) THEN
               FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 6");
          END IF;

          CASE CAS_EN IS
               WHEN CONEN =>
                    CAS_EN := RED;
               WHEN OTHERS =>
                    FAILED("INCORRECT VALUE FOR STATIC EXPRESSION 7");
          END CASE;

     END;

     RESULT;

END C49023A;