cprover
|
#include "java_string_literals.h"
#include "java_root_class.h"
#include "java_types.h"
#include "java_utils.h"
#include <util/arith_tools.h>
#include <util/expr_initializer.h>
#include <util/namespace.h>
#include <util/unicode.h>
#include <iomanip>
#include <sstream>
Go to the source code of this file.
Functions | |
static std::string | escape_non_alnum (const std::string &to_escape) |
Replace non-alphanumeric characters with _xx escapes, where xx are hex digits. More... | |
static array_exprt | utf16_to_array (const std::wstring &in) |
Convert UCS-2 or UTF-16 to an array expression. More... | |
symbol_exprt | get_or_create_string_literal_symbol (const 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. More... | |
|
static |
Replace non-alphanumeric characters with _xx
escapes, where xx are hex digits.
Underscores are replaced by __
.
to_escape | string to escape |
Definition at line 26 of file java_string_literals.cpp.
symbol_exprt get_or_create_string_literal_symbol | ( | const 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.
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. |
Definition at line 66 of file java_string_literals.cpp.
|
static |
Convert UCS-2 or UTF-16 to an array expression.
Definition at line 48 of file java_string_literals.cpp.