CBMC
Public Member Functions | Private Attributes | List of all members
osx_fat_readert Class Reference

#include <osx_fat_reader.h>

+ Collaboration diagram for osx_fat_readert:

Public Member Functions

 osx_fat_readert (std::ifstream &, message_handlert &)
 
bool has_gb () const
 
bool extract_gb (const std::string &source, const std::string &dest) const
 

Private Attributes

messaget log
 
bool has_gb_arch
 

Detailed Description

Definition at line 25 of file osx_fat_reader.h.

Constructor & Destructor Documentation

◆ osx_fat_readert()

osx_fat_readert::osx_fat_readert ( std::ifstream &  in,
message_handlert &  message_handler 
)

Definition at line 74 of file osx_fat_reader.cpp.

Member Function Documentation

◆ extract_gb()

bool osx_fat_readert::extract_gb ( const std::string &  source,
const std::string &  dest 
) const

Definition at line 123 of file osx_fat_reader.cpp.

◆ has_gb()

bool osx_fat_readert::has_gb ( ) const
inline

Definition at line 30 of file osx_fat_reader.h.

Member Data Documentation

◆ has_gb_arch

bool osx_fat_readert::has_gb_arch
private

Definition at line 38 of file osx_fat_reader.h.

◆ log

messaget osx_fat_readert::log
private

Definition at line 37 of file osx_fat_reader.h.

The documentation for this class was generated from the following files: