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

Constructor & Destructor Documentation

◆ mstreamt() [1/3]

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

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

Member Function Documentation

◆ assign_from()

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

Definition at line 255 of file message.h.

◆ operator<<() [1/3]

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

Definition at line 225 of file message.h.

◆ operator<<() [2/3]

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

Definition at line 236 of file message.h.

◆ operator<<() [3/3]

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

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

Member Data Documentation

◆ message

messaget& messaget::mstreamt::message

Definition at line 222 of file message.h.

◆ message_level

unsigned messaget::mstreamt::message_level

Definition at line 221 of file message.h.

◆ source_location

source_locationt messaget::mstreamt::source_location

Definition at line 223 of file message.h.


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