diff options
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cxa/cxaca02.a')
-rw-r--r-- | gcc/testsuite/ada/acats/tests/cxa/cxaca02.a | 360 |
1 files changed, 0 insertions, 360 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cxa/cxaca02.a b/gcc/testsuite/ada/acats/tests/cxa/cxaca02.a deleted file mode 100644 index 5106dd3991d..00000000000 --- a/gcc/testsuite/ada/acats/tests/cxa/cxaca02.a +++ /dev/null @@ -1,360 +0,0 @@ --- CXACA02.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 'Read and 'Write using attribute definition clauses. --- Use objects of record types. --- --- TEST DESCRIPTION: --- This test demonstrates that the default implementations of the --- 'Read and 'Write 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. --- 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 --- 21 Nov 95 SAIC Corrected recursive attribute definitions --- for ACVC 2.0.1. --- 24 Aug 96 SAIC Corrected typo in test verification criteria. --- ---! - -with Report; -with Ada.Streams.Stream_IO; - -procedure CXACA02 is -begin - - Report.Test ("CXACA02", "Check that user defined subprograms can " & - "override the default attributes 'Read and " & - "'Write using attribute definition clauses"); - - Test_for_Stream_IO_Support: - declare - - Data_File : Ada.Streams.Stream_IO.File_Type; - Data_Stream : Ada.Streams.Stream_IO.Stream_Access; - The_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 (Data_File, - Ada.Streams.Stream_IO.Out_File, - The_Filename); - - Operational_Test_Block: - declare - - type Origin_Type is (Foreign, Domestic); - subtype String_Data_Type is String(1..8); - - type Product_Type is - record - Item : String_Data_Type; - ID : Natural range 1..100; - Manufacture : Origin_Type := Domestic; - Distributor : String_Data_Type; - Importer : String_Data_Type; - end record; - - type Sales_Record_Type is - record - Name : String_Data_Type; - Sale_Item : Boolean := False; - Buyer : Origin_Type; - Quantity_Discount : Boolean; - Cash_Discount : Boolean; - 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. - - procedure Product_Read - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : out Product_Type ); - - procedure Product_Write - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : Product_Type ); - - procedure Sales_Read - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : out Sales_Record_Type ); - - procedure Sales_Write - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : Sales_Record_Type ); - - -- Attribute definition clauses. - - for Product_Type'Read use Product_Read; - for Product_Type'Write use Product_Write; - - for Sales_Record_Type'Read use Sales_Read; - for Sales_Record_Type'Write use Sales_Write; - - - -- Object Declarations - - Product_01 : Product_Type := - ("Product1", 1, Domestic, "Distrib1", "Import 1"); - Product_02 : Product_Type := - ("Product2", 2, Foreign, "Distrib2", "Import 2"); - - Sale_Rec_01 : Sales_Record_Type := - ("Buyer 01", False, Domestic, True, True); - Sale_Rec_02 : Sales_Record_Type := - ("Buyer 02", True, Domestic, True, False); - Sale_Rec_03 : Sales_Record_Type := (Name => "Buyer 03", - Sale_Item => True, - Buyer => Foreign, - Quantity_Discount => False, - Cash_Discount => True); - Sale_Rec_04 : Sales_Record_Type := - ("Buyer 04", True, Foreign, False, False); - Sale_Rec_05 : Sales_Record_Type := - ("Buyer 05", False, Foreign, False, False); - - TC_Read_Total : Integer := 100; - TC_Write_Total : Integer := 0; - - - -- Subprogram bodies. - -- These subprograms are designed to override the default attributes - -- 'Read and 'Write for the specified types. Each adds/subtracts - -- a quantity to/from a program control variable, indicating its - -- activity. In addition, each component of the record is - -- individually read from or written to the stream, using the - -- appropriate 'Read or 'Write attribute for the component type. - -- The string components are moved to/from the stream using the - -- 'Input and 'Output attributes for the string subtype, so that - -- the bounds of the strings are also written/read. - - procedure Product_Read - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : out Product_Type ) is - begin - TC_Read_Total := TC_Read_Total - 10; - - The_Item.Item := String_Data_Type'Input(Data_Stream); -- Field 1. - Natural'Read(Data_Stream, The_Item.ID); -- Field 2. - Origin_Type'Read(Data_Stream, -- Field 3. - The_Item.Manufacture); - The_Item.Distributor := -- Field 4. - String_Data_Type'Input(Data_Stream); - The_Item.Importer := -- Field 5. - String_Data_Type'Input(Data_Stream); - end Product_Read; - - - procedure Product_Write - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : Product_Type ) is - begin - TC_Write_Total := TC_Write_Total + 5; - - String_Data_Type'Output(Data_Stream, The_Item.Item); -- Field 1. - Natural'Write(Data_Stream, The_Item.ID); -- Field 2. - Origin_Type'Write(Data_Stream, -- Field 3. - The_Item.Manufacture); - String_Data_Type'Output(Data_Stream, -- Field 4. - The_Item.Distributor); - String_Data_Type'Output(Data_Stream, -- Field 5. - The_Item.Importer); - end Product_Write; - - - procedure Sales_Read - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : out Sales_Record_Type ) is - begin - TC_Read_Total := TC_Read_Total - 20; - - The_Item.Name := String_Data_Type'Input(Data_Stream); -- Field 1. - Boolean'Read(Data_Stream, The_Item.Sale_Item); -- Field 2. - Origin_Type'Read(Data_Stream, The_Item.Buyer); -- Field 3. - Boolean'Read(Data_Stream, The_Item.Quantity_Discount); -- Field 4. - Boolean'Read(Data_Stream, The_Item.Cash_Discount); -- Field 5. - end Sales_Read; - - - procedure Sales_Write - ( Stream : access Ada.Streams.Root_Stream_Type'Class; - The_Item : Sales_Record_Type ) is - begin - TC_Write_Total := TC_Write_Total + 10; - - String_Data_Type'Output(Data_Stream, The_Item.Name); -- Field 1. - Boolean'Write(Data_Stream, The_Item.Sale_Item); -- Field 2. - Origin_Type'Write(Data_Stream, The_Item.Buyer); -- Field 3. - Boolean'Write(Data_Stream, The_Item.Quantity_Discount); -- Field 4. - Boolean'Write(Data_Stream, The_Item.Cash_Discount); -- Field 5. - end Sales_Write; - - - - begin - - Data_Stream := Ada.Streams.Stream_IO.Stream (Data_File); - - -- Write product and sales data to the stream. - - Product_Type'Write (Data_Stream, Product_01); - Sales_Record_Type'Write (Data_Stream, Sale_Rec_01); - Sales_Record_Type'Write (Data_Stream, Sale_Rec_02); - - Product_Type'Write (Data_Stream, Product_02); - Sales_Record_Type'Write (Data_Stream, Sale_Rec_03); - Sales_Record_Type'Write (Data_Stream, Sale_Rec_04); - Sales_Record_Type'Write (Data_Stream, Sale_Rec_05); - - -- Read data from the stream, and verify the use of the user specified - -- attributes. - - Verify_Data_Block: - declare - - TC_Product1, - TC_Product2 : Product_Type; - - TC_Sale1, - TC_Sale2, - TC_Sale3, - TC_Sale4, - TC_Sale5 : Sales_Record_Type; - - begin - - -- Reset the mode of the stream file so that Read/Input - -- operations may be performed. - - Ada.Streams.Stream_IO.Reset (Data_File, - Ada.Streams.Stream_IO.In_File); - - -- Data is read/reconstructed from the stream, in the order that - -- the data was placed into the stream. - - Product_Type'Read (Data_Stream, TC_Product1); - Sales_Record_Type'Read (Data_Stream, TC_Sale1); - Sales_Record_Type'Read (Data_Stream, TC_Sale2); - - Product_Type'Read (Data_Stream, TC_Product2); - Sales_Record_Type'Read (Data_Stream, TC_Sale3); - Sales_Record_Type'Read (Data_Stream, TC_Sale4); - Sales_Record_Type'Read (Data_Stream, TC_Sale5); - - -- Verify product data was correctly written to/read from stream. - - if TC_Product1 /= Product_01 then - Report.Failed ("Data verification error, Product 1"); - end if; - if TC_Product2 /= Product_02 then - Report.Failed ("Data verification error, Product 2"); - end if; - - if TC_Sale1 /= Sale_Rec_01 then - Report.Failed ("Data verification error, Sale_Rec_01"); - end if; - if TC_Sale2 /= Sale_Rec_02 then - Report.Failed ("Data verification error, Sale_Rec_02"); - end if; - if TC_Sale3 /= Sale_Rec_03 then - Report.Failed ("Data verification error, Sale_Rec_03"); - end if; - if TC_Sale4 /= Sale_Rec_04 then - Report.Failed ("Data verification error, Sale_Rec_04"); - end if; - if TC_Sale5 /= Sale_Rec_05 then - Report.Failed ("Data verification error, Sale_Rec_05"); - end if; - - -- Verify that the user defined subprograms were used to - -- override the default 'Read and 'Write attributes. - -- There were two "product" reads and two writes; there - -- were five "sale record" reads and five writes. - - if (TC_Read_Total /= -20) or (TC_Write_Total /= 60) 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 (Data_File) then - Ada.Streams.Stream_IO.Delete (Data_File); - else - Ada.Streams.Stream_IO.Open (Data_File, - Ada.Streams.Stream_IO.Out_File, - The_Filename); - Ada.Streams.Stream_IO.Delete (Data_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 CXACA02; |