cprover
convert_int_literal.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_INT_LITERAL_H
13 #define CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_INT_LITERAL_H
14 
15 #include <util/expr.h>
16 #include <util/std_expr.h>
17 
22 constant_exprt convert_int_dec_literal(const std::string &src);
23 
27 constant_exprt convert_int_dec_literal_value(const std::string &src);
28 
33 constant_exprt convert_int_hex_literal(const std::string &src);
34 
38 constant_exprt convert_int_hex_literal_value(const std::string &src);
39 
44 constant_exprt convert_int_bit_literal(const std::string &src);
45 
49 constant_exprt convert_int_bit_literal_value(const std::string &src);
50 
51 #endif // CPROVER_STATEMENT_LIST_CONVERTERS_CONVERT_INT_LITERAL_H
A constant literal expression.
Definition: std_expr.h:2668
constant_exprt convert_int_hex_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
constant_exprt convert_int_bit_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
constant_exprt convert_int_bit_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
constant_exprt convert_int_dec_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
constant_exprt convert_int_dec_literal(const std::string &src)
Converts a string into the corresponding 'Int' or 'DInt' expression.
constant_exprt convert_int_hex_literal_value(const std::string &src)
Converts a string into the corresponding 'Int' expression.
API to expression classes.