cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Introduce contract inheritance

Browse Source
This commit is contained in:
Bhargava Shastry 2021-05-06 14:42:14 +02:00
parent d56dfcf750
commit 23e76926ea
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/tools/ossfuzz/SolidityGenerator.cpp
View File

@ -229,12 +229,15 @@ string ContractGenerator::visit()
ostringstream os;
string inheritance;
if (state->sourceUnitState[state->currentPath()]->contractType())
inheritance = state->sourceUnitState[state->currentPath()]->randomContract();
inheritance = state->currentSourceState()->randomContract();
string name = state->newContract();
state->updateContract(name);
os << "contract " << name;
if (!inheritance.empty())
{
os << " is " << inheritance;
state->currentContractState()->functions += state->contractState[inheritance]->functions;
}
os << " {" << endl;
set();
os << visitChildren();
@ -723,7 +726,7 @@ SolidityTypePtr TypeProvider::type()
case Type::ADDRESS:
return make_shared<AddressType>();
case Type::FUNCTION:
return make_shared<FunctionType>(false);
return make_shared<FunctionType>(true);
case Type::CONTRACT:
if (state->sourceUnitState[state->currentPath()]->contractType())
return state->sourceUnitState[state->currentPath()]->randomContractType();
@ -840,6 +843,7 @@ string FunctionCallGenerator::callStmt(shared_ptr<FunctionState> _callee)
// Create lhs expression only if function outputs non-zero return values.
if (!_callee->outputs.empty())
lhsExpr = lhs(_callee->outputs);
callStmtStream << indentation()
<< lhsExpr
<< rhsExpr;