9#ifndef CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
10#define CPROVER_GOTO_CC_CL_MESSAGE_HANDLER_H
28 const std::string &message,
void print(unsigned, const jsont &) override
void print(unsigned, const xmlt &) override
void print(unsigned, const xmlt &) override