Contract inheritance handling for the Solidity frontend. 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 <fstream>

Include dependency graph for solidity_convert_inheritance.cpp:

Detailed Description

Contract inheritance handling for the Solidity frontend.

Implements Solidity's C3-linearized contract inheritance model. Merges base contract members (state variables, functions, modifiers) into the derived contract's AST, handles virtual function override resolution, and adds inheritance labels to track which contract originally defined each member.