cprover
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)
 
mstreamtoperator= (const mstreamt &other)=delete
 
mstreamtoperator<< (const xmlt &data)
 
mstreamtoperator<< (const json_objectt &data)
 
template<class T >
mstreamtoperator<< (const T &x)
 

Public Attributes

unsigned message_level
 
messagetmessage
 
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 262 of file message.h.

◆ operator<<() [1/3]

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

Definition at line 241 of file message.h.

◆ operator<<() [2/3]

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

Definition at line 145 of file message.cpp.

◆ operator<<() [3/3]

template<class T >
mstreamt& messaget::mstreamt::operator<< ( const T &  x)
inline

Definition at line 255 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 269 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: