mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-05 05:39:53 +01:00
parent
d07999ddff
commit
f64d914bff
@ -38,17 +38,13 @@ namespace Catch {
|
|||||||
}
|
}
|
||||||
inline void enforceNotReservedTag( std::string const& tag, SourceLineInfo const& _lineInfo ) {
|
inline void enforceNotReservedTag( std::string const& tag, SourceLineInfo const& _lineInfo ) {
|
||||||
if( isReservedTag( tag ) ) {
|
if( isReservedTag( tag ) ) {
|
||||||
{
|
std::ostringstream ss;
|
||||||
Colour colourGuard( Colour::Red );
|
ss << Colour(Colour::Red)
|
||||||
Catch::cerr()
|
|
||||||
<< "Tag name [" << tag << "] not allowed.\n"
|
<< "Tag name [" << tag << "] not allowed.\n"
|
||||||
<< "Tag names starting with non alpha-numeric characters are reserved\n";
|
<< "Tag names starting with non alpha-numeric characters are reserved\n"
|
||||||
}
|
<< Colour(Colour::FileName)
|
||||||
{
|
<< _lineInfo << '\n';
|
||||||
Colour colourGuard( Colour::FileName );
|
throw std::runtime_error(ss.str());
|
||||||
Catch::cerr() << _lineInfo << std::endl;
|
|
||||||
}
|
|
||||||
exit(1);
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user