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