CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
convert_int_literal.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_INT_LITERAL_H
13#define CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_INT_LITERAL_H
14
15#include <util/std_expr.h>
16
21constant_exprt convert_int_dec_literal(const std::string &src);
22
26constant_exprt convert_int_dec_literal_value(const std::string &src);
27
32constant_exprt convert_int_hex_literal(const std::string &src);
33
37constant_exprt convert_int_hex_literal_value(const std::string &src);
38
43constant_exprt convert_int_bit_literal(const std::string &src);
44
48constant_exprt convert_int_bit_literal_value(const std::string &src);
49
50#endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_INT_LITERAL_H
constant_exprt
A constant literal expression.
Definition std_expr.h:3117
convert_int_hex_literal
constant_exprt convert_int_hex_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
Definition convert_int_literal.cpp:81
convert_int_bit_literal
constant_exprt convert_int_bit_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
Definition convert_int_literal.cpp:115
convert_int_bit_literal_value
constant_exprt convert_int_bit_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
Definition convert_int_literal.cpp:132
convert_int_dec_literal_value
constant_exprt convert_int_dec_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
Definition convert_int_literal.cpp:64
convert_int_dec_literal
constant_exprt convert_int_dec_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
Definition convert_int_literal.cpp:47
convert_int_hex_literal_value
constant_exprt convert_int_hex_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
Definition convert_int_literal.cpp:98
std_expr.h
API to expression classes.