-- CXAC005.A -- -- Grant of Unlimited Rights -- -- The Ada Conformity Assessment Authority (ACAA) holds unlimited -- rights in the software and documentation contained herein. Unlimited -- rights are the same as those granted by the U.S. Government for older -- parts of the Ada Conformity Assessment Test Suite, and are defined -- in DFAR 252.227-7013(a)(19). By making this public release, the ACAA -- intends to confer upon all recipients unlimited rights equal to those -- held by the ACAA. 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 stream file positioning work as specified. (Defect Report -- 8652/0055). -- -- CHANGE HISTORY: -- 12 FEB 2001 PHL Initial version. -- 14 MAR 2001 RLB Readied for release; fixed Not_Applicable check -- to terminate test gracefully. -- --! with Ada.Streams.Stream_Io; use Ada.Streams; with Ada.Exceptions; use Ada.Exceptions; with Report; use Report; procedure CXAC005 is Incomplete : exception; procedure TC_Assert (Condition : Boolean; Message : String) is begin if not Condition then Failed (Message); end if; end TC_Assert; package Checked_Stream_Io is type File_Type (Max_Size : Stream_Element_Count) is limited private; function Stream_Io_File (File : File_Type) return Stream_Io.File_Type; procedure Create (File : in out File_Type; Mode : in Stream_Io.File_Mode := Stream_Io.Out_File; Name : in String := ""; Form : in String := ""); procedure Open (File : in out File_Type; Mode : in Stream_Io.File_Mode; Name : in String; Form : in String := ""); procedure Close (File : in out File_Type); procedure Delete (File : in out File_Type); procedure Reset (File : in out File_Type; Mode : in Stream_Io.File_Mode); procedure Reset (File : in out File_Type); procedure Read (File : in out File_Type; Item : out Stream_Element_Array; Last : out Stream_Element_Offset; From : in Stream_Io.Positive_Count); procedure Read (File : in out File_Type; Item : out Stream_Element_Array; Last : out Stream_Element_Offset); procedure Write (File : in out File_Type; Item : in Stream_Element_Array; To : in Stream_Io.Positive_Count); procedure Write (File : in out File_Type; Item : in Stream_Element_Array); procedure Set_Index (File : in out File_Type; To : in Stream_Io.Positive_Count); function Index (File : in File_Type) return Stream_Io.Positive_Count; procedure Set_Mode (File : in out File_Type; Mode : in Stream_Io.File_Mode); private type File_Type (Max_Size : Stream_Element_Count) is record File : Stream_Io.File_Type; Index : Stream_Io.Positive_Count; Contents : Stream_Element_Array (Stream_Element_Offset (Ident_Int (1)) .. Max_Size); end record; end Checked_Stream_Io; package body Checked_Stream_Io is use Stream_Io; function Stream_Io_File (File : File_Type) return Stream_Io.File_Type is begin return File.File; end Stream_Io_File; procedure Create (File : in out File_Type; Mode : in Stream_Io.File_Mode := Stream_Io.Out_File; Name : in String := ""; Form : in String := "") is begin Stream_Io.Create (File.File, Mode, Name, Form); File.Index := Stream_Io.Index (File.File); if Mode = Append_File then TC_Assert (File.Index = Stream_Io.Size (File.File) + 1, "Index /= Size + 1 -- Create - Append_File"); else TC_Assert (File.Index = 1, "Index /= 1 -- Create - " & File_Mode'Image (Mode)); end if; end Create; procedure Open (File : in out File_Type; Mode : in Stream_Io.File_Mode; Name : in String; Form : in String := "") is begin Stream_Io.Open (File.File, Mode, Name, Form); File.Index := Stream_Io.Index (File.File); if Mode = Append_File then TC_Assert (File.Index = Stream_Io.Size (File.File) + 1, "Index /= Size + 1 -- Open - Append_File"); else TC_Assert (File.Index = 1, "Index /= 1 -- Open - " & File_Mode'Image (Mode)); end if; end Open; procedure Close (File : in out File_Type) is begin Stream_Io.Close (File.File); end Close; procedure Delete (File : in out File_Type) is begin Stream_Io.Delete (File.File); end Delete; procedure Reset (File : in out File_Type; Mode : in Stream_Io.File_Mode) is begin Stream_Io.Reset (File.File, Mode); File.Index := Stream_Io.Index (File.File); if Mode = Append_File then TC_Assert (File.Index = Stream_Io.Size (File.File) + 1, "Index /= Size + 1 -- Reset - Append_File"); else TC_Assert (File.Index = 1, "Index /= 1 -- Reset - " & File_Mode'Image (Mode)); end if; end Reset; procedure Reset (File : in out File_Type) is begin Reset (File, Stream_Io.Mode (File.File)); end Reset; procedure Read (File : in out File_Type; Item : out Stream_Element_Array; Last : out Stream_Element_Offset; From : in Stream_Io.Positive_Count) is begin Set_Index (File, From); Read (File, Item, Last); end Read; procedure Read (File : in out File_Type; Item : out Stream_Element_Array; Last : out Stream_Element_Offset) is Index : constant Stream_Element_Offset := Stream_Element_Offset (File.Index); begin Stream_Io.Read (File.File, Item, Last); if Last < Item'Last then TC_Assert (Item (Item'First .. Last) = File.Contents (Index .. Index + Last - Item'First), "Incorrect data read from file - 1"); TC_Assert (Count (Index + Last - Item'First) = Stream_Io.Size (File.File), "Read stopped before end of file"); File.Index := Count (Index + Last - Item'First) + 1; else TC_Assert (Item = File.Contents (Index .. Index + Item'Length - 1), "Incorrect data read from file - 2"); File.Index := File.Index + Item'Length; end if; end Read; procedure Write (File : in out File_Type; Item : in Stream_Element_Array; To : in Stream_Io.Positive_Count) is begin Set_Index (File, To); Write (File, Item); end Write; procedure Write (File : in out File_Type; Item : in Stream_Element_Array) is Index : constant Stream_Element_Offset := Stream_Element_Offset (File.Index); begin Stream_Io.Write (File.File, Item); File.Contents (Index .. Index + Item'Length - 1) := Item; File.Index := File.Index + Item'Length; TC_Assert (File.Index = Stream_Io.Index (File.File), "Write failed to move the index"); end Write; procedure Set_Index (File : in out File_Type; To : in Stream_Io.Positive_Count) is begin Stream_Io.Set_Index (File.File, To); File.Index := Stream_Io.Index (File.File); TC_Assert (File.Index = To, "Set_Index failed"); end Set_Index; function Index (File : in File_Type) return Stream_Io.Positive_Count is New_Index : constant Count := Stream_Io.Index (File.File); begin TC_Assert (New_Index = File.Index, "Index changed unexpectedly"); return New_Index; end Index; procedure Set_Mode (File : in out File_Type; Mode : in Stream_Io.File_Mode) is Old_Index : constant Count := File.Index; begin Stream_Io.Set_Mode (File.File, Mode); File.Index := Stream_Io.Index (File.File); if Mode = Append_File then TC_Assert (File.Index = Stream_Io.Size (File.File) + 1, "Index /= Size + 1 -- Set_Mode - Append_File"); else TC_Assert (File.Index = Old_Index, "Set_Mode changed the index"); end if; end Set_Mode; end Checked_Stream_Io; package Csio renames Checked_Stream_Io; F : Csio.File_Type (100); S : Stream_Element_Array (1 .. 10); Last : Stream_Element_Offset; begin Test ("CXAC005", "Check that stream file positioning work as specified"); declare Name : constant String := Legal_File_Name; begin begin Csio.Create (F, Name => Name); exception when others => Not_Applicable ("Files not supported - Creation with Out_File for Stream_IO"); raise Incomplete; end; for I in Stream_Element range 1 .. 10 loop Csio.Write (F, ((1 => I + 2))); end loop; Csio.Write (F, (1 .. 15 => 11)); Csio.Write (F, (1 .. 15 => 12), To => 15); Csio.Reset (F); for I in Stream_Element range 1 .. 10 loop Csio.Write (F, (1 => I)); end loop; Csio.Write (F, (1 .. 15 => 13)); Csio.Write (F, (1 .. 15 => 14), To => 15); Csio.Write (F, (1 => 90)); Csio.Set_Mode (F, Stream_Io.In_File); Csio.Read (F, S, Last); Csio.Read (F, S, Last, From => 3); Csio.Read (F, S, Last, From => 28); Csio.Set_Mode (F, Stream_Io.Append_File); Csio.Write (F, (1 .. 5 => 88)); Csio.Close (F); Csio.Open (F, Name => Name, Mode => Stream_Io.Append_File); Csio.Write (F, (1 .. 3 => 33)); Csio.Set_Mode (F, Stream_Io.In_File); Csio.Read (F, S, Last, From => 20); Csio.Read (F, S, Last); Csio.Reset (F, Stream_Io.Out_File); Csio.Write (F, (1 .. 9 => 99)); -- Check the contents of the entire file. declare S : Stream_Element_Array (1 .. Stream_Element_Offset (Stream_Io.Size (Csio.Stream_Io_File (F)))); begin Csio.Reset (F, Stream_Io.In_File); Csio.Read (F, S, Last); end; Csio.Delete (F); end; Result; exception when Incomplete => Report.Result; when E:others => Report.Failed ("Unexpected exception raised - " & Exception_Name (E) & " - " & Exception_Message (E)); Report.Result; end CXAC005;