--
-- CD70001.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 package System includes Max_Base_Digits, Address,
--      Null_Address, Word_Size, functions "<", "<=", ">", ">=", "="
--      (with Address parameters and Boolean results), Bit_Order,
--      Default_Bit_Order, Any_Priority, Interrupt_Priority,
--      and Default_Priority.
--
--      Check that package System.Storage_Elements includes all required
--      types and operations.
--
-- TEST DESCRIPTION:
--      The test checks for the existence of the names additional
--      to package system above those names tested for in 9Xbasic.
--
--      This test checks that the semantics provided in Storage_Elements
--      are present and operate marginally within expectations (to the best
--      extent possible in a portable implementation independent fashion).
--
--
-- CHANGE HISTORY:
--      09 MAY 95   SAIC   Initial version
--      27 JAN 96   SAIC   Revised for 2.1; Allow negative address delta
--
--!

with Report;
with Ada.Text_IO;
with System.Storage_Elements;
with System.Address_To_Access_Conversions;
procedure CD70001 is
  use System;

  procedure CD70 is

    type Int_Max is range Min_Int .. Max_Int;

    My_Int : Int_Max := System.Max_Base_Digits + System.Word_Size;

    An_Address : Address;
    An_Other_Address : Address := An_Address'Address;

  begin  -- 7.0


      if Default_Bit_Order not in High_Order_First..Low_Order_First then
         Report.Failed ("Default_Bit_Order invalid");
      end if;

      if Bit_Order'Pos(High_Order_First) /= 0 then
         Report.Failed ("Bit_Order'Pos(High_Order_First) /= 0");
      end if;

      if Bit_Order'Pos(Low_Order_First) /= 1 then
         Report.Failed ("Bit_Order'Pos(Low_Order_First) /= 1");
      end if;

      An_Address := My_Int'Address;

      if An_Address = Null_Address then
        Report.Failed ("Null_Address matched a real address");
      end if;


      if An_Address'Address /= An_Other_Address then
        Report.Failed("Value set at elaboration not equal to itself");
      end if;

      if An_Address'Address > An_Other_Address 
         and An_Address'Address < An_Other_Address then
        Report.Failed("Address is both greater and less!");
      end if;

      if not (An_Address'Address >= An_Other_Address 
         and An_Address'Address <= An_Other_Address) then
        Report.Failed("Address comparisons wrong");
      end if;


      if Priority'First /= Any_Priority'First then
        Report.Failed ("Priority'First /= Any_Priority'First");
      end if;

      if Interrupt_Priority'First /= Priority'Last+1 then
        Report.Failed ("Interrupt_Priority'First /= Priority'Last+1");
      end if;

      if Interrupt_Priority'Last /= Any_Priority'Last then
        Report.Failed ("Interrupt_Priority'Last /= Any_Priority'Last");
      end if;

      if Default_Priority /= ((Priority'First + Priority'Last)/2) then
        Report.Failed ("Default_Priority wrong value");
      end if;

  end CD70;

  procedure CD71 is
    use System.Storage_Elements;

    Storehouse_1 : Storage_Array(0..127);
    Storehouse_2 : Storage_Array(0..127);

    House_Offset : Storage_Offset;

  begin  -- 7.1


      if Storage_Count'First /= 0 then
        Report.Failed ("Storage_Count'First /= 0");
      end if;

      if Storage_Count'Last /= Storage_Offset'Last then
        Report.Failed ("Storage_Count'Last /= Storage_Offset'Last");
      end if;


      if Storage_Element'Size /= Storage_Unit then
        Report.Failed ("Storage_Element'Size /= Storage_Unit");
      end if;

      if Storage_Array'Component_Size /= Storage_Unit then
        Report.Failed ("Storage_Array'Element_Size /= Storage_Unit");
      end if;

      if Storage_Element'Last+1 /= 0 then
        Report.Failed ("Storage_Element not modular");
      end if;


      -- "+", "-"( Address, Storage_Offset) and inverse

      House_Offset := Storehouse_2'Address - Storehouse_1'Address;
      -- Address - Address = Offset
      -- Note that House_Offset may be a negative value

      if House_Offset + Storehouse_1'Address /= Storehouse_2'Address then
      -- Offset + Address = Address
        Report.Failed ("Storage arithmetic non-linear O+A");
      end if;

      if Storehouse_1'Address + House_Offset /= Storehouse_2'Address then
      -- Address + Offset = Address
        Report.Failed ("Storage arithmetic non-linear A+O");
      end if;

      if Storehouse_2'Address - House_Offset /= Storehouse_1'Address then
      -- Address - Offset = Address
        Report.Failed ("Storage arithmetic non-linear A-O");
      end if;

      if (Storehouse_2'Address mod abs(House_Offset) > abs(House_Offset)) then
      -- "mod"( Address, Storage_Offset)
        Report.Failed("Mod arithmetic");
      end if;


      if Storehouse_1'Address
         /= To_Address(To_Integer(Storehouse_1'Address)) then
        Report.Failed("To_Address, To_Integer not symmetric");
      end if;

  end CD71;


begin  -- Main test procedure.

   Report.Test ("CD70001", "Check package System" );

   CD70;

   CD71;

  Report.Result;

end CD70001;