-- CD40001.A
--
--                             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 Enumeration_Representation_Clauses are supported for
--      codes in the range System.Min_Int..System.Max_Int.
--
-- TEST DESCRIPTION:
--      This test defines several types, and checks that the range of the 
--      enumeration clause is as expected.
--
-- APPLICABILITY CRITERIA:
--      All implementations must attempt to compile this test.
--
--      For implementations validating against Systems Programming Annex (C):
--        this test must execute and report PASSED.
--
--      For implementations not validating against Annex C:
--        this test may report compile time errors at one or more points
--        indicated by "-- ANX-C RQMT", in which case it may be graded as inapplicable.
--        Otherwise, the test must execute and report PASSED.
--
--
-- CHANGE HISTORY:
--      22 JUL 95   SAIC   Initial version
--      07 MAY 96   SAIC   Revised for 2.1
--      16 FEB 98   EDS    Modified Documentation.
--!

with System;
with Ada.Unchecked_Conversion;
package CD40001_0 is

  type Press_The_Bounds is ( Negative_Large, Positive_Large );

  for Press_The_Bounds use
      ( Negative_Large => System.Min_Int,                     -- ANX-C RQMT.
        Positive_Large => System.Max_Int );                   -- ANX-C RQMT.

  type Add_The_Bounds is 
    ( Monday, Tuesday, Wednesday, Thursday, Friday, Saturday);

  for Add_The_Bounds use
      ( Monday    => System.Min_Int,                          -- ANX-C RQMT.
        Tuesday   => System.Min_Int + 1,                      -- ANX-C RQMT.
        Wednesday => System.Min_Int + 2,                      -- ANX-C RQMT.
        Thursday  => System.Min_Int + 3,                      -- ANX-C RQMT.
        Friday    => System.Min_Int + 4,                      -- ANX-C RQMT.
        Saturday  => System.Min_Int + 5 );                    -- ANX-C RQMT.

  type Minus_The_Bounds is ( Jan, Feb, Mar, Apr);

  for Minus_The_Bounds use
      ( Apr => System.Max_Int,                                -- ANX-C RQMT.
        Mar => System.Max_Int - 1,                            -- ANX-C RQMT.
        Feb => System.Max_Int - 2,                            -- ANX-C RQMT.
        Jan => System.Max_Int - 3 );                          -- ANX-C RQMT.

  type TC_Integer is range System.Min_Int..System.Max_Int;

  procedure TC_Check_Press; 

  procedure TC_Check_Add; 

  procedure TC_Check_Minus; 

  function TC_Compare_Press is new Ada.Unchecked_Conversion 
    (Press_The_Bounds, TC_Integer);

  function TC_Compare_Add is new Ada.Unchecked_Conversion 
    (Add_The_Bounds, TC_Integer);

  function TC_Compare_Minus is new Ada.Unchecked_Conversion 
    (Minus_The_Bounds, TC_Integer);

end CD40001_0;

     --==================================================================--

with Report;
package body CD40001_0 is

  procedure TC_Check_Press is
    My_Press_First : Press_The_Bounds := Negative_Large;
    My_Press_Last  : Press_The_Bounds := Positive_Large;
  begin
    if TC_Compare_Press (My_Press_First) /= System.Min_Int or
       TC_Compare_Press (My_Press_Last)  /= System.Max_Int 
    then
      Report.Failed 
        ("Expected enumeration size of System.Min_Int and System.Max_Int " &
         "not available for this implementation");
    end if;
  end TC_Check_Press;

  ---------------------------------------------------------------------------
  procedure TC_Check_Add is
    My_Monday    : Add_The_Bounds := Monday;
    My_Tuesday   : Add_The_Bounds := Tuesday; 
    My_Wednesday : Add_The_Bounds := Wednesday; 
    My_Thursday  : Add_The_Bounds := Thursday;
    My_Friday    : Add_The_Bounds := Friday;
    My_Saturday  : Add_The_Bounds := Saturday; 
  begin
    if TC_Compare_Add (My_Monday)    /= (System.Min_Int)     or
       TC_Compare_Add (My_Thursday)  /= (System.Min_Int + 3) or
       TC_Compare_Add (My_Wednesday) /= (System.Min_Int + 2) or
       TC_Compare_Add (My_Tuesday)   /= (System.Min_Int + 1) or
       TC_Compare_Add (My_Saturday)  /= (System.Min_Int + 5) or
       TC_Compare_Add (My_Friday)    /= (System.Min_Int + 4)   
    then
      Report.Failed
        ("Expected enumeration size of System.Min_Int, System.Min_Int + 1 " &
         "through System.Min_Int + 5 not available for this implementation");
    end if;
  end TC_Check_Add;

  ---------------------------------------------------------------------------
  procedure TC_Check_Minus is
    My_Jan : Minus_The_Bounds := Jan;
    My_Feb : Minus_The_Bounds := Feb; 
    My_Mar : Minus_The_Bounds := Mar; 
    My_Apr : Minus_The_Bounds := Apr;
  begin
    if TC_Compare_Minus (My_Jan) /= (System.Max_Int - 3) or
       TC_Compare_Minus (My_Feb) /= (System.Max_Int - 2) or
       TC_Compare_Minus (My_Mar) /= (System.Max_Int - 1) or
       TC_Compare_Minus (My_Apr) /= (System.Max_Int)
    then
      Report.Failed
        ("Expected enumeration size of System.Max_Int, System.Max_Int - 1 " &
         "through System.Max_Int - 3 not available for this implementation");
    end if;
  end TC_Check_Minus;

end CD40001_0;

     --==================================================================--

with Report;
with CD40001_0;

procedure CD40001 is

begin  -- Main test procedure.

  Report.Test ("CD40001", "Check that Enumeration_Representation_Clauses " &
                          "are supported for codes in the range " &
                          "System.Min_Int..System.Max_Int" );
   
  CD40001_0.TC_Check_Press;

  CD40001_0.TC_Check_Add;

  CD40001_0.TC_Check_Minus;

  Report.Result;

end CD40001;