cpp_typecheck.cpp File Reference

#include "cpp_typecheck.h"
#include <algorithm>
#include <util/pointer_expr.h>
#include <util/source_location.h>
#include <util/symbol.h>
#include <ansi-c/builtin_factory.h>
#include "cpp_declarator.h"
#include "cpp_util.h"
#include "expr2cpp.h"

Include dependency graph for cpp_typecheck.cpp:

Go to the source code of this file.

Functions
bool	cpp_typecheck (cpp_parse_treet &cpp_parse_tree, symbol_tablet &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.cpp.

Function Documentation

cpp_typecheck() [1/2]

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

Definition at line 87 of file cpp_typecheck.cpp.

cpp_typecheck() [2/2]

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

Definition at line 98 of file cpp_typecheck.cpp.