cprover
Loading...
Searching...
No Matches
typecheck.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9#include "typecheck.h"
10
11#include "invariant.h"
12
14{
16
17 const unsigned errors_before=
19
20 try
21 {
22 typecheck();
23 }
24
25 catch(int)
26 {
27 error();
28 }
29
30 catch(const char *e)
31 {
32 error() << e << eom;
33 }
34
35 catch(const std::string &e)
36 {
37 error() << e << eom;
38 }
39
41}
std::size_t get_message_count(unsigned level) const
Definition: message.h:56
message_handlert * message_handler
Definition: message.h:439
mstreamt & error() const
Definition: message.h:399
@ M_ERROR
Definition: message.h:170
static eomt eom
Definition: message.h:297
virtual void typecheck()=0
virtual bool typecheck_main()
Definition: typecheck.cpp:13
#define PRECONDITION(CONDITION)
Definition: invariant.h:463