Merge pull request #7666 from aarlt/list_unimplemented_functions

Output which functions are not implemented
This commit is contained in:
chriseth 2019-11-10 15:29:40 +01:00 committed by GitHub
commit 147120ba47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -424,10 +424,14 @@ void ContractLevelChecker::checkAbstractFunctions(ContractDefinition const& _con
!_contract.abstract() &&
!_contract.annotation().unimplementedFunctions.empty()
)
m_errorReporter.typeError(
_contract.location(),
"Contract \"" + _contract.annotation().canonicalName + "\" should be marked as abstract."
);
{
SecondarySourceLocation ssl;
for (auto function: _contract.annotation().unimplementedFunctions)
ssl.append("Missing implementation:", function->location());
m_errorReporter.typeError(_contract.location(), ssl,
"Contract \"" + _contract.annotation().canonicalName
+ "\" should be marked as abstract.");
}
}