All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::TreeOStream Class Reference

#include <TreeStream.h>

Collaboration diagram for klee::TreeOStream:

Public Member Functions

 TreeOStream ()
 ~TreeOStream ()
unsigned getID () const
void write (const char *buffer, unsigned size)
TreeOStreamoperator<< (const std::string &s)
void flush ()

Private Member Functions

 TreeOStream (TreeStreamWriter &_writer, unsigned _id)

Private Attributes

unsigned id


class TreeStreamWriter

Detailed Description

Definition at line 53 of file TreeStream.h.

Constructor & Destructor Documentation

TreeOStream::TreeOStream ( TreeStreamWriter _writer,
unsigned  _id 

Definition at line 174 of file TreeStream.cpp.

TreeOStream::TreeOStream ( )

Definition at line 169 of file TreeStream.cpp.

TreeOStream::~TreeOStream ( )

Definition at line 179 of file TreeStream.cpp.

Member Function Documentation

void TreeOStream::flush ( )

Definition at line 198 of file TreeStream.cpp.

References klee::TreeStreamWriter::flush(), and writer.

Here is the call graph for this function:

unsigned TreeOStream::getID ( ) const

Definition at line 182 of file TreeStream.cpp.

References id, and writer.

Referenced by klee::Executor::getPathStreamID(), and klee::Executor::getSymbolicPathStreamID().

Here is the caller graph for this function:

TreeOStream & TreeOStream::operator<< ( const std::string &  s)

Definition at line 192 of file TreeStream.cpp.

References write(), and writer.

Here is the call graph for this function:

void TreeOStream::write ( const char *  buffer,
unsigned  size 

Definition at line 187 of file TreeStream.cpp.

References klee::TreeStreamWriter::write(), and writer.

Referenced by operator<<().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

friend class TreeStreamWriter

Definition at line 54 of file TreeStream.h.

Member Data Documentation

unsigned klee::TreeOStream::id

Definition at line 58 of file TreeStream.h.

Referenced by getID(), klee::TreeStreamWriter::open(), and klee::TreeStreamWriter::write().

TreeStreamWriter* klee::TreeOStream::writer

Definition at line 57 of file TreeStream.h.

Referenced by flush(), getID(), klee::TreeStreamWriter::open(), operator<<(), and write().

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