mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Use the passed stream, not std::cerr.
This commit is contained in:
parent
33babb0c6f
commit
2a24c3d810
@ -73,18 +73,18 @@ void SourceReferenceFormatter::printExceptionInformation(std::ostream& _stream,
|
|||||||
std::string const& _name,
|
std::string const& _name,
|
||||||
Scanner const& _scanner)
|
Scanner const& _scanner)
|
||||||
{
|
{
|
||||||
std::cerr << _name;
|
_stream << _name;
|
||||||
if (std::string const* description = boost::get_error_info<errinfo_comment>(_exception))
|
if (std::string const* description = boost::get_error_info<errinfo_comment>(_exception))
|
||||||
std::cerr << ": " << *description;
|
_stream << ": " << *description;
|
||||||
|
|
||||||
if (int const* position = boost::get_error_info<errinfo_sourcePosition>(_exception))
|
if (int const* position = boost::get_error_info<errinfo_sourcePosition>(_exception))
|
||||||
{
|
{
|
||||||
std::cerr << " ";
|
_stream << " ";
|
||||||
printSourcePosition(std::cerr, *position, _scanner);
|
printSourcePosition(_stream, *position, _scanner);
|
||||||
}
|
}
|
||||||
if (Location const* location = boost::get_error_info<errinfo_sourceLocation>(_exception))
|
if (Location const* location = boost::get_error_info<errinfo_sourceLocation>(_exception))
|
||||||
{
|
{
|
||||||
std::cerr << " ";
|
_stream << " ";
|
||||||
printSourceLocation(_stream, *location, _scanner);
|
printSourceLocation(_stream, *location, _scanner);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user