cprover
Loading...
Searching...
No Matches
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/std_code.h>
17
21string_constantt convert_identifier(const std::string &src);
22
26string_constantt convert_title(const std::string &src);
27
31string_constantt convert_version(const std::string &src);
32
36string_constantt convert_label(const std::string &src);
37
38#endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_STRING_VALUE_H
string_constantt convert_title(const std::string &src)
Converts a string into a Statement List title.
string_constantt convert_identifier(const std::string &src)
Converts a string into a Statement List identifier.
string_constantt convert_version(const std::string &src)
Converts a string into a Statement List version.
string_constantt convert_label(const std::string &src)
Converts a string into a Statement List label.