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 31 of file string_constant.h.

to_string_constant() [1/4]

const string_constantt & to_string_constant ( const exprt &  expr )

inline

Definition at line 41 of file string_constant.h.

to_string_constant() [2/4]

const string_constantt & to_string_constant ( const typet &  type )

inline

Definition at line 47 of file string_constant.h.

to_string_constant() [3/4]

string_constantt & to_string_constant ( exprt &  expr )

inline

Definition at line 52 of file string_constant.h.

to_string_constant() [4/4]

string_constantt & to_string_constant ( typet &  type )

inline

Definition at line 58 of file string_constant.h.

validate_expr()

void validate_expr ( const string_constantt &  expr )

inline

Definition at line 36 of file string_constant.h.