jsil_typecheck.cpp File Reference

#include "jsil_typecheck.h"
#include <goto-programs/goto_instruction_code.h>
#include <util/bitvector_types.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/symbol_table.h>
#include "expr2jsil.h"
#include "jsil_types.h"

Include dependency graph for jsil_typecheck.cpp:

Go to the source code of this file.

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

Detailed Description

Jsil Language

Definition in file jsil_typecheck.cpp.

Function Documentation

jsil_typecheck() [1/2]

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

Definition at line 908 of file jsil_typecheck.cpp.

jsil_typecheck() [2/2]

bool jsil_typecheck	(	symbol_tablet &	symbol_table,
		message_handlert &	message_handler
	)

Definition at line 900 of file jsil_typecheck.cpp.