CBMC
message.h File Reference
#include "invariant.h"
#include "source_location.h"
#include <functional>
#include <iosfwd>
#include <sstream>
#include <string>
+ Include dependency graph for message.h:

Go to the source code of this file.

Classes

class  message_handlert
 
class  null_message_handlert
 
class  stream_message_handlert
 
class  messaget
 Class that provides messages with a built-in verbosity 'level'. More...
 
class  messaget::mstreamt
 
class  messaget::eomt
 
class  messaget::commandt