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 223 of file message.h.

Constructor & Destructor Documentation

mstreamt() [1/3]

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

inline

Definition at line 226 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 236 of file message.h.

Member Function Documentation

assign_from()

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

inlineprivate

Definition at line 281 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 262 of file message.h.

operator<<() [3/4]

template<class T >

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

inline

Definition at line 274 of file message.h.

operator<<() [4/4]

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

inline

Definition at line 249 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 288 of file message.h.

Member Data Documentation

message

messaget& messaget::mstreamt::message

Definition at line 246 of file message.h.

message_level

unsigned messaget::mstreamt::message_level

Definition at line 245 of file message.h.

source_location

source_locationt messaget::mstreamt::source_location

Definition at line 247 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