CBMC
|
Statement List Language Conversion. More...
#include <util/string_constant.h>
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... | |
Statement List Language Conversion.
Definition in file convert_string_value.h.
string_constantt convert_identifier | ( | const std::string & | src | ) |
Converts a string into a Statement List identifier.
src | String returned by the parser. |
Definition at line 14 of file convert_string_value.cpp.
string_constantt convert_label | ( | const std::string & | src | ) |
Converts a string into a Statement List label.
src | String returned by the parser. |
Definition at line 35 of file convert_string_value.cpp.
string_constantt convert_title | ( | const std::string & | src | ) |
Converts a string into a Statement List title.
src | String returned by the parser. |
Definition at line 21 of file convert_string_value.cpp.
string_constantt convert_version | ( | const std::string & | src | ) |
Converts a string into a Statement List version.
src | String returned by the parser. |
Definition at line 28 of file convert_string_value.cpp.