| 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.adb,v 1.10 2004/05/31 10:53:40 vagul Exp $ | 
 
 
 
 
 
 | 10 | 
  | 
 
 
 
 
 
 | 11 | 
 with Ada.Unchecked_Deallocation; | 
 
 
 
 
 
 | 12 | 
  | 
 
 
 
 
 
 | 13 | 
 package body ZLib.Streams is | 
 
 
 
 
 
 | 14 | 
  | 
 
 
 
 
 
 | 15 | 
    ----------- | 
 
 
 
 
 
 | 16 | 
    -- Close -- | 
 
 
 
 
 
 | 17 | 
    ----------- | 
 
 
 
 
 
 | 18 | 
  | 
 
 
 
 
 
 | 19 | 
    procedure Close (Stream : in out Stream_Type) is | 
 
 
 
 
 
 | 20 | 
       procedure Free is new Ada.Unchecked_Deallocation | 
 
 
 
 
 
 | 21 | 
          (Stream_Element_Array, Buffer_Access); | 
 
 
 
 
 
 | 22 | 
    begin | 
 
 
 
 
 
 | 23 | 
       if Stream.Mode = Out_Stream or Stream.Mode = Duplex then | 
 
 
 
 
 
 | 24 | 
          --  We should flush the data written by the writer. | 
 
 
 
 
 
 | 25 | 
  | 
 
 
 
 
 
 | 26 | 
          Flush (Stream, Finish); | 
 
 
 
 
 
 | 27 | 
  | 
 
 
 
 
 
 | 28 | 
          Close (Stream.Writer); | 
 
 
 
 
 
 | 29 | 
       end if; | 
 
 
 
 
 
 | 30 | 
  | 
 
 
 
 
 
 | 31 | 
       if Stream.Mode = In_Stream or Stream.Mode = Duplex then | 
 
 
 
 
 
 | 32 | 
          Close (Stream.Reader); | 
 
 
 
 
 
 | 33 | 
          Free (Stream.Buffer); | 
 
 
 
 
 
 | 34 | 
       end if; | 
 
 
 
 
 
 | 35 | 
    end Close; | 
 
 
 
 
 
 | 36 | 
  | 
 
 
 
 
 
 | 37 | 
    ------------ | 
 
 
 
 
 
 | 38 | 
    -- Create -- | 
 
 
 
 
 
 | 39 | 
    ------------ | 
 
 
 
 
 
 | 40 | 
  | 
 
 
 
 
 
 | 41 | 
    procedure Create | 
 
 
 
 
 
 | 42 | 
      (Stream            :    out Stream_Type; | 
 
 
 
 
 
 | 43 | 
       Mode              : in     Stream_Mode; | 
 
 
 
 
 
 | 44 | 
       Back              : in     Stream_Access; | 
 
 
 
 
 
 | 45 | 
       Back_Compressed   : in     Boolean; | 
 
 
 
 
 
 | 46 | 
       Level             : in     Compression_Level := Default_Compression; | 
 
 
 
 
 
 | 47 | 
       Strategy          : in     Strategy_Type     := Default_Strategy; | 
 
 
 
 
 
 | 48 | 
       Header            : in     Header_Type       := Default; | 
 
 
 
 
 
 | 49 | 
       Read_Buffer_Size  : in     Ada.Streams.Stream_Element_Offset | 
 
 
 
 
 
 | 50 | 
                                     := Default_Buffer_Size; | 
 
 
 
 
 
 | 51 | 
       Write_Buffer_Size : in     Ada.Streams.Stream_Element_Offset | 
 
 
 
 
 
 | 52 | 
                                     := Default_Buffer_Size) | 
 
 
 
 
 
 | 53 | 
    is | 
 
 
 
 
 
 | 54 | 
  | 
 
 
 
 
 
 | 55 | 
       subtype Buffer_Subtype is Stream_Element_Array (1 .. Read_Buffer_Size); | 
 
 
 
 
 
 | 56 | 
  | 
 
 
 
 
 
 | 57 | 
       procedure Init_Filter | 
 
 
 
 
 
 | 58 | 
          (Filter   : in out Filter_Type; | 
 
 
 
 
 
 | 59 | 
           Compress : in     Boolean); | 
 
 
 
 
 
 | 60 | 
  | 
 
 
 
 
 
 | 61 | 
       ----------------- | 
 
 
 
 
 
 | 62 | 
       -- Init_Filter -- | 
 
 
 
 
 
 | 63 | 
       ----------------- | 
 
 
 
 
 
 | 64 | 
  | 
 
 
 
 
 
 | 65 | 
       procedure Init_Filter | 
 
 
 
 
 
 | 66 | 
          (Filter   : in out Filter_Type; | 
 
 
 
 
 
 | 67 | 
           Compress : in     Boolean) is | 
 
 
 
 
 
 | 68 | 
       begin | 
 
 
 
 
 
 | 69 | 
          if Compress then | 
 
 
 
 
 
 | 70 | 
             Deflate_Init | 
 
 
 
 
 
 | 71 | 
               (Filter, Level, Strategy, Header => Header); | 
 
 
 
 
 
 | 72 | 
          else | 
 
 
 
 
 
 | 73 | 
             Inflate_Init (Filter, Header => Header); | 
 
 
 
 
 
 | 74 | 
          end if; | 
 
 
 
 
 
 | 75 | 
       end Init_Filter; | 
 
 
 
 
 
 | 76 | 
  | 
 
 
 
 
 
 | 77 | 
    begin | 
 
 
 
 
 
 | 78 | 
       Stream.Back := Back; | 
 
 
 
 
 
 | 79 | 
       Stream.Mode := Mode; | 
 
 
 
 
 
 | 80 | 
  | 
 
 
 
 
 
 | 81 | 
       if Mode = Out_Stream or Mode = Duplex then | 
 
 
 
 
 
 | 82 | 
          Init_Filter (Stream.Writer, Back_Compressed); | 
 
 
 
 
 
 | 83 | 
          Stream.Buffer_Size := Write_Buffer_Size; | 
 
 
 
 
 
 | 84 | 
       else | 
 
 
 
 
 
 | 85 | 
          Stream.Buffer_Size := 0; | 
 
 
 
 
 
 | 86 | 
       end if; | 
 
 
 
 
 
 | 87 | 
  | 
 
 
 
 
 
 | 88 | 
       if Mode = In_Stream or Mode = Duplex then | 
 
 
 
 
 
 | 89 | 
          Init_Filter (Stream.Reader, not Back_Compressed); | 
 
 
 
 
 
 | 90 | 
  | 
 
 
 
 
 
 | 91 | 
          Stream.Buffer     := new Buffer_Subtype; | 
 
 
 
 
 
 | 92 | 
          Stream.Rest_First := Stream.Buffer'Last + 1; | 
 
 
 
 
 
 | 93 | 
          Stream.Rest_Last  := Stream.Buffer'Last; | 
 
 
 
 
 
 | 94 | 
       end if; | 
 
 
 
 
 
 | 95 | 
    end Create; | 
 
 
 
 
 
 | 96 | 
  | 
 
 
 
 
 
 | 97 | 
    ----------- | 
 
 
 
 
 
 | 98 | 
    -- Flush -- | 
 
 
 
 
 
 | 99 | 
    ----------- | 
 
 
 
 
 
 | 100 | 
  | 
 
 
 
 
 
 | 101 | 
    procedure Flush | 
 
 
 
 
 
 | 102 | 
      (Stream : in out Stream_Type; | 
 
 
 
 
 
 | 103 | 
       Mode   : in     Flush_Mode := Sync_Flush) | 
 
 
 
 
 
 | 104 | 
    is | 
 
 
 
 
 
 | 105 | 
       Buffer : Stream_Element_Array (1 .. Stream.Buffer_Size); | 
 
 
 
 
 
 | 106 | 
       Last   : Stream_Element_Offset; | 
 
 
 
 
 
 | 107 | 
    begin | 
 
 
 
 
 
 | 108 | 
       loop | 
 
 
 
 
 
 | 109 | 
          Flush (Stream.Writer, Buffer, Last, Mode); | 
 
 
 
 
 
 | 110 | 
  | 
 
 
 
 
 
 | 111 | 
          Ada.Streams.Write (Stream.Back.all, Buffer (1 .. Last)); | 
 
 
 
 
 
 | 112 | 
  | 
 
 
 
 
 
 | 113 | 
          exit when Last < Buffer'Last; | 
 
 
 
 
 
 | 114 | 
       end loop; | 
 
 
 
 
 
 | 115 | 
    end Flush; | 
 
 
 
 
 
 | 116 | 
  | 
 
 
 
 
 
 | 117 | 
    ------------- | 
 
 
 
 
 
 | 118 | 
    -- Is_Open -- | 
 
 
 
 
 
 | 119 | 
    ------------- | 
 
 
 
 
 
 | 120 | 
  | 
 
 
 
 
 
 | 121 | 
    function Is_Open (Stream : Stream_Type) return Boolean is | 
 
 
 
 
 
 | 122 | 
    begin | 
 
 
 
 
 
 | 123 | 
       return Is_Open (Stream.Reader) or else Is_Open (Stream.Writer); | 
 
 
 
 
 
 | 124 | 
    end Is_Open; | 
 
 
 
 
 
 | 125 | 
  | 
 
 
 
 
 
 | 126 | 
    ---------- | 
 
 
 
 
 
 | 127 | 
    -- Read -- | 
 
 
 
 
 
 | 128 | 
    ---------- | 
 
 
 
 
 
 | 129 | 
  | 
 
 
 
 
 
 | 130 | 
    procedure Read | 
 
 
 
 
 
 | 131 | 
      (Stream : in out Stream_Type; | 
 
 
 
 
 
 | 132 | 
       Item   :    out Stream_Element_Array; | 
 
 
 
 
 
 | 133 | 
       Last   :    out Stream_Element_Offset) | 
 
 
 
 
 
 | 134 | 
    is | 
 
 
 
 
 
 | 135 | 
  | 
 
 
 
 
 
 | 136 | 
       procedure Read | 
 
 
 
 
 
 | 137 | 
         (Item : out Stream_Element_Array; | 
 
 
 
 
 
 | 138 | 
          Last : out Stream_Element_Offset); | 
 
 
 
 
 
 | 139 | 
  | 
 
 
 
 
 
 | 140 | 
       ---------- | 
 
 
 
 
 
 | 141 | 
       -- Read -- | 
 
 
 
 
 
 | 142 | 
       ---------- | 
 
 
 
 
 
 | 143 | 
  | 
 
 
 
 
 
 | 144 | 
       procedure Read | 
 
 
 
 
 
 | 145 | 
         (Item : out Stream_Element_Array; | 
 
 
 
 
 
 | 146 | 
          Last : out Stream_Element_Offset) is | 
 
 
 
 
 
 | 147 | 
       begin | 
 
 
 
 
 
 | 148 | 
          Ada.Streams.Read (Stream.Back.all, Item, Last); | 
 
 
 
 
 
 | 149 | 
       end Read; | 
 
 
 
 
 
 | 150 | 
  | 
 
 
 
 
 
 | 151 | 
       procedure Read is new ZLib.Read | 
 
 
 
 
 
 | 152 | 
          (Read       => Read, | 
 
 
 
 
 
 | 153 | 
           Buffer     => Stream.Buffer.all, | 
 
 
 
 
 
 | 154 | 
           Rest_First => Stream.Rest_First, | 
 
 
 
 
 
 | 155 | 
           Rest_Last  => Stream.Rest_Last); | 
 
 
 
 
 
 | 156 | 
  | 
 
 
 
 
 
 | 157 | 
    begin | 
 
 
 
 
 
 | 158 | 
       Read (Stream.Reader, Item, Last); | 
 
 
 
 
 
 | 159 | 
    end Read; | 
 
 
 
 
 
 | 160 | 
  | 
 
 
 
 
 
 | 161 | 
    ------------------- | 
 
 
 
 
 
 | 162 | 
    -- Read_Total_In -- | 
 
 
 
 
 
 | 163 | 
    ------------------- | 
 
 
 
 
 
 | 164 | 
  | 
 
 
 
 
 
 | 165 | 
    function Read_Total_In (Stream : in Stream_Type) return Count is | 
 
 
 
 
 
 | 166 | 
    begin | 
 
 
 
 
 
 | 167 | 
       return Total_In (Stream.Reader); | 
 
 
 
 
 
 | 168 | 
    end Read_Total_In; | 
 
 
 
 
 
 | 169 | 
  | 
 
 
 
 
 
 | 170 | 
    -------------------- | 
 
 
 
 
 
 | 171 | 
    -- Read_Total_Out -- | 
 
 
 
 
 
 | 172 | 
    -------------------- | 
 
 
 
 
 
 | 173 | 
  | 
 
 
 
 
 
 | 174 | 
    function Read_Total_Out (Stream : in Stream_Type) return Count is | 
 
 
 
 
 
 | 175 | 
    begin | 
 
 
 
 
 
 | 176 | 
       return Total_Out (Stream.Reader); | 
 
 
 
 
 
 | 177 | 
    end Read_Total_Out; | 
 
 
 
 
 
 | 178 | 
  | 
 
 
 
 
 
 | 179 | 
    ----------- | 
 
 
 
 
 
 | 180 | 
    -- Write -- | 
 
 
 
 
 
 | 181 | 
    ----------- | 
 
 
 
 
 
 | 182 | 
  | 
 
 
 
 
 
 | 183 | 
    procedure Write | 
 
 
 
 
 
 | 184 | 
      (Stream : in out Stream_Type; | 
 
 
 
 
 
 | 185 | 
       Item   : in     Stream_Element_Array) | 
 
 
 
 
 
 | 186 | 
    is | 
 
 
 
 
 
 | 187 | 
  | 
 
 
 
 
 
 | 188 | 
       procedure Write (Item : in Stream_Element_Array); | 
 
 
 
 
 
 | 189 | 
  | 
 
 
 
 
 
 | 190 | 
       ----------- | 
 
 
 
 
 
 | 191 | 
       -- Write -- | 
 
 
 
 
 
 | 192 | 
       ----------- | 
 
 
 
 
 
 | 193 | 
  | 
 
 
 
 
 
 | 194 | 
       procedure Write (Item : in Stream_Element_Array) is | 
 
 
 
 
 
 | 195 | 
       begin | 
 
 
 
 
 
 | 196 | 
          Ada.Streams.Write (Stream.Back.all, Item); | 
 
 
 
 
 
 | 197 | 
       end Write; | 
 
 
 
 
 
 | 198 | 
  | 
 
 
 
 
 
 | 199 | 
       procedure Write is new ZLib.Write | 
 
 
 
 
 
 | 200 | 
          (Write       => Write, | 
 
 
 
 
 
 | 201 | 
           Buffer_Size => Stream.Buffer_Size); | 
 
 
 
 
 
 | 202 | 
  | 
 
 
 
 
 
 | 203 | 
    begin | 
 
 
 
 
 
 | 204 | 
       Write (Stream.Writer, Item, No_Flush); | 
 
 
 
 
 
 | 205 | 
    end Write; | 
 
 
 
 
 
 | 206 | 
  | 
 
 
 
 
 
 | 207 | 
    -------------------- | 
 
 
 
 
 
 | 208 | 
    -- Write_Total_In -- | 
 
 
 
 
 
 | 209 | 
    -------------------- | 
 
 
 
 
 
 | 210 | 
  | 
 
 
 
 
 
 | 211 | 
    function Write_Total_In (Stream : in Stream_Type) return Count is | 
 
 
 
 
 
 | 212 | 
    begin | 
 
 
 
 
 
 | 213 | 
       return Total_In (Stream.Writer); | 
 
 
 
 
 
 | 214 | 
    end Write_Total_In; | 
 
 
 
 
 
 | 215 | 
  | 
 
 
 
 
 
 | 216 | 
    --------------------- | 
 
 
 
 
 
 | 217 | 
    -- Write_Total_Out -- | 
 
 
 
 
 
 | 218 | 
    --------------------- | 
 
 
 
 
 
 | 219 | 
  | 
 
 
 
 
 
 | 220 | 
    function Write_Total_Out (Stream : in Stream_Type) return Count is | 
 
 
 
 
 
 | 221 | 
    begin | 
 
 
 
 
 
 | 222 | 
       return Total_Out (Stream.Writer); | 
 
 
 
 
 
 | 223 | 
    end Write_Total_Out; | 
 
 
 
 
 
 | 224 | 
  | 
 
 
 
 
 
 | 225 | 
 end ZLib.Streams; |