solidity_convert_literals.cpp File Reference

Literal conversion for the Solidity frontend. More...

#include <solidity-frontend/solidity_convert.h>
#include <util/arith/arith_tools.h>
#include <util/arith/bitvector.h>
#include <util/lang/c_types.h>
#include <util/expr/expr_util.h>
#include <util/arith/ieee_float.h>
#include <util/expr/string_constant.h>
#include <util/irep/std_expr.h>

Include dependency graph for solidity_convert_literals.cpp:

Detailed Description

Literal conversion for the Solidity frontend.

Converts Solidity literal values (integer literals, boolean literals, string literals, address literals, and rational/fixed-point number literals) from the solc JSON AST into ESBMC's constant expression representation with appropriate typing.