cpp_typecheck.h File Reference

C++ Language Type Checking. More...

#include <util/std_code_base.h>
#include <ansi-c/c_typecheck_base.h>
#include "cpp_parse_tree.h"
#include "cpp_scopes.h"
#include "cpp_typecheck_resolve.h"
#include "template_map.h"
#include <list>
#include <set>
#include <unordered_set>

Include dependency graph for cpp_typecheck.h:

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

Go to the source code of this file.

Classes
class	cpp_typecheckt
class	cpp_typecheckt::instantiationt
class	cpp_typecheckt::instantiation_levelt
struct	cpp_typecheckt::method_bodyt

Functions
bool	cpp_typecheck (cpp_parse_treet &cpp_parse_tree, symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler)
bool	cpp_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns)

Detailed Description

C++ Language Type Checking.

Definition in file cpp_typecheck.h.

Function Documentation

cpp_typecheck() [1/2]

bool cpp_typecheck	(	cpp_parse_treet &	cpp_parse_tree,
		symbol_table_baset &	symbol_table,
		const std::string &	module,
		message_handlert &	message_handler
	)

Definition at line 137 of file cpp_typecheck.cpp.

cpp_typecheck() [2/2]

bool cpp_typecheck	(	exprt &	expr,
		message_handlert &	message_handler,
		const namespacet &	ns
	)

Definition at line 148 of file cpp_typecheck.cpp.