| [1096] | 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;
|
|---|
