CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
tinfl_decompressor_tag Struct Reference

#include <miniz.h>

Public Attributes

mz_uint32 m_state
 
mz_uint32 m_num_bits
 
mz_uint32 m_zhdr0
 
mz_uint32 m_zhdr1
 
mz_uint32 m_z_adler32
 
mz_uint32 m_final
 
mz_uint32 m_type
 
mz_uint32 m_check_adler32
 
mz_uint32 m_dist
 
mz_uint32 m_counter
 
mz_uint32 m_num_extra
 
mz_uint32 m_table_sizes [TINFL_MAX_HUFF_TABLES]
 
tinfl_bit_buf_t m_bit_buf
 
size_t m_dist_from_out_buf_start
 
mz_int16 m_look_up [TINFL_MAX_HUFF_TABLES][TINFL_FAST_LOOKUP_SIZE]
 
mz_int16 m_tree_0 [TINFL_MAX_HUFF_SYMBOLS_0 *2]
 
mz_int16 m_tree_1 [TINFL_MAX_HUFF_SYMBOLS_1 *2]
 
mz_int16 m_tree_2 [TINFL_MAX_HUFF_SYMBOLS_2 *2]
 
mz_uint8 m_code_size_0 [TINFL_MAX_HUFF_SYMBOLS_0]
 
mz_uint8 m_code_size_1 [TINFL_MAX_HUFF_SYMBOLS_1]
 
mz_uint8 m_code_size_2 [TINFL_MAX_HUFF_SYMBOLS_2]
 
mz_uint8 m_raw_header [4]
 
mz_uint8 m_len_codes [TINFL_MAX_HUFF_SYMBOLS_0+TINFL_MAX_HUFF_SYMBOLS_1+137]
 

Detailed Description

Definition at line 1034 of file miniz.h.

Member Data Documentation

◆ m_bit_buf

tinfl_bit_buf_t tinfl_decompressor_tag::m_bit_buf

Definition at line 1037 of file miniz.h.

◆ m_check_adler32

mz_uint32 tinfl_decompressor_tag::m_check_adler32

Definition at line 1036 of file miniz.h.

◆ m_code_size_0

mz_uint8 tinfl_decompressor_tag::m_code_size_0[TINFL_MAX_HUFF_SYMBOLS_0]

Definition at line 1043 of file miniz.h.

◆ m_code_size_1

mz_uint8 tinfl_decompressor_tag::m_code_size_1[TINFL_MAX_HUFF_SYMBOLS_1]

Definition at line 1044 of file miniz.h.

◆ m_code_size_2

mz_uint8 tinfl_decompressor_tag::m_code_size_2[TINFL_MAX_HUFF_SYMBOLS_2]

Definition at line 1045 of file miniz.h.

◆ m_counter

mz_uint32 tinfl_decompressor_tag::m_counter

Definition at line 1036 of file miniz.h.

◆ m_dist

mz_uint32 tinfl_decompressor_tag::m_dist

Definition at line 1036 of file miniz.h.

◆ m_dist_from_out_buf_start

size_t tinfl_decompressor_tag::m_dist_from_out_buf_start

Definition at line 1038 of file miniz.h.

◆ m_final

mz_uint32 tinfl_decompressor_tag::m_final

Definition at line 1036 of file miniz.h.

◆ m_len_codes

mz_uint8 tinfl_decompressor_tag::m_len_codes[TINFL_MAX_HUFF_SYMBOLS_0+TINFL_MAX_HUFF_SYMBOLS_1+137]

Definition at line 1046 of file miniz.h.

◆ m_look_up

mz_int16 tinfl_decompressor_tag::m_look_up[TINFL_MAX_HUFF_TABLES][TINFL_FAST_LOOKUP_SIZE]

Definition at line 1039 of file miniz.h.

◆ m_num_bits

mz_uint32 tinfl_decompressor_tag::m_num_bits

Definition at line 1036 of file miniz.h.

◆ m_num_extra

mz_uint32 tinfl_decompressor_tag::m_num_extra

Definition at line 1036 of file miniz.h.

◆ m_raw_header

mz_uint8 tinfl_decompressor_tag::m_raw_header[4]

Definition at line 1046 of file miniz.h.

◆ m_state

mz_uint32 tinfl_decompressor_tag::m_state

Definition at line 1036 of file miniz.h.

◆ m_table_sizes

mz_uint32 tinfl_decompressor_tag::m_table_sizes[TINFL_MAX_HUFF_TABLES]

Definition at line 1036 of file miniz.h.

◆ m_tree_0

mz_int16 tinfl_decompressor_tag::m_tree_0[TINFL_MAX_HUFF_SYMBOLS_0 *2]

Definition at line 1040 of file miniz.h.

◆ m_tree_1

mz_int16 tinfl_decompressor_tag::m_tree_1[TINFL_MAX_HUFF_SYMBOLS_1 *2]

Definition at line 1041 of file miniz.h.

◆ m_tree_2

mz_int16 tinfl_decompressor_tag::m_tree_2[TINFL_MAX_HUFF_SYMBOLS_2 *2]

Definition at line 1042 of file miniz.h.

◆ m_type

mz_uint32 tinfl_decompressor_tag::m_type

Definition at line 1036 of file miniz.h.

◆ m_z_adler32

mz_uint32 tinfl_decompressor_tag::m_z_adler32

Definition at line 1036 of file miniz.h.

◆ m_zhdr0

mz_uint32 tinfl_decompressor_tag::m_zhdr0

Definition at line 1036 of file miniz.h.

◆ m_zhdr1

mz_uint32 tinfl_decompressor_tag::m_zhdr1

Definition at line 1036 of file miniz.h.

The documentation for this struct was generated from the following file: