-- CC1221B.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:
--     FOR A FORMAL INTEGER TYPE, CHECK THAT THE FOLLOWING BASIC
--     OPERATIONS ARE IMPLICITLY DECLARED AND ARE THEREFORE AVAILABLE
--     WITHIN THE GENERIC UNIT:  ATTRIBUTES 'FIRST, 'LAST, 'WIDTH,
--     'ADDRESS, AND 'SIZE.

-- HISTORY:
--     BCB 11/12/87  CREATED ORIGINAL TEST FROM SPLIT OF CC1221A.ADA.

WITH SYSTEM; USE SYSTEM;
WITH REPORT; USE REPORT;
PROCEDURE CC1221B IS

     SUBTYPE SUBINT IS INTEGER RANGE -100 .. 100;
     SUBTYPE NOINT IS INTEGER RANGE 1 .. -1;
     TYPE NEWINT IS NEW INTEGER;
     TYPE INT IS RANGE -300 .. 300;
     SUBTYPE SINT1 IS INT
          RANGE INT (IDENT_INT (-4)) .. INT (IDENT_INT (4));
     SUBTYPE SINT2 IS INT RANGE 16#E#E1 .. 2#1111_1111#;
     TYPE INT2 IS RANGE 0E8 .. 1E3;

BEGIN
     TEST ( "CC1221B", "FOR A FORMAL INTEGER TYPE, CHECK THAT THE " &
                       "FOLLOWING BASIC OPERATIONS ARE IMPLICITLY " &
                       "DECLARED AND ARE THEREFORE AVAILABLE " &
                       "WITHIN THE GENERIC UNIT:  ATTRIBUTES 'FIRST, " &
                       "'LAST, 'WIDTH, 'ADDRESS, AND 'SIZE");

     DECLARE -- (B) CHECKS FOR BASIC OPERATIONS OF A DISCRETE TYPE.
             --     PART II.

          GENERIC
               TYPE T IS RANGE <>;
               F, L : T;
               W : INTEGER;
          PROCEDURE P (STR : STRING);

          PROCEDURE P (STR : STRING) IS
               I : INTEGER := F'SIZE;
               T1 : T;
               A : ADDRESS := T1'ADDRESS;

          BEGIN
               IF T'FIRST /= F THEN
                    FAILED ( "INCORRECT VALUE FOR " & STR & "'FIRST" );
               END IF;

               IF T'LAST /= L THEN
                    FAILED ( "INCORRECT VALUE FOR " & STR & "'LAST" );
               END IF;

               IF T'BASE'FIRST > T'FIRST THEN
                    FAILED ( "INCORRECT RESULTS WITH " & STR &
                             "'BASE'FIRST" );
               END IF;

               IF T'BASE'LAST < T'LAST THEN
                    FAILED ( "INCORRECT RESULTS WITH " & STR &
                             "'BASE'LAST" );
               END IF;

               IF T'WIDTH /= W THEN
                    FAILED ( "INCORRECT VALUE FOR " & STR &
                             "'WIDTH" );
               END IF;

               IF T'BASE'WIDTH < T'WIDTH THEN
                    FAILED ( "INCORRECT RESULTS WITH " & STR &
                             "'BASE'WIDTH" );
               END IF;

          END P;

          GENERIC
               TYPE T IS RANGE <>;
          PROCEDURE Q;

          PROCEDURE Q IS
          BEGIN
               IF T'FIRST /= 1 THEN
                    FAILED ( "INCORRECT VALUE FOR NOINT'FIRST" );
               END IF;

               IF T'LAST /= -1 THEN
                    FAILED ( "INCORRECT VALUE FOR NOINT'LAST" );
               END IF;

               IF T'BASE'FIRST > T'FIRST THEN
                    FAILED ( "INCORRECT RESULTS WITH " &
                             "NOINT'BASE'FIRST" );
               END IF;

               IF T'BASE'LAST < T'LAST THEN
                    FAILED ( "INCORRECT RESULTS WITH " &
                             "NOINT'BASE'LAST" );
               END IF;

               IF T'WIDTH /= 0 THEN
                    FAILED ( "INCORRECT VALUE FOR " &
                             "NOINT'WIDTH" );
               END IF;

               IF T'BASE'WIDTH < T'WIDTH THEN
                    FAILED ( "INCORRECT RESULTS WITH " &
                             "NOINT'BASE'WIDTH" );
               END IF;

          END Q;

          PROCEDURE P1 IS NEW P (INTEGER, INTEGER'FIRST, INTEGER'LAST,
                                 INTEGER'WIDTH);
          PROCEDURE P2 IS NEW P (SUBINT, -100, 100, 4);
          PROCEDURE P3 IS NEW P (NEWINT, NEWINT'FIRST, NEWINT'LAST,
                                 NEWINT'WIDTH);
          PROCEDURE P4 IS NEW P (SINT1, -4, 4, 2);
          PROCEDURE P5 IS NEW P (SINT2, 224, 255, 4);
          PROCEDURE P6 IS NEW P (INT2 , 0, 1000, 5);

          PROCEDURE Q1 IS NEW Q (NOINT);

     BEGIN
           P1 ( "INTEGER" );
           P2 ( "SUBINT" );
           P3 ( "NEWINT" );
           P4 ( "SINT1" );
           P5 ( "SINT2" );
           P6 ( "INT2" );

           Q1;

     END; -- (B).

     RESULT;
END CC1221B;