java_string_literal_expr.h File Reference

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<>

bool can_cast_expr< java_string_literal_exprt > ( const exprt &  base )

inline

Definition at line 33 of file java_string_literal_expr.h.