jsil_internal_additions.cpp File Reference

Jsil Language. More...

#include "jsil_internal_additions.h"
#include <util/std_types.h>
#include <util/cprover_prefix.h>
#include <util/symbol_table.h>
#include <util/c_types.h>
#include "jsil_types.h"

Include dependency graph for jsil_internal_additions.cpp:

Go to the source code of this file.

Functions
void	jsil_internal_additions (symbol_tablet &dest)

Detailed Description

Jsil Language.

Definition in file jsil_internal_additions.cpp.

Function Documentation

jsil_internal_additions()

void jsil_internal_additions

(

symbol_tablet &

dest

)

Definition at line 22 of file jsil_internal_additions.cpp.

References symbol_tablet::add(), symbolt::base_name, CPROVER_PREFIX, symbolt::is_extern, symbolt::is_lvalue, symbolt::is_state_var, symbolt::is_thread_local, symbolt::is_type, jsil_builtin_object_type(), symbolt::mode, symbolt::name, code_typet::parameters(), pointer_type(), signed_int_type(), and symbolt::type.

Referenced by jsil_languaget::interfaces().