java_bytecode_typecheck.h File Reference

JAVA Bytecode Language Type Checking. More...

#include <set>
#include <map>
#include <util/symbol_table.h>
#include <util/typecheck.h>
#include <util/namespace.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/std_types.h>

Include dependency graph for java_bytecode_typecheck.h:

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

Go to the source code of this file.

Classes
class	java_bytecode_typecheckt

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

Detailed Description

JAVA Bytecode Language Type Checking.

Definition in file java_bytecode_typecheck.h.

Function Documentation

java_bytecode_typecheck() [1/2]

bool java_bytecode_typecheck	(	symbol_tablet &	symbol_table,
		message_handlert &	message_handler,
		bool	string_refinement_enabled
	)

Definition at line 71 of file java_bytecode_typecheck.cpp.

References java_bytecode_typecheck().

Referenced by java_bytecode_typecheck(), java_bytecode_languaget::to_expr(), and java_bytecode_languaget::typecheck().

java_bytecode_typecheck() [2/2]

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

Definition at line 81 of file java_bytecode_typecheck.cpp.

References java_bytecode_typecheck().