cprover
typecheck.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_TYPECHECK_H
11 #define CPROVER_UTIL_TYPECHECK_H
12 
13 #include "expr.h"
14 #include "message.h"
15 
16 class typecheckt:public messaget
17 {
18 public:
19  explicit typecheckt(message_handlert &_message_handler):
20  messaget(_message_handler)
21  {
22  }
23 
24  virtual ~typecheckt() { }
25 
26 protected:
27  // main function -- overload this one
28  virtual void typecheck()=0;
29 
30 public:
31  // call that one
32  virtual bool typecheck_main();
33 };
34 
35 #endif // CPROVER_UTIL_TYPECHECK_H
messaget
Class that provides messages with a built-in verbosity 'level'.
Definition: message.h:155
expr.h
message.h
message_handlert
Definition: message.h:28
typecheckt::typecheckt
typecheckt(message_handlert &_message_handler)
Definition: typecheck.h:19
typecheckt::typecheck
virtual void typecheck()=0
typecheckt
Definition: typecheck.h:17
typecheckt::typecheck_main
virtual bool typecheck_main()
Definition: typecheck.cpp:13
typecheckt::~typecheckt
virtual ~typecheckt()
Definition: typecheck.h:24