cprover
message.h File Reference
#include <string>
#include <iosfwd>
#include <sstream>
#include "invariant.h"
#include "source_location.h"
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  messaget::mstreamt