mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Simplify interface checks for FunctionDefinition
This commit is contained in:
parent
2067a00f22
commit
96c09fcbcd
@ -457,18 +457,17 @@ bool TypeChecker::visit(FunctionDefinition const& _function)
|
|||||||
dynamic_cast<ContractDefinition const&>(*_function.scope()).annotation().linearizedBaseContracts :
|
dynamic_cast<ContractDefinition const&>(*_function.scope()).annotation().linearizedBaseContracts :
|
||||||
vector<ContractDefinition const*>()
|
vector<ContractDefinition const*>()
|
||||||
);
|
);
|
||||||
if (_function.isImplemented())
|
if (m_scope->contractKind() == ContractDefinition::ContractKind::Interface)
|
||||||
{
|
{
|
||||||
if (m_scope->contractKind() == ContractDefinition::ContractKind::Interface)
|
if (_function.isImplemented())
|
||||||
typeError(_function.location(), "Functions in interfaces cannot have an implementation.");
|
typeError(_function.location(), "Functions in interfaces cannot have an implementation.");
|
||||||
_function.body().accept(*this);
|
if (_function.visibility() < FunctionDefinition::Visibility::Public)
|
||||||
}
|
|
||||||
if (_function.visibility() < FunctionDefinition::Visibility::Public)
|
|
||||||
if (m_scope->contractKind() == ContractDefinition::ContractKind::Interface)
|
|
||||||
typeError(_function.location(), "Functions in interfaces cannot be internal or private.");
|
typeError(_function.location(), "Functions in interfaces cannot be internal or private.");
|
||||||
if (_function.isConstructor())
|
if (_function.isConstructor())
|
||||||
if (m_scope->contractKind() == ContractDefinition::ContractKind::Interface)
|
|
||||||
typeError(_function.location(), "Constructor cannot be defined in interfaces.");
|
typeError(_function.location(), "Constructor cannot be defined in interfaces.");
|
||||||
|
}
|
||||||
|
if (_function.isImplemented())
|
||||||
|
_function.body().accept(*this);
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user