solidity_convert.cpp File Reference

Top-level conversion driver and static member initialization. More...

#include <solidity-frontend/solidity_convert.h>
#include <solidity-frontend/typecast.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/base/i2string.h>
#include <util/arith/mp_arith.h>
#include <util/irep/std_expr.h>
#include <util/message/message.h>
#include <regex>
#include <optional>
#include <fstream>

Include dependency graph for solidity_convert.cpp:

Detailed Description

Top-level conversion driver and static member initialization.

Contains the solidity_convertert constructor, the main convert() entry point that orchestrates the full AST-to-irep2 pipeline, and static member initialization. The convert() method iterates over top-level AST nodes, dispatching to contract, declaration, and utility conversion methods.