Statement List Language Conversion. More...
#include <util/std_expr.h>
Include dependency graph for convert_int_literal.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| constant_exprt | convert_int_dec_literal (const std::string &src) |
| Converts a string into the corresponding 'Int' or 'DInt' expression. More... | |
| constant_exprt | convert_int_dec_literal_value (const std::string &src) |
| Converts a string into the corresponding 'Int' expression. More... | |
| constant_exprt | convert_int_hex_literal (const std::string &src) |
| Converts a string into the corresponding 'Int' or 'DInt' expression. More... | |
| constant_exprt | convert_int_hex_literal_value (const std::string &src) |
| Converts a string into the corresponding 'Int' expression. More... | |
| constant_exprt | convert_int_bit_literal (const std::string &src) |
| Converts a string into the corresponding 'Int' or 'DInt' expression. More... | |
| constant_exprt | convert_int_bit_literal_value (const std::string &src) |
| Converts a string into the corresponding 'Int' expression. More... | |
Detailed Description
Statement List Language Conversion.
Definition in file convert_int_literal.h.
Function Documentation
◆ convert_int_bit_literal()
| constant_exprt convert_int_bit_literal | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' or 'DInt' expression.
- Parameters
-
src String returned by the parser (base 2).
- Returns
- Constant expression representing the integer or double integer value.
Definition at line 115 of file convert_int_literal.cpp.
◆ convert_int_bit_literal_value()
| constant_exprt convert_int_bit_literal_value | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' expression.
- Parameters
-
src String returned by the parser (base 2).
- Returns
- Constant expression representing the integer value.
Definition at line 132 of file convert_int_literal.cpp.
◆ convert_int_dec_literal()
| constant_exprt convert_int_dec_literal | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' or 'DInt' expression.
- Parameters
-
src String returned by the parser (base 10).
- Returns
- Constant expression representing the integer or double integer value.
Definition at line 47 of file convert_int_literal.cpp.
◆ convert_int_dec_literal_value()
| constant_exprt convert_int_dec_literal_value | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' expression.
- Parameters
-
src String returned by the parser (base 10).
- Returns
- Constant expression representing the integer value.
Definition at line 64 of file convert_int_literal.cpp.
◆ convert_int_hex_literal()
| constant_exprt convert_int_hex_literal | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' or 'DInt' expression.
- Parameters
-
src String returned by the parser (base 16).
- Returns
- Constant expression representing the integer or double integer value.
Definition at line 81 of file convert_int_literal.cpp.
◆ convert_int_hex_literal_value()
| constant_exprt convert_int_hex_literal_value | ( | const std::string & | src | ) |
Converts a string into the corresponding 'Int' expression.
- Parameters
-
src String returned by the parser (base 16).
- Returns
- Constant expression representing the integer value.
Definition at line 98 of file convert_int_literal.cpp.
