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
util
typecheck.h
Generated by
1.8.20