cprover
|
#include <osx_fat_reader.h>
Public Member Functions | |
osx_fat_readert (std::ifstream &in) | |
bool | has_gb () const |
bool | extract_gb (const std::string &source, const std::string &dest) const |
Private Attributes | |
bool | has_gb_arch |
Definition at line 21 of file osx_fat_reader.h.
|
explicit |
Definition at line 37 of file osx_fat_reader.cpp.
References __builtin_bswap32(), has_gb_arch, and is_osx_fat_magic().
bool osx_fat_readert::extract_gb | ( | const std::string & | source, |
const std::string & | dest | ||
) | const |
Definition at line 76 of file osx_fat_reader.cpp.
References has_gb_arch.
Referenced by has_gb(), and read_goto_binary().
|
inline |
Definition at line 26 of file osx_fat_reader.h.
References extract_gb(), and has_gb_arch.
Referenced by is_goto_binary(), and read_goto_binary().
|
private |
Definition at line 33 of file osx_fat_reader.h.
Referenced by extract_gb(), has_gb(), and osx_fat_readert().