CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
convert_string_value.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Statement List Language Conversion
4
5Author: 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
20string_constantt convert_identifier(const std::string &src);
21
25string_constantt convert_title(const std::string &src);
26
30string_constantt convert_version(const std::string &src);
31
35string_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