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 
16  const exprt &string_expr,
17  symbol_table_baset &symbol_table,
18  bool string_refinement_enabled);
19 
20 #endif
API to expression classes.
Author: Diffblue Ltd.
Base class for all expressions.
Definition: expr.h:42
The symbol table base class interface.
Expression to hold a symbol (variable)
Definition: std_expr.h:90
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.