CBMC
Loading...
Searching...
No Matches
Classes | Functions
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.

AltStyle によって変換されたページ (->オリジナル) /