mirror of
https://github.com/tildearrow/furnace.git
synced 2024-11-18 02:25:11 +00:00
451 lines
15 KiB
Ada
451 lines
15 KiB
Ada
|
----------------------------------------------------------------
|
||
|
-- ZLib for Ada thick binding. --
|
||
|
-- --
|
||
|
-- Copyright (C) 2002-2003 Dmitriy Anisimkov --
|
||
|
-- --
|
||
|
-- Open source license information is in the zlib.ads file. --
|
||
|
----------------------------------------------------------------
|
||
|
|
||
|
-- $Id: zlib-thin.ads,v 1.11 2004/07/23 06:33:11 vagul Exp $
|
||
|
|
||
|
with Interfaces.C.Strings;
|
||
|
|
||
|
with System;
|
||
|
|
||
|
private package ZLib.Thin is
|
||
|
|
||
|
-- From zconf.h
|
||
|
|
||
|
MAX_MEM_LEVEL : constant := 9; -- zconf.h:105
|
||
|
-- zconf.h:105
|
||
|
MAX_WBITS : constant := 15; -- zconf.h:115
|
||
|
-- 32K LZ77 window
|
||
|
-- zconf.h:115
|
||
|
SEEK_SET : constant := 8#0000#; -- zconf.h:244
|
||
|
-- Seek from beginning of file.
|
||
|
-- zconf.h:244
|
||
|
SEEK_CUR : constant := 1; -- zconf.h:245
|
||
|
-- Seek from current position.
|
||
|
-- zconf.h:245
|
||
|
SEEK_END : constant := 2; -- zconf.h:246
|
||
|
-- Set file pointer to EOF plus "offset"
|
||
|
-- zconf.h:246
|
||
|
|
||
|
type Byte is new Interfaces.C.unsigned_char; -- 8 bits
|
||
|
-- zconf.h:214
|
||
|
type UInt is new Interfaces.C.unsigned; -- 16 bits or more
|
||
|
-- zconf.h:216
|
||
|
type Int is new Interfaces.C.int;
|
||
|
|
||
|
type ULong is new Interfaces.C.unsigned_long; -- 32 bits or more
|
||
|
-- zconf.h:217
|
||
|
subtype Chars_Ptr is Interfaces.C.Strings.chars_ptr;
|
||
|
|
||
|
type ULong_Access is access ULong;
|
||
|
type Int_Access is access Int;
|
||
|
|
||
|
subtype Voidp is System.Address; -- zconf.h:232
|
||
|
|
||
|
subtype Byte_Access is Voidp;
|
||
|
|
||
|
Nul : constant Voidp := System.Null_Address;
|
||
|
-- end from zconf
|
||
|
|
||
|
Z_NO_FLUSH : constant := 8#0000#; -- zlib.h:125
|
||
|
-- zlib.h:125
|
||
|
Z_PARTIAL_FLUSH : constant := 1; -- zlib.h:126
|
||
|
-- will be removed, use
|
||
|
-- Z_SYNC_FLUSH instead
|
||
|
-- zlib.h:126
|
||
|
Z_SYNC_FLUSH : constant := 2; -- zlib.h:127
|
||
|
-- zlib.h:127
|
||
|
Z_FULL_FLUSH : constant := 3; -- zlib.h:128
|
||
|
-- zlib.h:128
|
||
|
Z_FINISH : constant := 4; -- zlib.h:129
|
||
|
-- zlib.h:129
|
||
|
Z_OK : constant := 8#0000#; -- zlib.h:132
|
||
|
-- zlib.h:132
|
||
|
Z_STREAM_END : constant := 1; -- zlib.h:133
|
||
|
-- zlib.h:133
|
||
|
Z_NEED_DICT : constant := 2; -- zlib.h:134
|
||
|
-- zlib.h:134
|
||
|
Z_ERRNO : constant := -1; -- zlib.h:135
|
||
|
-- zlib.h:135
|
||
|
Z_STREAM_ERROR : constant := -2; -- zlib.h:136
|
||
|
-- zlib.h:136
|
||
|
Z_DATA_ERROR : constant := -3; -- zlib.h:137
|
||
|
-- zlib.h:137
|
||
|
Z_MEM_ERROR : constant := -4; -- zlib.h:138
|
||
|
-- zlib.h:138
|
||
|
Z_BUF_ERROR : constant := -5; -- zlib.h:139
|
||
|
-- zlib.h:139
|
||
|
Z_VERSION_ERROR : constant := -6; -- zlib.h:140
|
||
|
-- zlib.h:140
|
||
|
Z_NO_COMPRESSION : constant := 8#0000#; -- zlib.h:145
|
||
|
-- zlib.h:145
|
||
|
Z_BEST_SPEED : constant := 1; -- zlib.h:146
|
||
|
-- zlib.h:146
|
||
|
Z_BEST_COMPRESSION : constant := 9; -- zlib.h:147
|
||
|
-- zlib.h:147
|
||
|
Z_DEFAULT_COMPRESSION : constant := -1; -- zlib.h:148
|
||
|
-- zlib.h:148
|
||
|
Z_FILTERED : constant := 1; -- zlib.h:151
|
||
|
-- zlib.h:151
|
||
|
Z_HUFFMAN_ONLY : constant := 2; -- zlib.h:152
|
||
|
-- zlib.h:152
|
||
|
Z_DEFAULT_STRATEGY : constant := 8#0000#; -- zlib.h:153
|
||
|
-- zlib.h:153
|
||
|
Z_BINARY : constant := 8#0000#; -- zlib.h:156
|
||
|
-- zlib.h:156
|
||
|
Z_ASCII : constant := 1; -- zlib.h:157
|
||
|
-- zlib.h:157
|
||
|
Z_UNKNOWN : constant := 2; -- zlib.h:158
|
||
|
-- zlib.h:158
|
||
|
Z_DEFLATED : constant := 8; -- zlib.h:161
|
||
|
-- zlib.h:161
|
||
|
Z_NULL : constant := 8#0000#; -- zlib.h:164
|
||
|
-- for initializing zalloc, zfree, opaque
|
||
|
-- zlib.h:164
|
||
|
type gzFile is new Voidp; -- zlib.h:646
|
||
|
|
||
|
type Z_Stream is private;
|
||
|
|
||
|
type Z_Streamp is access all Z_Stream; -- zlib.h:89
|
||
|
|
||
|
type alloc_func is access function
|
||
|
(Opaque : Voidp;
|
||
|
Items : UInt;
|
||
|
Size : UInt)
|
||
|
return Voidp; -- zlib.h:63
|
||
|
|
||
|
type free_func is access procedure (opaque : Voidp; address : Voidp);
|
||
|
|
||
|
function zlibVersion return Chars_Ptr;
|
||
|
|
||
|
function Deflate (strm : Z_Streamp; flush : Int) return Int;
|
||
|
|
||
|
function DeflateEnd (strm : Z_Streamp) return Int;
|
||
|
|
||
|
function Inflate (strm : Z_Streamp; flush : Int) return Int;
|
||
|
|
||
|
function InflateEnd (strm : Z_Streamp) return Int;
|
||
|
|
||
|
function deflateSetDictionary
|
||
|
(strm : Z_Streamp;
|
||
|
dictionary : Byte_Access;
|
||
|
dictLength : UInt)
|
||
|
return Int;
|
||
|
|
||
|
function deflateCopy (dest : Z_Streamp; source : Z_Streamp) return Int;
|
||
|
-- zlib.h:478
|
||
|
|
||
|
function deflateReset (strm : Z_Streamp) return Int; -- zlib.h:495
|
||
|
|
||
|
function deflateParams
|
||
|
(strm : Z_Streamp;
|
||
|
level : Int;
|
||
|
strategy : Int)
|
||
|
return Int; -- zlib.h:506
|
||
|
|
||
|
function inflateSetDictionary
|
||
|
(strm : Z_Streamp;
|
||
|
dictionary : Byte_Access;
|
||
|
dictLength : UInt)
|
||
|
return Int; -- zlib.h:548
|
||
|
|
||
|
function inflateSync (strm : Z_Streamp) return Int; -- zlib.h:565
|
||
|
|
||
|
function inflateReset (strm : Z_Streamp) return Int; -- zlib.h:580
|
||
|
|
||
|
function compress
|
||
|
(dest : Byte_Access;
|
||
|
destLen : ULong_Access;
|
||
|
source : Byte_Access;
|
||
|
sourceLen : ULong)
|
||
|
return Int; -- zlib.h:601
|
||
|
|
||
|
function compress2
|
||
|
(dest : Byte_Access;
|
||
|
destLen : ULong_Access;
|
||
|
source : Byte_Access;
|
||
|
sourceLen : ULong;
|
||
|
level : Int)
|
||
|
return Int; -- zlib.h:615
|
||
|
|
||
|
function uncompress
|
||
|
(dest : Byte_Access;
|
||
|
destLen : ULong_Access;
|
||
|
source : Byte_Access;
|
||
|
sourceLen : ULong)
|
||
|
return Int;
|
||
|
|
||
|
function gzopen (path : Chars_Ptr; mode : Chars_Ptr) return gzFile;
|
||
|
|
||
|
function gzdopen (fd : Int; mode : Chars_Ptr) return gzFile;
|
||
|
|
||
|
function gzsetparams
|
||
|
(file : gzFile;
|
||
|
level : Int;
|
||
|
strategy : Int)
|
||
|
return Int;
|
||
|
|
||
|
function gzread
|
||
|
(file : gzFile;
|
||
|
buf : Voidp;
|
||
|
len : UInt)
|
||
|
return Int;
|
||
|
|
||
|
function gzwrite
|
||
|
(file : in gzFile;
|
||
|
buf : in Voidp;
|
||
|
len : in UInt)
|
||
|
return Int;
|
||
|
|
||
|
function gzprintf (file : in gzFile; format : in Chars_Ptr) return Int;
|
||
|
|
||
|
function gzputs (file : in gzFile; s : in Chars_Ptr) return Int;
|
||
|
|
||
|
function gzgets
|
||
|
(file : gzFile;
|
||
|
buf : Chars_Ptr;
|
||
|
len : Int)
|
||
|
return Chars_Ptr;
|
||
|
|
||
|
function gzputc (file : gzFile; char : Int) return Int;
|
||
|
|
||
|
function gzgetc (file : gzFile) return Int;
|
||
|
|
||
|
function gzflush (file : gzFile; flush : Int) return Int;
|
||
|
|
||
|
function gzseek
|
||
|
(file : gzFile;
|
||
|
offset : Int;
|
||
|
whence : Int)
|
||
|
return Int;
|
||
|
|
||
|
function gzrewind (file : gzFile) return Int;
|
||
|
|
||
|
function gztell (file : gzFile) return Int;
|
||
|
|
||
|
function gzeof (file : gzFile) return Int;
|
||
|
|
||
|
function gzclose (file : gzFile) return Int;
|
||
|
|
||
|
function gzerror (file : gzFile; errnum : Int_Access) return Chars_Ptr;
|
||
|
|
||
|
function adler32
|
||
|
(adler : ULong;
|
||
|
buf : Byte_Access;
|
||
|
len : UInt)
|
||
|
return ULong;
|
||
|
|
||
|
function crc32
|
||
|
(crc : ULong;
|
||
|
buf : Byte_Access;
|
||
|
len : UInt)
|
||
|
return ULong;
|
||
|
|
||
|
function deflateInit
|
||
|
(strm : Z_Streamp;
|
||
|
level : Int;
|
||
|
version : Chars_Ptr;
|
||
|
stream_size : Int)
|
||
|
return Int;
|
||
|
|
||
|
function deflateInit2
|
||
|
(strm : Z_Streamp;
|
||
|
level : Int;
|
||
|
method : Int;
|
||
|
windowBits : Int;
|
||
|
memLevel : Int;
|
||
|
strategy : Int;
|
||
|
version : Chars_Ptr;
|
||
|
stream_size : Int)
|
||
|
return Int;
|
||
|
|
||
|
function Deflate_Init
|
||
|
(strm : Z_Streamp;
|
||
|
level : Int;
|
||
|
method : Int;
|
||
|
windowBits : Int;
|
||
|
memLevel : Int;
|
||
|
strategy : Int)
|
||
|
return Int;
|
||
|
pragma Inline (Deflate_Init);
|
||
|
|
||
|
function inflateInit
|
||
|
(strm : Z_Streamp;
|
||
|
version : Chars_Ptr;
|
||
|
stream_size : Int)
|
||
|
return Int;
|
||
|
|
||
|
function inflateInit2
|
||
|
(strm : in Z_Streamp;
|
||
|
windowBits : in Int;
|
||
|
version : in Chars_Ptr;
|
||
|
stream_size : in Int)
|
||
|
return Int;
|
||
|
|
||
|
function inflateBackInit
|
||
|
(strm : in Z_Streamp;
|
||
|
windowBits : in Int;
|
||
|
window : in Byte_Access;
|
||
|
version : in Chars_Ptr;
|
||
|
stream_size : in Int)
|
||
|
return Int;
|
||
|
-- Size of window have to be 2**windowBits.
|
||
|
|
||
|
function Inflate_Init (strm : Z_Streamp; windowBits : Int) return Int;
|
||
|
pragma Inline (Inflate_Init);
|
||
|
|
||
|
function zError (err : Int) return Chars_Ptr;
|
||
|
|
||
|
function inflateSyncPoint (z : Z_Streamp) return Int;
|
||
|
|
||
|
function get_crc_table return ULong_Access;
|
||
|
|
||
|
-- Interface to the available fields of the z_stream structure.
|
||
|
-- The application must update next_in and avail_in when avail_in has
|
||
|
-- dropped to zero. It must update next_out and avail_out when avail_out
|
||
|
-- has dropped to zero. The application must initialize zalloc, zfree and
|
||
|
-- opaque before calling the init function.
|
||
|
|
||
|
procedure Set_In
|
||
|
(Strm : in out Z_Stream;
|
||
|
Buffer : in Voidp;
|
||
|
Size : in UInt);
|
||
|
pragma Inline (Set_In);
|
||
|
|
||
|
procedure Set_Out
|
||
|
(Strm : in out Z_Stream;
|
||
|
Buffer : in Voidp;
|
||
|
Size : in UInt);
|
||
|
pragma Inline (Set_Out);
|
||
|
|
||
|
procedure Set_Mem_Func
|
||
|
(Strm : in out Z_Stream;
|
||
|
Opaque : in Voidp;
|
||
|
Alloc : in alloc_func;
|
||
|
Free : in free_func);
|
||
|
pragma Inline (Set_Mem_Func);
|
||
|
|
||
|
function Last_Error_Message (Strm : in Z_Stream) return String;
|
||
|
pragma Inline (Last_Error_Message);
|
||
|
|
||
|
function Avail_Out (Strm : in Z_Stream) return UInt;
|
||
|
pragma Inline (Avail_Out);
|
||
|
|
||
|
function Avail_In (Strm : in Z_Stream) return UInt;
|
||
|
pragma Inline (Avail_In);
|
||
|
|
||
|
function Total_In (Strm : in Z_Stream) return ULong;
|
||
|
pragma Inline (Total_In);
|
||
|
|
||
|
function Total_Out (Strm : in Z_Stream) return ULong;
|
||
|
pragma Inline (Total_Out);
|
||
|
|
||
|
function inflateCopy
|
||
|
(dest : in Z_Streamp;
|
||
|
Source : in Z_Streamp)
|
||
|
return Int;
|
||
|
|
||
|
function compressBound (Source_Len : in ULong) return ULong;
|
||
|
|
||
|
function deflateBound
|
||
|
(Strm : in Z_Streamp;
|
||
|
Source_Len : in ULong)
|
||
|
return ULong;
|
||
|
|
||
|
function gzungetc (C : in Int; File : in gzFile) return Int;
|
||
|
|
||
|
function zlibCompileFlags return ULong;
|
||
|
|
||
|
private
|
||
|
|
||
|
type Z_Stream is record -- zlib.h:68
|
||
|
Next_In : Voidp := Nul; -- next input byte
|
||
|
Avail_In : UInt := 0; -- number of bytes available at next_in
|
||
|
Total_In : ULong := 0; -- total nb of input bytes read so far
|
||
|
Next_Out : Voidp := Nul; -- next output byte should be put there
|
||
|
Avail_Out : UInt := 0; -- remaining free space at next_out
|
||
|
Total_Out : ULong := 0; -- total nb of bytes output so far
|
||
|
msg : Chars_Ptr; -- last error message, NULL if no error
|
||
|
state : Voidp; -- not visible by applications
|
||
|
zalloc : alloc_func := null; -- used to allocate the internal state
|
||
|
zfree : free_func := null; -- used to free the internal state
|
||
|
opaque : Voidp; -- private data object passed to
|
||
|
-- zalloc and zfree
|
||
|
data_type : Int; -- best guess about the data type:
|
||
|
-- ascii or binary
|
||
|
adler : ULong; -- adler32 value of the uncompressed
|
||
|
-- data
|
||
|
reserved : ULong; -- reserved for future use
|
||
|
end record;
|
||
|
|
||
|
pragma Convention (C, Z_Stream);
|
||
|
|
||
|
pragma Import (C, zlibVersion, "zlibVersion");
|
||
|
pragma Import (C, Deflate, "deflate");
|
||
|
pragma Import (C, DeflateEnd, "deflateEnd");
|
||
|
pragma Import (C, Inflate, "inflate");
|
||
|
pragma Import (C, InflateEnd, "inflateEnd");
|
||
|
pragma Import (C, deflateSetDictionary, "deflateSetDictionary");
|
||
|
pragma Import (C, deflateCopy, "deflateCopy");
|
||
|
pragma Import (C, deflateReset, "deflateReset");
|
||
|
pragma Import (C, deflateParams, "deflateParams");
|
||
|
pragma Import (C, inflateSetDictionary, "inflateSetDictionary");
|
||
|
pragma Import (C, inflateSync, "inflateSync");
|
||
|
pragma Import (C, inflateReset, "inflateReset");
|
||
|
pragma Import (C, compress, "compress");
|
||
|
pragma Import (C, compress2, "compress2");
|
||
|
pragma Import (C, uncompress, "uncompress");
|
||
|
pragma Import (C, gzopen, "gzopen");
|
||
|
pragma Import (C, gzdopen, "gzdopen");
|
||
|
pragma Import (C, gzsetparams, "gzsetparams");
|
||
|
pragma Import (C, gzread, "gzread");
|
||
|
pragma Import (C, gzwrite, "gzwrite");
|
||
|
pragma Import (C, gzprintf, "gzprintf");
|
||
|
pragma Import (C, gzputs, "gzputs");
|
||
|
pragma Import (C, gzgets, "gzgets");
|
||
|
pragma Import (C, gzputc, "gzputc");
|
||
|
pragma Import (C, gzgetc, "gzgetc");
|
||
|
pragma Import (C, gzflush, "gzflush");
|
||
|
pragma Import (C, gzseek, "gzseek");
|
||
|
pragma Import (C, gzrewind, "gzrewind");
|
||
|
pragma Import (C, gztell, "gztell");
|
||
|
pragma Import (C, gzeof, "gzeof");
|
||
|
pragma Import (C, gzclose, "gzclose");
|
||
|
pragma Import (C, gzerror, "gzerror");
|
||
|
pragma Import (C, adler32, "adler32");
|
||
|
pragma Import (C, crc32, "crc32");
|
||
|
pragma Import (C, deflateInit, "deflateInit_");
|
||
|
pragma Import (C, inflateInit, "inflateInit_");
|
||
|
pragma Import (C, deflateInit2, "deflateInit2_");
|
||
|
pragma Import (C, inflateInit2, "inflateInit2_");
|
||
|
pragma Import (C, zError, "zError");
|
||
|
pragma Import (C, inflateSyncPoint, "inflateSyncPoint");
|
||
|
pragma Import (C, get_crc_table, "get_crc_table");
|
||
|
|
||
|
-- since zlib 1.2.0:
|
||
|
|
||
|
pragma Import (C, inflateCopy, "inflateCopy");
|
||
|
pragma Import (C, compressBound, "compressBound");
|
||
|
pragma Import (C, deflateBound, "deflateBound");
|
||
|
pragma Import (C, gzungetc, "gzungetc");
|
||
|
pragma Import (C, zlibCompileFlags, "zlibCompileFlags");
|
||
|
|
||
|
pragma Import (C, inflateBackInit, "inflateBackInit_");
|
||
|
|
||
|
-- I stopped binding the inflateBack routines, because realize that
|
||
|
-- it does not support zlib and gzip headers for now, and have no
|
||
|
-- symmetric deflateBack routines.
|
||
|
-- ZLib-Ada is symmetric regarding deflate/inflate data transformation
|
||
|
-- and has a similar generic callback interface for the
|
||
|
-- deflate/inflate transformation based on the regular Deflate/Inflate
|
||
|
-- routines.
|
||
|
|
||
|
-- pragma Import (C, inflateBack, "inflateBack");
|
||
|
-- pragma Import (C, inflateBackEnd, "inflateBackEnd");
|
||
|
|
||
|
end ZLib.Thin;
|