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

Function isReturnedFromStructGetter

libsolidity/formal/SMTEncoder.cpp:1008–1018  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1006{
1007
1008bool isReturnedFromStructGetter(Type const* _type)
1009{
1010 // So far it seems that only Mappings and ordinary Arrays are not returned.
1011 auto category = _type->category();
1012 if (category == Type::Category::Mapping)
1013 return false;
1014 if (category == Type::Category::Array)
1015 return dynamic_cast<ArrayType const&>(*_type).isByteArrayOrString();
1016 // default
1017 return true;
1018}
1019
1020std::vector<std::string> structGetterReturnedMembers(StructType const& _structType)
1021{

Callers 1

Calls 2

isByteArrayOrStringMethod · 0.80
categoryMethod · 0.45

Tested by

no test coverage detected