messaget::mstreamt Class Reference

#include <message.h>

Inheritance diagram for messaget::mstreamt:

Collaboration diagram for messaget::mstreamt:

Public Member Functions
	mstreamt (unsigned _message_level, messaget &_message)
	mstreamt (const mstreamt &other)=delete
	mstreamt (const mstreamt &other, messaget &_message)
mstreamt &	operator= (const mstreamt &other)=delete
mstreamt &	operator<< (const xmlt &data)
mstreamt &	operator<< (const json_objectt &data)
mstreamt &	operator<< (const structured_datat &data)
template<class T >
mstreamt &	operator<< (const T &x)

Public Attributes
unsigned	message_level
messaget &	message
source_locationt	source_location

Private Member Functions
void	assign_from (const mstreamt &other)

Friends
class	messaget

Detailed Description

Definition at line 215 of file message.h.

Constructor & Destructor Documentation

mstreamt() [1/3]

messaget::mstreamt::mstreamt ( unsigned  _message_level, messaget &  _message  )

inline

Definition at line 218 of file message.h.

mstreamt() [2/3]

messaget::mstreamt::mstreamt ( const mstreamt &  other )

delete

mstreamt() [3/3]

messaget::mstreamt::mstreamt ( const mstreamt &  other, messaget &  _message  )

inline

Definition at line 228 of file message.h.

Member Function Documentation

assign_from()

void messaget::mstreamt::assign_from ( const mstreamt &  other )

inlineprivate

Definition at line 273 of file message.h.

operator<<() [1/4]

messaget::mstreamt & messaget::mstreamt::operator<<

(

const json_objectt &

data

)

Definition at line 151 of file message.cpp.

operator<<() [2/4]

mstreamt& messaget::mstreamt::operator<< ( const structured_datat &  data )

inline

Definition at line 254 of file message.h.

operator<<() [3/4]

template<class T >

mstreamt& messaget::mstreamt::operator<< ( const T &  x )

inline

Definition at line 266 of file message.h.

operator<<() [4/4]

mstreamt& messaget::mstreamt::operator<< ( const xmlt &  data )

inline

Definition at line 241 of file message.h.

operator=()

mstreamt& messaget::mstreamt::operator= ( const mstreamt &  other )

delete

Friends And Related Function Documentation

messaget

friend class messaget

friend

Definition at line 280 of file message.h.

Member Data Documentation

message

messaget& messaget::mstreamt::message

Definition at line 238 of file message.h.

message_level

unsigned messaget::mstreamt::message_level

Definition at line 237 of file message.h.

source_location

source_locationt messaget::mstreamt::source_location

Definition at line 239 of file message.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/message.h
• /home/runner/work/cbmc/cbmc/src/util/message.cpp