CBMC
Public Attributes | List of all members
tinfl_decompressor_tag Struct Reference

#include <miniz.h>

+ Collaboration diagram for tinfl_decompressor_tag:

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
 
tinfl_huff_table m_tables [TINFL_MAX_HUFF_TABLES]
 
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 941 of file miniz.h.

Member Data Documentation

◆ m_bit_buf

tinfl_bit_buf_t tinfl_decompressor_tag::m_bit_buf

Definition at line 944 of file miniz.h.

◆ m_check_adler32

mz_uint32 tinfl_decompressor_tag::m_check_adler32

Definition at line 943 of file miniz.h.

◆ m_counter

mz_uint32 tinfl_decompressor_tag::m_counter

Definition at line 943 of file miniz.h.

◆ m_dist

mz_uint32 tinfl_decompressor_tag::m_dist

Definition at line 943 of file miniz.h.

◆ m_dist_from_out_buf_start

size_t tinfl_decompressor_tag::m_dist_from_out_buf_start

Definition at line 945 of file miniz.h.

◆ m_final

mz_uint32 tinfl_decompressor_tag::m_final

Definition at line 943 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 947 of file miniz.h.

◆ m_num_bits

mz_uint32 tinfl_decompressor_tag::m_num_bits

Definition at line 943 of file miniz.h.

◆ m_num_extra

mz_uint32 tinfl_decompressor_tag::m_num_extra

Definition at line 943 of file miniz.h.

◆ m_raw_header

mz_uint8 tinfl_decompressor_tag::m_raw_header[4]

Definition at line 947 of file miniz.h.

◆ m_state

mz_uint32 tinfl_decompressor_tag::m_state

Definition at line 943 of file miniz.h.

◆ m_table_sizes

mz_uint32 tinfl_decompressor_tag::m_table_sizes[TINFL_MAX_HUFF_TABLES]

Definition at line 943 of file miniz.h.

◆ m_tables

tinfl_huff_table tinfl_decompressor_tag::m_tables[TINFL_MAX_HUFF_TABLES]

Definition at line 946 of file miniz.h.

◆ m_type

mz_uint32 tinfl_decompressor_tag::m_type

Definition at line 943 of file miniz.h.

◆ m_z_adler32

mz_uint32 tinfl_decompressor_tag::m_z_adler32

Definition at line 943 of file miniz.h.

◆ m_zhdr0

mz_uint32 tinfl_decompressor_tag::m_zhdr0

Definition at line 943 of file miniz.h.

◆ m_zhdr1

mz_uint32 tinfl_decompressor_tag::m_zhdr1

Definition at line 943 of file miniz.h.

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