CBMC
Loading...
Searching...
No Matches
Classes | Functions
string_constant.h File Reference
#include "std_expr.h"
+ Include dependency graph for string_constant.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class   string_constantt
 

Functions

template<>
bool  can_cast_expr< string_constantt > (const exprt &base)
 
void  validate_expr (const string_constantt &expr)
 
const string_constantt &  to_string_constant (const exprt &expr)
 
const string_constantt &  to_string_constant (const typet &type)
 
string_constantt &  to_string_constant (exprt &expr)
 
string_constantt &  to_string_constant (typet &type)
 

Function Documentation

◆  can_cast_expr< string_constantt >()

template<>
bool can_cast_expr< string_constantt > ( const exprt &  base )
inline

Definition at line 38 of file string_constant.h.

◆  to_string_constant() [1/4]

const string_constantt & to_string_constant ( const exprt &  expr )
inline

Definition at line 48 of file string_constant.h.

◆  to_string_constant() [2/4]

const string_constantt & to_string_constant ( const typet &  type )
inline

Definition at line 54 of file string_constant.h.

◆  to_string_constant() [3/4]

string_constantt & to_string_constant ( exprt &  expr )
inline

Definition at line 59 of file string_constant.h.

◆  to_string_constant() [4/4]

string_constantt & to_string_constant ( typet &  type )
inline

Definition at line 65 of file string_constant.h.

◆  validate_expr()

void validate_expr ( const string_constantt &  expr )
inline

Definition at line 43 of file string_constant.h.

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