cprover
Loading...
Searching...
No Matches
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)
mstreamtoperator<< (const structured_datat &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 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

◆ 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: