LRDE Tiger Compiler
1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
Main Page
Namespaces
Classes
Files
File List
File Members
All
Classes
Namespaces
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Friends
Macros
type-checker.hh
Go to the documentation of this file.
1
6
#ifndef OVERLOAD_TYPE_CHECKER_HH
7
# define OVERLOAD_TYPE_CHECKER_HH
8
9
# include <
type/types.hh
>
10
# include <
type/type-checker.hh
>
11
# include <
overload/binder.hh
>
12
13
namespace
overload
14
{
15
18
class
TypeChecker
:
public
type::TypeChecker
19
{
20
public
:
22
typedef
type::TypeChecker
super_type
;
23
using
super_type::operator();
24
25
public
:
26
TypeChecker
(
overfun_bindings_type
* overfun_bindings);
27
virtual
~TypeChecker
();
28
29
// FIXME: Some code was deleted here.
30
private
:
31
overfun_bindings_type
*
overfun_bindings_
;
32
};
33
34
}
// namespace type
35
36
#endif // !OVERLOAD_TYPE_CHECKER_HH
overload
type-checker.hh
Generated on Wed Mar 5 2014 15:47:37 for LRDE Tiger Compiler by
1.8.1.2