klee::compressed_fd_ostream Class Reference

#include <CompressionStream.h>

Inherits llvm::raw_ostream.

Public Member Functions
	compressed_fd_ostream (const std::string &Filename, std::string &ErrorInfo)
	~compressed_fd_ostream ()

Private Member Functions
virtual void	write_impl (const char *Ptr, size_t Size)
	write_impl - See raw_ostream::write_impl. More...
void	write_file (const char *Ptr, size_t Size)
virtual uint64_t	current_pos () const
void	flush_compressed_data ()
void	writeFullCompressedData ()

Private Attributes
int	FD
uint8_t	buffer [BUFSIZE]
z_stream	strm
uint64_t	pos

Detailed Description

Definition at line 19 of file CompressionStream.h.

Constructor & Destructor Documentation

compressed_fd_ostream()

klee::compressed_fd_ostream::compressed_fd_ostream	(	const std::string &	Filename,
		std::string &	ErrorInfo
	)

compressed_fd_ostream - Open the specified file for writing. If an error occurs, information about the error is put into ErrorInfo, and the stream should be immediately destroyed; the string will be empty if no error occurred. This allows optional flags to control how the file will be opened.

~compressed_fd_ostream()

klee::compressed_fd_ostream::~compressed_fd_ostream

(

)

Member Function Documentation

current_pos()

virtual uint64_t klee::compressed_fd_ostream::current_pos ( ) const

inlineprivatevirtual

Definition at line 29 of file CompressionStream.h.

References pos.

flush_compressed_data()

void klee::compressed_fd_ostream::flush_compressed_data ( )

private

write_file()

void klee::compressed_fd_ostream::write_file ( const char *  Ptr, size_t  Size  )

private

write_impl()

virtual void klee::compressed_fd_ostream::write_impl ( const char *  Ptr, size_t  Size  )

privatevirtual

write_impl - See raw_ostream::write_impl.

writeFullCompressedData()

void klee::compressed_fd_ostream::writeFullCompressedData ( )

private

Member Data Documentation

buffer

uint8_t klee::compressed_fd_ostream::buffer[BUFSIZE]

private

Definition at line 21 of file CompressionStream.h.

FD

int klee::compressed_fd_ostream::FD

private

Definition at line 20 of file CompressionStream.h.

pos

uint64_t klee::compressed_fd_ostream::pos

private

Definition at line 23 of file CompressionStream.h.

Referenced by current_pos().

strm

z_stream klee::compressed_fd_ostream::strm

private

Definition at line 22 of file CompressionStream.h.

---

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

• /Users/cristic/klee/include/klee/Support/CompressionStream.h