CBMC
Public Attributes | List of all members
mz_zip_writer_add_state Struct Reference
+ Collaboration diagram for mz_zip_writer_add_state:

Public Attributes

mz_zip_archive * m_pZip
 
mz_uint64 m_cur_archive_file_ofs
 
mz_uint64 m_comp_size
 

Detailed Description

Definition at line 5489 of file miniz.cpp.

Member Data Documentation

◆ m_comp_size

mz_uint64 mz_zip_writer_add_state::m_comp_size

Definition at line 5493 of file miniz.cpp.

◆ m_cur_archive_file_ofs

mz_uint64 mz_zip_writer_add_state::m_cur_archive_file_ofs

Definition at line 5492 of file miniz.cpp.

◆ m_pZip

mz_zip_archive* mz_zip_writer_add_state::m_pZip

Definition at line 5491 of file miniz.cpp.

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