annotate src/zlib-1.2.7/contrib/ada/zlib-thin.ads @ 148:b4bfdf10c4b3

Update Win64 capnp builds to v0.6
author Chris Cannam <cannam@all-day-breakfast.com>
date Mon, 22 May 2017 18:56:49 +0100
parents 8a15ff55d9af
children
rev   line source
cannam@89 1 ----------------------------------------------------------------
cannam@89 2 -- ZLib for Ada thick binding. --
cannam@89 3 -- --
cannam@89 4 -- Copyright (C) 2002-2003 Dmitriy Anisimkov --
cannam@89 5 -- --
cannam@89 6 -- Open source license information is in the zlib.ads file. --
cannam@89 7 ----------------------------------------------------------------
cannam@89 8
cannam@89 9 -- $Id: zlib-thin.ads,v 1.11 2004/07/23 06:33:11 vagul Exp $
cannam@89 10
cannam@89 11 with Interfaces.C.Strings;
cannam@89 12
cannam@89 13 with System;
cannam@89 14
cannam@89 15 private package ZLib.Thin is
cannam@89 16
cannam@89 17 -- From zconf.h
cannam@89 18
cannam@89 19 MAX_MEM_LEVEL : constant := 9; -- zconf.h:105
cannam@89 20 -- zconf.h:105
cannam@89 21 MAX_WBITS : constant := 15; -- zconf.h:115
cannam@89 22 -- 32K LZ77 window
cannam@89 23 -- zconf.h:115
cannam@89 24 SEEK_SET : constant := 8#0000#; -- zconf.h:244
cannam@89 25 -- Seek from beginning of file.
cannam@89 26 -- zconf.h:244
cannam@89 27 SEEK_CUR : constant := 1; -- zconf.h:245
cannam@89 28 -- Seek from current position.
cannam@89 29 -- zconf.h:245
cannam@89 30 SEEK_END : constant := 2; -- zconf.h:246
cannam@89 31 -- Set file pointer to EOF plus "offset"
cannam@89 32 -- zconf.h:246
cannam@89 33
cannam@89 34 type Byte is new Interfaces.C.unsigned_char; -- 8 bits
cannam@89 35 -- zconf.h:214
cannam@89 36 type UInt is new Interfaces.C.unsigned; -- 16 bits or more
cannam@89 37 -- zconf.h:216
cannam@89 38 type Int is new Interfaces.C.int;
cannam@89 39
cannam@89 40 type ULong is new Interfaces.C.unsigned_long; -- 32 bits or more
cannam@89 41 -- zconf.h:217
cannam@89 42 subtype Chars_Ptr is Interfaces.C.Strings.chars_ptr;
cannam@89 43
cannam@89 44 type ULong_Access is access ULong;
cannam@89 45 type Int_Access is access Int;
cannam@89 46
cannam@89 47 subtype Voidp is System.Address; -- zconf.h:232
cannam@89 48
cannam@89 49 subtype Byte_Access is Voidp;
cannam@89 50
cannam@89 51 Nul : constant Voidp := System.Null_Address;
cannam@89 52 -- end from zconf
cannam@89 53
cannam@89 54 Z_NO_FLUSH : constant := 8#0000#; -- zlib.h:125
cannam@89 55 -- zlib.h:125
cannam@89 56 Z_PARTIAL_FLUSH : constant := 1; -- zlib.h:126
cannam@89 57 -- will be removed, use
cannam@89 58 -- Z_SYNC_FLUSH instead
cannam@89 59 -- zlib.h:126
cannam@89 60 Z_SYNC_FLUSH : constant := 2; -- zlib.h:127
cannam@89 61 -- zlib.h:127
cannam@89 62 Z_FULL_FLUSH : constant := 3; -- zlib.h:128
cannam@89 63 -- zlib.h:128
cannam@89 64 Z_FINISH : constant := 4; -- zlib.h:129
cannam@89 65 -- zlib.h:129
cannam@89 66 Z_OK : constant := 8#0000#; -- zlib.h:132
cannam@89 67 -- zlib.h:132
cannam@89 68 Z_STREAM_END : constant := 1; -- zlib.h:133
cannam@89 69 -- zlib.h:133
cannam@89 70 Z_NEED_DICT : constant := 2; -- zlib.h:134
cannam@89 71 -- zlib.h:134
cannam@89 72 Z_ERRNO : constant := -1; -- zlib.h:135
cannam@89 73 -- zlib.h:135
cannam@89 74 Z_STREAM_ERROR : constant := -2; -- zlib.h:136
cannam@89 75 -- zlib.h:136
cannam@89 76 Z_DATA_ERROR : constant := -3; -- zlib.h:137
cannam@89 77 -- zlib.h:137
cannam@89 78 Z_MEM_ERROR : constant := -4; -- zlib.h:138
cannam@89 79 -- zlib.h:138
cannam@89 80 Z_BUF_ERROR : constant := -5; -- zlib.h:139
cannam@89 81 -- zlib.h:139
cannam@89 82 Z_VERSION_ERROR : constant := -6; -- zlib.h:140
cannam@89 83 -- zlib.h:140
cannam@89 84 Z_NO_COMPRESSION : constant := 8#0000#; -- zlib.h:145
cannam@89 85 -- zlib.h:145
cannam@89 86 Z_BEST_SPEED : constant := 1; -- zlib.h:146
cannam@89 87 -- zlib.h:146
cannam@89 88 Z_BEST_COMPRESSION : constant := 9; -- zlib.h:147
cannam@89 89 -- zlib.h:147
cannam@89 90 Z_DEFAULT_COMPRESSION : constant := -1; -- zlib.h:148
cannam@89 91 -- zlib.h:148
cannam@89 92 Z_FILTERED : constant := 1; -- zlib.h:151
cannam@89 93 -- zlib.h:151
cannam@89 94 Z_HUFFMAN_ONLY : constant := 2; -- zlib.h:152
cannam@89 95 -- zlib.h:152
cannam@89 96 Z_DEFAULT_STRATEGY : constant := 8#0000#; -- zlib.h:153
cannam@89 97 -- zlib.h:153
cannam@89 98 Z_BINARY : constant := 8#0000#; -- zlib.h:156
cannam@89 99 -- zlib.h:156
cannam@89 100 Z_ASCII : constant := 1; -- zlib.h:157
cannam@89 101 -- zlib.h:157
cannam@89 102 Z_UNKNOWN : constant := 2; -- zlib.h:158
cannam@89 103 -- zlib.h:158
cannam@89 104 Z_DEFLATED : constant := 8; -- zlib.h:161
cannam@89 105 -- zlib.h:161
cannam@89 106 Z_NULL : constant := 8#0000#; -- zlib.h:164
cannam@89 107 -- for initializing zalloc, zfree, opaque
cannam@89 108 -- zlib.h:164
cannam@89 109 type gzFile is new Voidp; -- zlib.h:646
cannam@89 110
cannam@89 111 type Z_Stream is private;
cannam@89 112
cannam@89 113 type Z_Streamp is access all Z_Stream; -- zlib.h:89
cannam@89 114
cannam@89 115 type alloc_func is access function
cannam@89 116 (Opaque : Voidp;
cannam@89 117 Items : UInt;
cannam@89 118 Size : UInt)
cannam@89 119 return Voidp; -- zlib.h:63
cannam@89 120
cannam@89 121 type free_func is access procedure (opaque : Voidp; address : Voidp);
cannam@89 122
cannam@89 123 function zlibVersion return Chars_Ptr;
cannam@89 124
cannam@89 125 function Deflate (strm : Z_Streamp; flush : Int) return Int;
cannam@89 126
cannam@89 127 function DeflateEnd (strm : Z_Streamp) return Int;
cannam@89 128
cannam@89 129 function Inflate (strm : Z_Streamp; flush : Int) return Int;
cannam@89 130
cannam@89 131 function InflateEnd (strm : Z_Streamp) return Int;
cannam@89 132
cannam@89 133 function deflateSetDictionary
cannam@89 134 (strm : Z_Streamp;
cannam@89 135 dictionary : Byte_Access;
cannam@89 136 dictLength : UInt)
cannam@89 137 return Int;
cannam@89 138
cannam@89 139 function deflateCopy (dest : Z_Streamp; source : Z_Streamp) return Int;
cannam@89 140 -- zlib.h:478
cannam@89 141
cannam@89 142 function deflateReset (strm : Z_Streamp) return Int; -- zlib.h:495
cannam@89 143
cannam@89 144 function deflateParams
cannam@89 145 (strm : Z_Streamp;
cannam@89 146 level : Int;
cannam@89 147 strategy : Int)
cannam@89 148 return Int; -- zlib.h:506
cannam@89 149
cannam@89 150 function inflateSetDictionary
cannam@89 151 (strm : Z_Streamp;
cannam@89 152 dictionary : Byte_Access;
cannam@89 153 dictLength : UInt)
cannam@89 154 return Int; -- zlib.h:548
cannam@89 155
cannam@89 156 function inflateSync (strm : Z_Streamp) return Int; -- zlib.h:565
cannam@89 157
cannam@89 158 function inflateReset (strm : Z_Streamp) return Int; -- zlib.h:580
cannam@89 159
cannam@89 160 function compress
cannam@89 161 (dest : Byte_Access;
cannam@89 162 destLen : ULong_Access;
cannam@89 163 source : Byte_Access;
cannam@89 164 sourceLen : ULong)
cannam@89 165 return Int; -- zlib.h:601
cannam@89 166
cannam@89 167 function compress2
cannam@89 168 (dest : Byte_Access;
cannam@89 169 destLen : ULong_Access;
cannam@89 170 source : Byte_Access;
cannam@89 171 sourceLen : ULong;
cannam@89 172 level : Int)
cannam@89 173 return Int; -- zlib.h:615
cannam@89 174
cannam@89 175 function uncompress
cannam@89 176 (dest : Byte_Access;
cannam@89 177 destLen : ULong_Access;
cannam@89 178 source : Byte_Access;
cannam@89 179 sourceLen : ULong)
cannam@89 180 return Int;
cannam@89 181
cannam@89 182 function gzopen (path : Chars_Ptr; mode : Chars_Ptr) return gzFile;
cannam@89 183
cannam@89 184 function gzdopen (fd : Int; mode : Chars_Ptr) return gzFile;
cannam@89 185
cannam@89 186 function gzsetparams
cannam@89 187 (file : gzFile;
cannam@89 188 level : Int;
cannam@89 189 strategy : Int)
cannam@89 190 return Int;
cannam@89 191
cannam@89 192 function gzread
cannam@89 193 (file : gzFile;
cannam@89 194 buf : Voidp;
cannam@89 195 len : UInt)
cannam@89 196 return Int;
cannam@89 197
cannam@89 198 function gzwrite
cannam@89 199 (file : in gzFile;
cannam@89 200 buf : in Voidp;
cannam@89 201 len : in UInt)
cannam@89 202 return Int;
cannam@89 203
cannam@89 204 function gzprintf (file : in gzFile; format : in Chars_Ptr) return Int;
cannam@89 205
cannam@89 206 function gzputs (file : in gzFile; s : in Chars_Ptr) return Int;
cannam@89 207
cannam@89 208 function gzgets
cannam@89 209 (file : gzFile;
cannam@89 210 buf : Chars_Ptr;
cannam@89 211 len : Int)
cannam@89 212 return Chars_Ptr;
cannam@89 213
cannam@89 214 function gzputc (file : gzFile; char : Int) return Int;
cannam@89 215
cannam@89 216 function gzgetc (file : gzFile) return Int;
cannam@89 217
cannam@89 218 function gzflush (file : gzFile; flush : Int) return Int;
cannam@89 219
cannam@89 220 function gzseek
cannam@89 221 (file : gzFile;
cannam@89 222 offset : Int;
cannam@89 223 whence : Int)
cannam@89 224 return Int;
cannam@89 225
cannam@89 226 function gzrewind (file : gzFile) return Int;
cannam@89 227
cannam@89 228 function gztell (file : gzFile) return Int;
cannam@89 229
cannam@89 230 function gzeof (file : gzFile) return Int;
cannam@89 231
cannam@89 232 function gzclose (file : gzFile) return Int;
cannam@89 233
cannam@89 234 function gzerror (file : gzFile; errnum : Int_Access) return Chars_Ptr;
cannam@89 235
cannam@89 236 function adler32
cannam@89 237 (adler : ULong;
cannam@89 238 buf : Byte_Access;
cannam@89 239 len : UInt)
cannam@89 240 return ULong;
cannam@89 241
cannam@89 242 function crc32
cannam@89 243 (crc : ULong;
cannam@89 244 buf : Byte_Access;
cannam@89 245 len : UInt)
cannam@89 246 return ULong;
cannam@89 247
cannam@89 248 function deflateInit
cannam@89 249 (strm : Z_Streamp;
cannam@89 250 level : Int;
cannam@89 251 version : Chars_Ptr;
cannam@89 252 stream_size : Int)
cannam@89 253 return Int;
cannam@89 254
cannam@89 255 function deflateInit2
cannam@89 256 (strm : Z_Streamp;
cannam@89 257 level : Int;
cannam@89 258 method : Int;
cannam@89 259 windowBits : Int;
cannam@89 260 memLevel : Int;
cannam@89 261 strategy : Int;
cannam@89 262 version : Chars_Ptr;
cannam@89 263 stream_size : Int)
cannam@89 264 return Int;
cannam@89 265
cannam@89 266 function Deflate_Init
cannam@89 267 (strm : Z_Streamp;
cannam@89 268 level : Int;
cannam@89 269 method : Int;
cannam@89 270 windowBits : Int;
cannam@89 271 memLevel : Int;
cannam@89 272 strategy : Int)
cannam@89 273 return Int;
cannam@89 274 pragma Inline (Deflate_Init);
cannam@89 275
cannam@89 276 function inflateInit
cannam@89 277 (strm : Z_Streamp;
cannam@89 278 version : Chars_Ptr;
cannam@89 279 stream_size : Int)
cannam@89 280 return Int;
cannam@89 281
cannam@89 282 function inflateInit2
cannam@89 283 (strm : in Z_Streamp;
cannam@89 284 windowBits : in Int;
cannam@89 285 version : in Chars_Ptr;
cannam@89 286 stream_size : in Int)
cannam@89 287 return Int;
cannam@89 288
cannam@89 289 function inflateBackInit
cannam@89 290 (strm : in Z_Streamp;
cannam@89 291 windowBits : in Int;
cannam@89 292 window : in Byte_Access;
cannam@89 293 version : in Chars_Ptr;
cannam@89 294 stream_size : in Int)
cannam@89 295 return Int;
cannam@89 296 -- Size of window have to be 2**windowBits.
cannam@89 297
cannam@89 298 function Inflate_Init (strm : Z_Streamp; windowBits : Int) return Int;
cannam@89 299 pragma Inline (Inflate_Init);
cannam@89 300
cannam@89 301 function zError (err : Int) return Chars_Ptr;
cannam@89 302
cannam@89 303 function inflateSyncPoint (z : Z_Streamp) return Int;
cannam@89 304
cannam@89 305 function get_crc_table return ULong_Access;
cannam@89 306
cannam@89 307 -- Interface to the available fields of the z_stream structure.
cannam@89 308 -- The application must update next_in and avail_in when avail_in has
cannam@89 309 -- dropped to zero. It must update next_out and avail_out when avail_out
cannam@89 310 -- has dropped to zero. The application must initialize zalloc, zfree and
cannam@89 311 -- opaque before calling the init function.
cannam@89 312
cannam@89 313 procedure Set_In
cannam@89 314 (Strm : in out Z_Stream;
cannam@89 315 Buffer : in Voidp;
cannam@89 316 Size : in UInt);
cannam@89 317 pragma Inline (Set_In);
cannam@89 318
cannam@89 319 procedure Set_Out
cannam@89 320 (Strm : in out Z_Stream;
cannam@89 321 Buffer : in Voidp;
cannam@89 322 Size : in UInt);
cannam@89 323 pragma Inline (Set_Out);
cannam@89 324
cannam@89 325 procedure Set_Mem_Func
cannam@89 326 (Strm : in out Z_Stream;
cannam@89 327 Opaque : in Voidp;
cannam@89 328 Alloc : in alloc_func;
cannam@89 329 Free : in free_func);
cannam@89 330 pragma Inline (Set_Mem_Func);
cannam@89 331
cannam@89 332 function Last_Error_Message (Strm : in Z_Stream) return String;
cannam@89 333 pragma Inline (Last_Error_Message);
cannam@89 334
cannam@89 335 function Avail_Out (Strm : in Z_Stream) return UInt;
cannam@89 336 pragma Inline (Avail_Out);
cannam@89 337
cannam@89 338 function Avail_In (Strm : in Z_Stream) return UInt;
cannam@89 339 pragma Inline (Avail_In);
cannam@89 340
cannam@89 341 function Total_In (Strm : in Z_Stream) return ULong;
cannam@89 342 pragma Inline (Total_In);
cannam@89 343
cannam@89 344 function Total_Out (Strm : in Z_Stream) return ULong;
cannam@89 345 pragma Inline (Total_Out);
cannam@89 346
cannam@89 347 function inflateCopy
cannam@89 348 (dest : in Z_Streamp;
cannam@89 349 Source : in Z_Streamp)
cannam@89 350 return Int;
cannam@89 351
cannam@89 352 function compressBound (Source_Len : in ULong) return ULong;
cannam@89 353
cannam@89 354 function deflateBound
cannam@89 355 (Strm : in Z_Streamp;
cannam@89 356 Source_Len : in ULong)
cannam@89 357 return ULong;
cannam@89 358
cannam@89 359 function gzungetc (C : in Int; File : in gzFile) return Int;
cannam@89 360
cannam@89 361 function zlibCompileFlags return ULong;
cannam@89 362
cannam@89 363 private
cannam@89 364
cannam@89 365 type Z_Stream is record -- zlib.h:68
cannam@89 366 Next_In : Voidp := Nul; -- next input byte
cannam@89 367 Avail_In : UInt := 0; -- number of bytes available at next_in
cannam@89 368 Total_In : ULong := 0; -- total nb of input bytes read so far
cannam@89 369 Next_Out : Voidp := Nul; -- next output byte should be put there
cannam@89 370 Avail_Out : UInt := 0; -- remaining free space at next_out
cannam@89 371 Total_Out : ULong := 0; -- total nb of bytes output so far
cannam@89 372 msg : Chars_Ptr; -- last error message, NULL if no error
cannam@89 373 state : Voidp; -- not visible by applications
cannam@89 374 zalloc : alloc_func := null; -- used to allocate the internal state
cannam@89 375 zfree : free_func := null; -- used to free the internal state
cannam@89 376 opaque : Voidp; -- private data object passed to
cannam@89 377 -- zalloc and zfree
cannam@89 378 data_type : Int; -- best guess about the data type:
cannam@89 379 -- ascii or binary
cannam@89 380 adler : ULong; -- adler32 value of the uncompressed
cannam@89 381 -- data
cannam@89 382 reserved : ULong; -- reserved for future use
cannam@89 383 end record;
cannam@89 384
cannam@89 385 pragma Convention (C, Z_Stream);
cannam@89 386
cannam@89 387 pragma Import (C, zlibVersion, "zlibVersion");
cannam@89 388 pragma Import (C, Deflate, "deflate");
cannam@89 389 pragma Import (C, DeflateEnd, "deflateEnd");
cannam@89 390 pragma Import (C, Inflate, "inflate");
cannam@89 391 pragma Import (C, InflateEnd, "inflateEnd");
cannam@89 392 pragma Import (C, deflateSetDictionary, "deflateSetDictionary");
cannam@89 393 pragma Import (C, deflateCopy, "deflateCopy");
cannam@89 394 pragma Import (C, deflateReset, "deflateReset");
cannam@89 395 pragma Import (C, deflateParams, "deflateParams");
cannam@89 396 pragma Import (C, inflateSetDictionary, "inflateSetDictionary");
cannam@89 397 pragma Import (C, inflateSync, "inflateSync");
cannam@89 398 pragma Import (C, inflateReset, "inflateReset");
cannam@89 399 pragma Import (C, compress, "compress");
cannam@89 400 pragma Import (C, compress2, "compress2");
cannam@89 401 pragma Import (C, uncompress, "uncompress");
cannam@89 402 pragma Import (C, gzopen, "gzopen");
cannam@89 403 pragma Import (C, gzdopen, "gzdopen");
cannam@89 404 pragma Import (C, gzsetparams, "gzsetparams");
cannam@89 405 pragma Import (C, gzread, "gzread");
cannam@89 406 pragma Import (C, gzwrite, "gzwrite");
cannam@89 407 pragma Import (C, gzprintf, "gzprintf");
cannam@89 408 pragma Import (C, gzputs, "gzputs");
cannam@89 409 pragma Import (C, gzgets, "gzgets");
cannam@89 410 pragma Import (C, gzputc, "gzputc");
cannam@89 411 pragma Import (C, gzgetc, "gzgetc");
cannam@89 412 pragma Import (C, gzflush, "gzflush");
cannam@89 413 pragma Import (C, gzseek, "gzseek");
cannam@89 414 pragma Import (C, gzrewind, "gzrewind");
cannam@89 415 pragma Import (C, gztell, "gztell");
cannam@89 416 pragma Import (C, gzeof, "gzeof");
cannam@89 417 pragma Import (C, gzclose, "gzclose");
cannam@89 418 pragma Import (C, gzerror, "gzerror");
cannam@89 419 pragma Import (C, adler32, "adler32");
cannam@89 420 pragma Import (C, crc32, "crc32");
cannam@89 421 pragma Import (C, deflateInit, "deflateInit_");
cannam@89 422 pragma Import (C, inflateInit, "inflateInit_");
cannam@89 423 pragma Import (C, deflateInit2, "deflateInit2_");
cannam@89 424 pragma Import (C, inflateInit2, "inflateInit2_");
cannam@89 425 pragma Import (C, zError, "zError");
cannam@89 426 pragma Import (C, inflateSyncPoint, "inflateSyncPoint");
cannam@89 427 pragma Import (C, get_crc_table, "get_crc_table");
cannam@89 428
cannam@89 429 -- since zlib 1.2.0:
cannam@89 430
cannam@89 431 pragma Import (C, inflateCopy, "inflateCopy");
cannam@89 432 pragma Import (C, compressBound, "compressBound");
cannam@89 433 pragma Import (C, deflateBound, "deflateBound");
cannam@89 434 pragma Import (C, gzungetc, "gzungetc");
cannam@89 435 pragma Import (C, zlibCompileFlags, "zlibCompileFlags");
cannam@89 436
cannam@89 437 pragma Import (C, inflateBackInit, "inflateBackInit_");
cannam@89 438
cannam@89 439 -- I stopped binding the inflateBack routines, becouse realize that
cannam@89 440 -- it does not support zlib and gzip headers for now, and have no
cannam@89 441 -- symmetric deflateBack routines.
cannam@89 442 -- ZLib-Ada is symmetric regarding deflate/inflate data transformation
cannam@89 443 -- and has a similar generic callback interface for the
cannam@89 444 -- deflate/inflate transformation based on the regular Deflate/Inflate
cannam@89 445 -- routines.
cannam@89 446
cannam@89 447 -- pragma Import (C, inflateBack, "inflateBack");
cannam@89 448 -- pragma Import (C, inflateBackEnd, "inflateBackEnd");
cannam@89 449
cannam@89 450 end ZLib.Thin;