cprover
convert_int_literal.h File Reference

Statement List Language Conversion. More...

#include <util/expr.h>
#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
srcString returned by the parser (base 2).
Returns
Constant expression representing the integer or double integer value.

Definition at line 116 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
srcString returned by the parser (base 2).
Returns
Constant expression representing the integer value.

Definition at line 133 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
srcString returned by the parser (base 10).
Returns
Constant expression representing the integer or double integer value.

Definition at line 48 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
srcString returned by the parser (base 10).
Returns
Constant expression representing the integer value.

Definition at line 65 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
srcString returned by the parser (base 16).
Returns
Constant expression representing the integer or double integer value.

Definition at line 82 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
srcString returned by the parser (base 16).
Returns
Constant expression representing the integer value.

Definition at line 99 of file convert_int_literal.cpp.