CBMC
|
#include <message.h>
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 |
messaget::mstreamt & messaget::mstreamt::operator<< | ( | const json_objectt & | data | ) |
Definition at line 151 of file message.cpp.
|
inline |
source_locationt messaget::mstreamt::source_location |