ansi_c_typecheck.h File Reference

ANSI-C Language Type Checking. More...

#include "c_typecheck_base.h"

Include dependency graph for ansi_c_typecheck.h:

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

Go to the source code of this file.

Classes
class	ansi_c_typecheckt

Functions
bool	ansi_c_typecheck (ansi_c_parse_treet &parse_tree, symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler)
bool	ansi_c_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns)

Detailed Description

ANSI-C Language Type Checking.

Definition in file ansi_c_typecheck.h.

Function Documentation

ansi_c_typecheck() [1/2]

bool ansi_c_typecheck	(	ansi_c_parse_treet &	parse_tree,
		symbol_table_baset &	symbol_table,
		const std::string &	module,
		message_handlert &	message_handler
	)

Definition at line 26 of file ansi_c_typecheck.cpp.

ansi_c_typecheck() [2/2]

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

Definition at line 37 of file ansi_c_typecheck.cpp.