diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxacb02.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxacb02.a | 421 |
1 files changed, 0 insertions, 421 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxacb02.a b/gcc/testsuite/ada/acats/tests/cxa/cxacb02.a deleted file mode 100644 index a0ade9ebe1c..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxacb02.a +++ /dev/null @@ -1,421 +0,0 @@ --- 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; |