| 1 | ---------------------------------------------------------------- | 
 
 
 
 
 | 2 | --  ZLib for Ada thick binding.                               -- | 
 
 
 
 
 | 3 | --                                                            -- | 
 
 
 
 
 | 4 | --  Copyright (C) 2002-2003 Dmitriy Anisimkov                 -- | 
 
 
 
 
 | 5 | --                                                            -- | 
 
 
 
 
 | 6 | --  Open source license information is in the zlib.ads file.  -- | 
 
 
 
 
 | 7 | ---------------------------------------------------------------- | 
 
 
 
 
 | 8 |  | 
 
 
 
 
 | 9 | --  $Id: zlib-streams.ads,v 1.12 2004/05/31 10:53:40 vagul Exp $ | 
 
 
 
 
 | 10 |  | 
 
 
 
 
 | 11 | package ZLib.Streams is | 
 
 
 
 
 | 12 |  | 
 
 
 
 
 | 13 | type Stream_Mode is (In_Stream, Out_Stream, Duplex); | 
 
 
 
 
 | 14 |  | 
 
 
 
 
 | 15 | type Stream_Access is access all Ada.Streams.Root_Stream_Type'Class; | 
 
 
 
 
 | 16 |  | 
 
 
 
 
 | 17 | type Stream_Type is | 
 
 
 
 
 | 18 | new Ada.Streams.Root_Stream_Type with private; | 
 
 
 
 
 | 19 |  | 
 
 
 
 
 | 20 | procedure Read | 
 
 
 
 
 | 21 | (Stream : in out Stream_Type; | 
 
 
 
 
 | 22 | Item   :    out Ada.Streams.Stream_Element_Array; | 
 
 
 
 
 | 23 | Last   :    out Ada.Streams.Stream_Element_Offset); | 
 
 
 
 
 | 24 |  | 
 
 
 
 
 | 25 | procedure Write | 
 
 
 
 
 | 26 | (Stream : in out Stream_Type; | 
 
 
 
 
 | 27 | Item   : in     Ada.Streams.Stream_Element_Array); | 
 
 
 
 
 | 28 |  | 
 
 
 
 
 | 29 | procedure Flush | 
 
 
 
 
 | 30 | (Stream : in out Stream_Type; | 
 
 
 
 
 | 31 | Mode   : in     Flush_Mode := Sync_Flush); | 
 
 
 
 
 | 32 | --  Flush the written data to the back stream, | 
 
 
 
 
 | 33 | --  all data placed to the compressor is flushing to the Back stream. | 
 
 
 
 
 | 34 | --  Should not be used untill necessary, becouse it is decreasing | 
 
 
 
 
 | 35 | --  compression. | 
 
 
 
 
 | 36 |  | 
 
 
 
 
 | 37 | function Read_Total_In (Stream : in Stream_Type) return Count; | 
 
 
 
 
 | 38 | pragma Inline (Read_Total_In); | 
 
 
 
 
 | 39 | --  Return total number of bytes read from back stream so far. | 
 
 
 
 
 | 40 |  | 
 
 
 
 
 | 41 | function Read_Total_Out (Stream : in Stream_Type) return Count; | 
 
 
 
 
 | 42 | pragma Inline (Read_Total_Out); | 
 
 
 
 
 | 43 | --  Return total number of bytes read so far. | 
 
 
 
 
 | 44 |  | 
 
 
 
 
 | 45 | function Write_Total_In (Stream : in Stream_Type) return Count; | 
 
 
 
 
 | 46 | pragma Inline (Write_Total_In); | 
 
 
 
 
 | 47 | --  Return total number of bytes written so far. | 
 
 
 
 
 | 48 |  | 
 
 
 
 
 | 49 | function Write_Total_Out (Stream : in Stream_Type) return Count; | 
 
 
 
 
 | 50 | pragma Inline (Write_Total_Out); | 
 
 
 
 
 | 51 | --  Return total number of bytes written to the back stream. | 
 
 
 
 
 | 52 |  | 
 
 
 
 
 | 53 | procedure Create | 
 
 
 
 
 | 54 | (Stream            :    out Stream_Type; | 
 
 
 
 
 | 55 | Mode              : in     Stream_Mode; | 
 
 
 
 
 | 56 | Back              : in     Stream_Access; | 
 
 
 
 
 | 57 | Back_Compressed   : in     Boolean; | 
 
 
 
 
 | 58 | Level             : in     Compression_Level := Default_Compression; | 
 
 
 
 
 | 59 | Strategy          : in     Strategy_Type     := Default_Strategy; | 
 
 
 
 
 | 60 | Header            : in     Header_Type       := Default; | 
 
 
 
 
 | 61 | Read_Buffer_Size  : in     Ada.Streams.Stream_Element_Offset | 
 
 
 
 
 | 62 | := Default_Buffer_Size; | 
 
 
 
 
 | 63 | Write_Buffer_Size : in     Ada.Streams.Stream_Element_Offset | 
 
 
 
 
 | 64 | := Default_Buffer_Size); | 
 
 
 
 
 | 65 | --  Create the Comression/Decompression stream. | 
 
 
 
 
 | 66 | --  If mode is In_Stream then Write operation is disabled. | 
 
 
 
 
 | 67 | --  If mode is Out_Stream then Read operation is disabled. | 
 
 
 
 
 | 68 |  | 
 
 
 
 
 | 69 | --  If Back_Compressed is true then | 
 
 
 
 
 | 70 | --  Data written to the Stream is compressing to the Back stream | 
 
 
 
 
 | 71 | --  and data read from the Stream is decompressed data from the Back stream. | 
 
 
 
 
 | 72 |  | 
 
 
 
 
 | 73 | --  If Back_Compressed is false then | 
 
 
 
 
 | 74 | --  Data written to the Stream is decompressing to the Back stream | 
 
 
 
 
 | 75 | --  and data read from the Stream is compressed data from the Back stream. | 
 
 
 
 
 | 76 |  | 
 
 
 
 
 | 77 | --  !!! When the Need_Header is False ZLib-Ada is using undocumented | 
 
 
 
 
 | 78 | --  ZLib 1.1.4 functionality to do not create/wait for ZLib headers. | 
 
 
 
 
 | 79 |  | 
 
 
 
 
 | 80 | function Is_Open (Stream : Stream_Type) return Boolean; | 
 
 
 
 
 | 81 |  | 
 
 
 
 
 | 82 | procedure Close (Stream : in out Stream_Type); | 
 
 
 
 
 | 83 |  | 
 
 
 
 
 | 84 | private | 
 
 
 
 
 | 85 |  | 
 
 
 
 
 | 86 | use Ada.Streams; | 
 
 
 
 
 | 87 |  | 
 
 
 
 
 | 88 | type Buffer_Access is access all Stream_Element_Array; | 
 
 
 
 
 | 89 |  | 
 
 
 
 
 | 90 | type Stream_Type | 
 
 
 
 
 | 91 | is new Root_Stream_Type with | 
 
 
 
 
 | 92 | record | 
 
 
 
 
 | 93 | Mode       : Stream_Mode; | 
 
 
 
 
 | 94 |  | 
 
 
 
 
 | 95 | Buffer     : Buffer_Access; | 
 
 
 
 
 | 96 | Rest_First : Stream_Element_Offset; | 
 
 
 
 
 | 97 | Rest_Last  : Stream_Element_Offset; | 
 
 
 
 
 | 98 | --  Buffer for Read operation. | 
 
 
 
 
 | 99 | --  We need to have this buffer in the record | 
 
 
 
 
 | 100 | --  becouse not all read data from back stream | 
 
 
 
 
 | 101 | --  could be processed during the read operation. | 
 
 
 
 
 | 102 |  | 
 
 
 
 
 | 103 | Buffer_Size : Stream_Element_Offset; | 
 
 
 
 
 | 104 | --  Buffer size for write operation. | 
 
 
 
 
 | 105 | --  We do not need to have this buffer | 
 
 
 
 
 | 106 | --  in the record becouse all data could be | 
 
 
 
 
 | 107 | --  processed in the write operation. | 
 
 
 
 
 | 108 |  | 
 
 
 
 
 | 109 | Back       : Stream_Access; | 
 
 
 
 
 | 110 | Reader     : Filter_Type; | 
 
 
 
 
 | 111 | Writer     : Filter_Type; | 
 
 
 
 
 | 112 | end record; | 
 
 
 
 
 | 113 |  | 
 
 
 
 
 | 114 | end ZLib.Streams; |