Collaboration diagram for mz_zip_internal_state_tag:

Public Attributes
mz_zip_array	m_central_dir
mz_zip_array	m_central_dir_offsets
mz_zip_array	m_sorted_central_dir_offsets
mz_uint32	m_init_flags
mz_bool	m_zip64
mz_bool	m_zip64_has_extended_info_fields
MZ_FILE *	m_pFile
mz_uint64	m_file_archive_start_ofs
void *	m_pMem
size_t	m_mem_size
size_t	m_mem_capacity

Detailed Description

Definition at line 3331 of file miniz.cpp.

Member Data Documentation

◆ m_central_dir

mz_zip_array mz_zip_internal_state_tag::m_central_dir

Definition at line 3333 of file miniz.cpp.

◆ m_central_dir_offsets

mz_zip_array mz_zip_internal_state_tag::m_central_dir_offsets

Definition at line 3334 of file miniz.cpp.

◆ m_file_archive_start_ofs

mz_uint64 mz_zip_internal_state_tag::m_file_archive_start_ofs

Definition at line 3348 of file miniz.cpp.

◆ m_init_flags

mz_uint32 mz_zip_internal_state_tag::m_init_flags

Definition at line 3338 of file miniz.cpp.

◆ m_mem_capacity

size_t mz_zip_internal_state_tag::m_mem_capacity

Definition at line 3352 of file miniz.cpp.

◆ m_mem_size

size_t mz_zip_internal_state_tag::m_mem_size

Definition at line 3351 of file miniz.cpp.

◆ m_pFile

MZ_FILE* mz_zip_internal_state_tag::m_pFile

Definition at line 3347 of file miniz.cpp.

◆ m_pMem

void* mz_zip_internal_state_tag::m_pMem

Definition at line 3350 of file miniz.cpp.

◆ m_sorted_central_dir_offsets

mz_zip_array mz_zip_internal_state_tag::m_sorted_central_dir_offsets

Definition at line 3335 of file miniz.cpp.

◆ m_zip64

mz_bool mz_zip_internal_state_tag::m_zip64

Definition at line 3341 of file miniz.cpp.

◆ m_zip64_has_extended_info_fields

mz_bool mz_zip_internal_state_tag::m_zip64_has_extended_info_fields

Definition at line 3344 of file miniz.cpp.

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

/builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/jbmc/src/miniz/miniz.cpp

Public Attributes