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:

• /home/runner/work/cbmc/cbmc/src/goto-programs/osx_fat_reader.h
• /home/runner/work/cbmc/cbmc/src/goto-programs/osx_fat_reader.cpp