Loading...

Searching...

No Matches

java_string_literals.cpp File Reference

#include "java_string_literals.h"
#include "java_root_class.h"
#include "java_string_literal_expr.h"
#include "java_types.h"
#include "java_utils.h"
#include <linking/static_lifetime_init.h>
#include <util/arith_tools.h>
#include <util/expr_initializer.h>
#include <util/namespace.h>
#include <util/string_utils.h>
#include <util/symbol_table_base.h>
#include <util/unicode.h>

+ Include dependency graph for java_string_literals.cpp:

[フレーム]

Go to the source code of this file.

Functions

static array_exprt utf16_to_array (const std::wstring &in)

Convert UCS-2 or UTF-16 to an array expression.

symbol_exprt get_or_create_string_literal_symbol (const java_string_literal_exprt &string_expr, symbol_table_baset &symbol_table, bool string_refinement_enabled)

Creates or gets an existing constant global symbol for a given string literal.

symbol_exprt get_or_create_string_literal_symbol (const irep_idt &string_value, symbol_table_baset &symbol_table, bool string_refinement_enabled)

Same as get_or_create_string_literal_symbol(const exprt&, symbol_table_baset&, bool) except it takes an id/string parameter rather than a string literal exprt.

Function Documentation

◆ get_or_create_string_literal_symbol() [1/2]

symbol_exprt get_or_create_string_literal_symbol ( const irep_idt & string_value,

symbol_table_baset & symbol_table,

bool string_refinement_enabled

)

Same as get_or_create_string_literal_symbol(const exprt&, symbol_table_baset&, bool) except it takes an id/string parameter rather than a string literal exprt.

Definition at line 186 of file java_string_literals.cpp.

◆ get_or_create_string_literal_symbol() [2/2]

symbol_exprt get_or_create_string_literal_symbol ( const java_string_literal_exprt & string_expr,

symbol_table_baset & symbol_table,

bool string_refinement_enabled

)

Creates or gets an existing constant global symbol for a given string literal.

Parameters: string_expr string literal expression to convert

symbol_table global symbol table. If not already present, constant global symbols will be added.

string_refinement_enabled if true, string refinement's string data structure will also be initialised and added to the symbol table.

Returns: a symbol_expr corresponding to the new or existing literal symbol.

Definition at line 36 of file java_string_literals.cpp.

◆ utf16_to_array()

static array_exprt utf16_to_array ( const std::wstring & in )

static

Convert UCS-2 or UTF-16 to an array expression.

Parameters: in wide string to convert

Returns: Returns a Java char array containing the same wchars.

Definition at line 26 of file java_string_literals.cpp.