Method checkAccessedMemberFunction

libsolidity/analysis/TypeChecker.cpp:3239–3298

}

void TypeChecker::checkAccessedMemberFunction(MemberAccess const& _memberAccess) const
{
	auto const* accessedMemberFunctionType = dynamic_cast<FunctionType const*>(type(_memberAccess));
	solAssert(accessedMemberFunctionType, "Expected function type.");

	Type const* owningObjectType = type(_memberAccess.expression());
	solAssert(owningObjectType);

	auto const& memberName = _memberAccess.memberName();

	solAssert(
		!accessedMemberFunctionType->hasBoundFirstArgument() ||
		owningObjectType->isImplicitlyConvertibleTo(*accessedMemberFunctionType->selfType()),
		fmt::format(
			R"(Function "{}" cannot be called on an object of type {} (expected {}).)",
			memberName,
			owningObjectType->humanReadableName(),
			accessedMemberFunctionType->selfType()->humanReadableName()
		)
	);

	if (
		dynamic_cast<FunctionType const*>(owningObjectType) &&
		_memberAccess.annotation().referencedDeclaration == nullptr && // It's not defined
		(memberName == "value" || memberName == "gas")
	)
		m_errorReporter.typeError(
			1621_error,
			_memberAccess.location(),
			fmt::format(
				R"abc(Using ".{}(...)" is deprecated. Use "{{{}: ...}}" instead.)abc",
				memberName,
				memberName
			)
		);

	if (
		accessedMemberFunctionType->kind() == FunctionType::Kind::ArrayPush &&
		_memberAccess.annotation().arguments.value().numArguments() > 0 &&
		owningObjectType->containsNestedMapping()
	)
		m_errorReporter.typeError(
			8871_error,
			_memberAccess.location(),
			"Storage arrays with nested mappings do not support .push(<arg>)."
		);

	if (
		accessedMemberFunctionType->kind() == FunctionType::Kind::Send ||
		accessedMemberFunctionType->kind() == FunctionType::Kind::Transfer
	)
		m_errorReporter.warning(
			9207_error,
			_memberAccess.location(),
			fmt::format(
				R"('{}' is deprecated and scheduled for removal. Use 'call{{value: <amount>}}("")' instead.)",
				accessedMemberFunctionType->kind() == FunctionType::Kind::Send ? "send" : "transfer"
			)