type-checker.hh File Reference

Perform type checking and other semantical checks. More...

#include <string>
#include <ast/default-visitor.hh>
#include <ast/non-object-visitor.hh>
#include <misc/set.hh>
#include <misc/error.hh>
#include <type/fwd.hh>
#include <type/type-checker.hxx>

Include dependency graph for type-checker.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	type::TypeChecker

Namespaces
namespace	type
	Type-checking an ast::Ast.

Functions
template<>
void	type::TypeChecker::visit_dec_header< ast::FunctionDec > (ast::FunctionDec &e)
	Visit the lhs of an ast::FunctionDec.
template<>
void	type::TypeChecker::visit_dec_body< ast::FunctionDec > (ast::FunctionDec &e)
	Visit the rhs of an ast::FunctionDec.
template<>
void	type::TypeChecker::visit_dec_header< ast::TypeDec > (ast::TypeDec &e)
	Visit the lhs of an ast::TypeDec.
template<>
void	type::TypeChecker::visit_dec_body< ast::TypeDec > (ast::TypeDec &e)
	Visit the rhs of an ast::TypeDec.

Detailed Description

Perform type checking and other semantical checks.