Representation of a constant Java string. More...
#include <util/expr_cast.h>
Include dependency graph for java_string_literal_expr.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | java_string_literal_exprt |
Functions | |
| template<> | |
| bool | can_cast_expr< java_string_literal_exprt > (const exprt &base) |
Detailed Description
Representation of a constant Java string.
Definition in file java_string_literal_expr.h.
Function Documentation
◆ can_cast_expr< java_string_literal_exprt >()
template<>
|
inline |
Definition at line 33 of file java_string_literal_expr.h.
