CBMC
convert_string_value.h File Reference

Statement List Language Conversion. More...

+ Include dependency graph for convert_string_value.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

string_constantt convert_identifier (const std::string &src)
 Converts a string into a Statement List identifier. More...
 
string_constantt convert_title (const std::string &src)
 Converts a string into a Statement List title. More...
 
string_constantt convert_version (const std::string &src)
 Converts a string into a Statement List version. More...
 
string_constantt convert_label (const std::string &src)
 Converts a string into a Statement List label. More...
 

Detailed Description

Statement List Language Conversion.

Definition in file convert_string_value.h.

Function Documentation

◆ convert_identifier()

string_constantt convert_identifier ( const std::string &  src)

Converts a string into a Statement List identifier.

Parameters
srcString returned by the parser.
Returns
Constant string expression representing the identifier.

Definition at line 14 of file convert_string_value.cpp.

◆ convert_label()

string_constantt convert_label ( const std::string &  src)

Converts a string into a Statement List label.

Parameters
srcString returned by the parser.
Returns
String constant representing the label.

Definition at line 35 of file convert_string_value.cpp.

◆ convert_title()

string_constantt convert_title ( const std::string &  src)

Converts a string into a Statement List title.

Parameters
srcString returned by the parser.
Returns
Constant string expression representing the title.

Definition at line 21 of file convert_string_value.cpp.

◆ convert_version()

string_constantt convert_version ( const std::string &  src)

Converts a string into a Statement List version.

Parameters
srcString returned by the parser.
Returns
Constant string expression representing the version.

Definition at line 28 of file convert_string_value.cpp.