17 const unsigned errors_before=
35 catch(
const std::string &e)
static mstreamt & eom(mstreamt &m)
virtual void typecheck()=0
#define PRECONDITION(CONDITION)
message_handlert * message_handler
virtual bool typecheck_main()
unsigned get_message_count(unsigned level) const