Lines Matching refs:Is
6 -- This library is free software; you can redistribute it and/or modify --
11 -- This library is distributed in the hope that it will be useful, but --
34 package ZLib is
39 type Compression_Level is new Integer range -1 .. 9;
41 type Flush_Mode is private;
43 type Compression_Method is private;
45 type Window_Bits_Type is new Integer range 8 .. 15;
47 type Memory_Level_Type is new Integer range 1 .. 9;
49 type Unsigned_32 is new Interfaces.Unsigned_32;
51 type Strategy_Type is private;
53 type Header_Type is (None, Auto, Default, GZip);
57 subtype Count is Ada.Streams.Stream_Element_Count;
89 -- All pending output is flushed to the output buffer and the output
90 -- is aligned on a byte boundary, so that the decompressor can get all
91 -- input data available so far. (In particular avail_in is zero after the
105 -- All output is flushed as with SYNC_FLUSH, and the compression state
106 -- is reset so that decompression can restart from this point if previous
107 -- compressed data has been damaged or if random access is desired. Using
111 -- Just for tell the compressor that input data is complete.
126 type Filter_Type is tagged limited private;
127 -- The filter is for compression and for decompression.
128 -- The usage of the type is depend of its initialization.
143 -- When Header parameter is Auto or Default, then default zlib header
145 -- When Header is GZip, then gzip header would be set instead of
147 -- When Header is None, no header would be set for compressed data.
154 -- Default header type mean that ZLib default header is expecting in the
156 -- Header type None mean that no header is expecting in the input stream.
157 -- GZip header type mean that GZip header is expecting in the
163 -- Deflate_Init is supporting all header types.
167 -- Is the filter opened for compression or decompression.
173 -- If stream is closing before the complete and Ignore_Error is False,
213 -- Below is more complex low level routines. --
224 -- Out_Data. In_Last is the index of last element from In_Data accepted by
225 -- the Filter. Out_Last is the last element of the received data from
231 -- Return the true when the stream is complete.
275 -- Is it allowed to return Last < Item'Last before end of data.
284 -- indicators. If Allow_Read_Some is True, Read routines could return
294 type Flush_Mode is new Integer range 0 .. 5;
296 type Compression_Method is new Integer range 8 .. 8;
298 type Strategy_Type is new Integer range 0 .. 3;
316 type Z_Stream_Access is access all Z_Stream;
318 type Filter_Type is tagged limited record
Indexes created Sat Oct 18 08:10:09 GMT 2025