MCPcopy Create free account
hub / github.com/argotorg/solidity / structGetterReturnedMembers

Function structGetterReturnedMembers

libsolidity/formal/SMTEncoder.cpp:1020–1027  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1018}
1019
1020std::vector<std::string> structGetterReturnedMembers(StructType const& _structType)
1021{
1022 std::vector<std::string> returnedMembers;
1023 for (auto const& member: _structType.nativeMembers(nullptr))
1024 if (isReturnedFromStructGetter(member.type))
1025 returnedMembers.push_back(member.name);
1026 return returnedMembers;
1027}
1028
1029}
1030

Callers 1

visitPublicGetterMethod · 0.85

Calls 2

nativeMembersMethod · 0.45

Tested by

no test coverage detected