Subversion Repositories openrisc_me

-- CXACB02.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 user defined subprograms can override the default

--      attributes 'Input and 'Output using attribute definition clauses,

--      when used with objects of discriminated record and multi-dimensional

--      array types.

--

-- TEST DESCRIPTION:

--      This test demonstrates that the default implementations of the

--      'Input and 'Output attributes can be overridden by user specified

--      subprograms in conjunction with attribute definition clauses.

--      These attributes have been overridden below, and in the user defined

--      substitutes, values are added or subtracted to global variables.

--      Following the completion of the writing/reading test, the global

--      variables are evaluated to ensure that the user defined subprograms

--      were used in overriding the type-related default attributes.

--

-- APPLICABILITY CRITERIA:

--      Applicable to all implementations that support external

--      Stream_IO files.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      14 Nov 95   SAIC    Corrected test errors for ACVC 2.0.1.

--

--!

with Report;

with Ada.Streams.Stream_IO;

procedure CXACB02 is

begin

   Report.Test ("CXACB02", "Check that user defined subprograms can "    &

                           "override the default attributes 'Input and " &

                           "'Output using attribute definition clauses");

   Test_for_Stream_IO_Support:

   declare

      Util_File        : Ada.Streams.Stream_IO.File_Type;

      Util_Stream      : Ada.Streams.Stream_IO.Stream_Access;

      Utility_Filename : constant String := Report.Legal_File_Name;

   begin

      -- If an implementation does not support Stream_IO in a particular

      -- environment, the exception Use_Error or Name_Error will be raised on

      -- calls to various Stream_IO operations.  This block statement

      -- encloses a call to Create, which should produce an exception in a

      -- non-supportive environment.  These exceptions will be handled to

      -- produce a Not_Applicable result.

      Ada.Streams.Stream_IO.Create (Util_File,

                                    Ada.Streams.Stream_IO.Out_File,

                                    Utility_Filename);

      Operational_Test_Block:

      declare

         type    Customer_Type          is (Residence, Apartment, Commercial);

         type    Electric_Usage_Type    is range 0..100000;

         type    Months_In_Service_Type is range 1..12;

         type    Quarterly_Period_Type  is (Spring, Summer, Autumn, Winter);

         subtype Month_In_Quarter_Type  is Positive range 1..3;

         type    Service_History_Type   is

           array (Quarterly_Period_Type range <>,

                  Month_In_Quarter_Type range <>) of Electric_Usage_Type;

         type Service_Type (Customer : Customer_Type) is

            record

               Name       : String (1..21);

               Account_ID : Natural range 0..100;

               case Customer is

                  when Residence | Apartment =>

                     Low_Income_Credit : Boolean := False;

                  when Commercial            =>

                     Baseline_Allowance : Natural range 0..1000;

                     Quantity_Discount  : Boolean := False;

               end case;

            end record;

         -- Mode conformant, user defined subprograms that will override

         -- the type-related attributes.

         -- In this test, the user defines these subprograms to add/subtract

         -- specific values from global variables.

         function Service_Input

           (Stream : access Ada.Streams.Root_Stream_Type'Class)

           return Service_Type;

         procedure Service_Output

           (Stream : access Ada.Streams.Root_Stream_Type'Class;

            Item   : Service_Type);

         function History_Input

           (Stream : access Ada.Streams.Root_Stream_Type'Class)

           return Service_History_Type;

         procedure History_Output

           (Stream : access Ada.Streams.Root_Stream_Type'Class;

            Item   : Service_History_Type);

         -- Attribute definition clauses.

         for Service_Type'Input  use Service_Input;

         for Service_Type'Output use Service_Output;

         for Service_History_Type'Input  use History_Input;

         for Service_History_Type'Output use History_Output;

         -- Object Declarations

         Customer1 : Service_Type (Residence) :=

                       (Residence, "1221 Morningstar Lane", 44, False);

         Customer2 : Service_Type (Apartment) :=

                       (Customer => Apartment,

                        Account_ID => 67,

                        Name => "15 South Front St. #8",

                        Low_Income_Credit => True);

         Customer3 : Service_Type (Commercial) :=

                       (Commercial,

                        "12442 Central Avenue ",

                        100,

                        Baseline_Allowance => 938,

                        Quantity_Discount  => True);

         C1_Service_History :

           Service_History_Type (Quarterly_Period_Type,

                                 Month_In_Quarter_Type) :=

             (Spring => (1 => 35, 2 => 39, 3 => 32),

              Summer => (1 => 34, 2 => 33, 3 => 39),

              Autumn => (1 => 45, 2 => 40, 3 => 38),

              Winter => (1 => 53, 2 =>  0, 3 =>  0));

         C2_Service_History :

           Service_History_Type (Quarterly_Period_Type range Spring..Summer,

                                 Month_In_Quarter_Type) :=

             (Spring => (23, 22, 0), Summer => (0, 0, 0));

         C3_Service_History :

           Service_History_Type (Quarterly_Period_Type,

                                 Month_In_Quarter_Type) :=

             (others => (others => 200));

         TC_Input_Total  : Integer := 0;

         TC_Output_Total : Integer := 0;

         -- Subprogram bodies.

         -- These subprograms are designed to override the default attributes

         -- 'Input and 'Output for the specified types.  Each adds/subtracts

         -- a quantity to/from a program control variable, indicating its

         -- activity.  Each user defined "Input" function uses the 'Read

         -- attribute for the type to accomplish the operation.  Likewise,

         -- each user defined "Output" subprogram uses the 'Write attribute

         -- for the type.

         function Service_Input

           ( Stream : access Ada.Streams.Root_Stream_Type'Class )

           return Service_Type is

            Customer : Customer_Type;

         begin

            TC_Input_Total := TC_Input_Total + 1;

            -- Extract the discriminant value from the stream.

            -- This discriminant would not otherwise be extracted from the

            -- stream when the Service_Type'Read attribute is used below.

            Customer_Type'Read (Stream, Customer);

            declare

               -- Declare a constant of Service_Type, using the value just

               -- read from the stream as the discriminant value of the

               -- object.

               Service : Service_Type(Customer);

            begin

               Service_Type'Read (Stream, Service);

               return Service;

            end;

         end Service_Input;

        procedure Service_Output

           ( Stream : access Ada.Streams.Root_Stream_Type'Class;

             Item   : Service_Type ) is

         begin

            TC_Output_Total := TC_Output_Total + 2;

            -- Write the discriminant value to the stream.

            -- The attribute 'Write (for the record type) will not write the

            -- discriminant of the record object to the stream.  Therefore, it

            -- must be explicitly written using the 'Write attribute of the

            -- discriminant type.

            Customer_Type'Write (Stream, Item.Customer);

            -- Write the record component values (but not the discriminant) to

            -- the stream.

            Service_Type'Write (Stream, Item);

         end Service_Output;

         function History_Input

           ( Stream : access Ada.Streams.Root_Stream_Type'Class )

           return Service_History_Type is

           Quarter_Bound_Low  : Quarterly_Period_Type;

           Quarter_Bound_High : Quarterly_Period_Type;

           Month_Bound_Low    : Month_In_Quarter_Type;

           Month_Bound_High   : Month_In_Quarter_Type;

         begin

            TC_Input_Total := TC_Input_Total + 3;

            -- Read the value of the array bounds from the stream.

            -- Use these bounds in the creation of an array object that will

            -- be used to store data from the stream.

            -- The array bound values would not otherwise be read from the

            -- stream by use of the Service_History_Type'Read attribute.

            Quarterly_Period_Type'Read (Stream, Quarter_Bound_Low);

            Quarterly_Period_Type'Read (Stream, Quarter_Bound_High);

            Month_In_Quarter_Type'Read (Stream, Month_Bound_Low);

            Month_In_Quarter_Type'Read (Stream, Month_Bound_High);

            declare

               Service_History_Array :

                 Service_History_Type

                 (Quarterly_Period_Type range

                    Quarter_Bound_Low..Quarter_Bound_High,

                  Month_In_Quarter_Type range

                    Month_Bound_Low .. Month_Bound_High);

            begin

               Service_History_Type'Read (Stream, Service_History_Array);

               return Service_History_Array;

            end;

         end History_Input;

         procedure History_Output

           ( Stream : access Ada.Streams.Root_Stream_Type'Class;

             Item   : Service_History_Type ) is

         begin

            TC_Output_Total := TC_Output_Total + 7;

            -- Write the upper/lower bounds of the array object dimensions to

            -- the stream.

            Quarterly_Period_Type'Write (Stream, Item'First(1));

            Quarterly_Period_Type'Write (Stream, Item'Last(1));

            Month_In_Quarter_Type'Write (Stream, Item'First(2));

            Month_In_Quarter_Type'Write (Stream, Item'Last(2));

            -- Write the array values to the stream in canonical order (last

            -- dimension varying fastest).

            Service_History_Type'Write (Stream, Item);

         end History_Output;

      begin

         Util_Stream := Ada.Streams.Stream_IO.Stream (Util_File);

         -- Write data to the stream. A customer service record is followed

         -- by a service history array.

         Service_Type'Output (Util_Stream, Customer1);

         Service_History_Type'Output (Util_Stream, C1_Service_History);

         Service_Type'Output (Util_Stream, Customer2);

         Service_History_Type'Output (Util_Stream, C2_Service_History);

         Service_Type'Output (Util_Stream, Customer3);

         Service_History_Type'Output (Util_Stream, C3_Service_History);

         -- Read data from the stream, and verify the use of the user specified

         -- attributes.

         Verify_Data_Block:

         declare

            TC_Residence  : Service_Type (Residence);

            TC_Apartment  : Service_Type (Apartment);

            TC_Commercial : Service_Type (Commercial);

            TC_History1   : Service_History_Type (Quarterly_Period_Type,

                                                  Month_In_Quarter_Type) :=

              (others => (others => Electric_Usage_Type'First));

            TC_History2   : Service_History_Type (Quarterly_Period_Type

                                                    range Spring .. Summer,

                                                  Month_In_Quarter_Type) :=

              (others => (others => Electric_Usage_Type'First));

            TC_History3   : Service_History_Type (Quarterly_Period_Type,

                                                  Month_In_Quarter_Type) :=

              (others => (others => Electric_Usage_Type'First));

         begin

            -- Reset Stream file to mode In_File.

            Ada.Streams.Stream_IO.Reset (Util_File,

                                         Ada.Streams.Stream_IO.In_File);

            -- Read data from the stream.

            TC_Residence  := Service_Type'Input (Util_Stream);

            TC_History1   := Service_History_Type'Input (Util_Stream);

            TC_Apartment  := Service_Type'Input (Util_Stream);

            TC_History2   := Service_History_Type'Input (Util_Stream);

            TC_Commercial := Service_Type'Input (Util_Stream);

            TC_History3   := Service_History_Type'Input (Util_Stream);

            -- Verify product data was correctly written to/read from stream,

            -- including discriminants and array bounds.

            if (TC_Residence          /= Customer1)                   or

               (TC_Residence.Customer /= Customer1.Customer)          or

               (TC_History1'Last(1)   /= C1_Service_History'Last(1))  or

               (TC_History1'First(1)  /= C1_Service_History'First(1)) or

               (TC_History1'Last(2)   /= C1_Service_History'Last(2))  or

               (TC_History1'First(2)  /= C1_Service_History'First(2))

            then

               Report.Failed ("Incorrect data from stream - 1");

            end if;

            if (TC_Apartment          /= Customer2)                   or

               (TC_Apartment.Customer /= Customer2.Customer)          or

               (TC_History2           /= C2_Service_History)          or

               (TC_History2'Last(1)   /= C2_Service_History'Last(1))  or

               (TC_History2'First(1)  /= C2_Service_History'First(1)) or

               (TC_History2'Last(2)   /= C2_Service_History'Last(2))  or

               (TC_History2'First(2)  /= C2_Service_History'First(2))

            then

               Report.Failed ("Incorrect data from stream - 2");

            end if;

            if (TC_Commercial          /= Customer3)                   or

               (TC_Commercial.Customer /= Customer3.Customer)          or

               (TC_History3            /= C3_Service_History)          or

               (TC_History3'Last(1)    /= C3_Service_History'Last(1))  or

               (TC_History3'First(1)   /= C3_Service_History'First(1)) or

               (TC_History3'Last(2)    /= C3_Service_History'Last(2))  or

               (TC_History3'First(2)   /= C3_Service_History'First(2))

            then

               Report.Failed ("Incorrect data from stream - 3");

            end if;

            -- Verify that the user defined subprograms were used to override

            -- the default 'Input and 'Output attributes.

            -- There were three calls on each of the user defined attributes.

            if (TC_Input_Total /= 12 ) or (TC_Output_Total /= 27 ) then

               Report.Failed ("Incorrect use of user defined attributes");

            end if;

         end Verify_Data_Block;

      exception

         when others =>

            Report.Failed ("Exception raised in Operational Test Block");

      end Operational_Test_Block;

      if Ada.Streams.Stream_IO.Is_Open (Util_File) then

         Ada.Streams.Stream_IO.Delete (Util_File);

      else

         Ada.Streams.Stream_IO.Open (Util_File,

                                     Ada.Streams.Stream_IO.Out_File,

                                     Utility_Filename);

         Ada.Streams.Stream_IO.Delete (Util_File);

      end if;

   exception

      -- Since Use_Error or Name_Error can be raised if, for the specified

      -- mode, the environment does not support Stream_IO operations,

      -- the following handlers are included:

      when Ada.Streams.Stream_IO.Name_Error =>

         Report.Not_Applicable ("Name_Error raised on Stream IO Create");

      when Ada.Streams.Stream_IO.Use_Error  =>

         Report.Not_Applicable ("Use_Error raised on Stream IO Create");

      when others                           =>

         Report.Failed ("Unexpected exception raised");

   end Test_for_Stream_IO_Support;

   Report.Result;

end CXACB02;