jsil_typecheck.h File Reference

Jsil Language. More...

#include <unordered_set>
#include <util/typecheck.h>
#include <util/namespace.h>
#include <util/std_code.h>

Include dependency graph for jsil_typecheck.h:

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

Go to the source code of this file.

Classes
class	jsil_typecheckt

Functions
bool	jsil_typecheck (symbol_tablet &symbol_table, message_handlert &message_handler)
bool	jsil_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns)

Detailed Description

Jsil Language.

Definition in file jsil_typecheck.h.

Function Documentation

jsil_typecheck() [1/2]

bool jsil_typecheck	(	symbol_tablet &	symbol_table,
		message_handlert &	message_handler
	)

Definition at line 913 of file jsil_typecheck.cpp.

References jsil_typecheck().

Referenced by jsil_typecheck(), jsil_languaget::to_expr(), and jsil_languaget::typecheck().

jsil_typecheck() [2/2]

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

Definition at line 921 of file jsil_typecheck.cpp.

References messaget::eom(), message_handlert::get_message_count(), jsil_typecheck(), and messaget::M_ERROR.