java_bytecode_internal_additions.cpp File Reference

#include "java_bytecode_internal_additions.h"
#include "remove_exceptions.h"
#include <util/std_types.h>
#include <util/cprover_prefix.h>
#include <util/c_types.h>

Include dependency graph for java_bytecode_internal_additions.cpp:

Go to the source code of this file.

Functions
void	java_internal_additions (symbol_table_baset &dest)

Function Documentation

java_internal_additions()

void java_internal_additions

(

symbol_table_baset &

dest

)

Definition at line 18 of file java_bytecode_internal_additions.cpp.

References symbol_table_baset::add(), symbolt::base_name, CPROVER_PREFIX, INFLIGHT_EXCEPTION_VARIABLE_BASENAME, INFLIGHT_EXCEPTION_VARIABLE_NAME, symbolt::is_file_local, symbolt::is_lvalue, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::mode, symbolt::name, pointer_type(), irept::set(), signed_int_type(), to_pointer_type(), symbolt::type, and symbolt::value.

Referenced by java_bytecode_languaget::typecheck().