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/string_constant.h>
16 
20 string_constantt convert_identifier(const std::string &src);
21 
25 string_constantt convert_title(const std::string &src);
26 
30 string_constantt convert_version(const std::string &src);
31 
35 string_constantt convert_label(const std::string &src);
36 
37 #endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_STRING_VALUE_H
string_constantt
Definition: string_constant.h:15
convert_title
string_constantt convert_title(const std::string &src)
Converts a string into a Statement List title.
Definition: convert_string_value.cpp:21
convert_identifier
string_constantt convert_identifier(const std::string &src)
Converts a string into a Statement List identifier.
Definition: convert_string_value.cpp:14
convert_version
string_constantt convert_version(const std::string &src)
Converts a string into a Statement List version.
Definition: convert_string_value.cpp:28
convert_label
string_constantt convert_label(const std::string &src)
Converts a string into a Statement List label.
Definition: convert_string_value.cpp:35
string_constant.h