cprover
java_string_literals.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Java string literal processing
4
5
Author: Chris Smowton, chris.smowton@diffblue.com
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H
10
#define CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H
11
12
#include <
util/symbol_table.h
>
13
#include <
util/std_expr.h
>
14
15
symbol_exprt
get_or_create_string_literal_symbol
(
16
const
exprt
&string_expr,
17
symbol_table_baset
&symbol_table,
18
bool
string_refinement_enabled);
19
20
#endif
exprt
Base class for all expressions.
Definition:
expr.h:54
symbol_exprt
Expression to hold a symbol (variable)
Definition:
std_expr.h:143
get_or_create_string_literal_symbol
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.
Definition:
java_string_literals.cpp:66
symbol_table_baset
The symbol table base class interface.
Definition:
symbol_table_base.h:21
symbol_table.h
Author: Diffblue Ltd.
std_expr.h
jbmc
src
java_bytecode
java_string_literals.h
Generated by
1.8.17