CBMC
convert_string_value.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Statement List Language Conversion
4 
5 Author: Matthias Weiss, matthias.weiss@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_STRING_VALUE_H
13 #define CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_STRING_VALUE_H
14 
15 #include <util/std_code.h>
16 #include <util/string_constant.h>
17 
21 string_constantt convert_identifier(const std::string &src);
22 
26 string_constantt convert_title(const std::string &src);
27 
31 string_constantt convert_version(const std::string &src);
32 
36 string_constantt convert_label(const std::string &src);
37 
38 #endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_STRING_VALUE_H
string_constant.h
convert_version
string_constantt convert_version(const std::string &src)
Converts a string into a Statement List version.
Definition: convert_string_value.cpp:28
string_constantt
Definition: string_constant.h:14
convert_label
string_constantt convert_label(const std::string &src)
Converts a string into a Statement List label.
Definition: convert_string_value.cpp:35
convert_identifier
string_constantt convert_identifier(const std::string &src)
Converts a string into a Statement List identifier.
Definition: convert_string_value.cpp:14
std_code.h
convert_title
string_constantt convert_title(const std::string &src)
Converts a string into a Statement List title.
Definition: convert_string_value.cpp:21