3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-10-31 04:07:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Moved line info in header again

Browse Source
This commit is contained in:
Phil Nash
2013-04-17 00:05:25 +01:00
parent 5062d3e92b
commit bd5910ef9f
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
include/reporters/catch_reporter_console.hpp
View File

@@ -284,6 +284,15 @@ namespace Catch {
}
}
SourceLineInfo lineInfo = currentSectionInfo
? currentSectionInfo->lineInfo
: unusedTestCaseInfo->lineInfo;
if( !lineInfo.empty() ){
stream << getDashes() << "\n";
Colour colourGuard( Colour::FileName );
stream << lineInfo << "\n";
}
stream << getDots() << "\n" << std::endl;
}
@@ -293,10 +302,6 @@ namespace Catch {
}
void printOpenHeader( std::string const& _name, SourceLineInfo const& _lineInfo = SourceLineInfo() ) {
stream << getDashes() << "\n";
if( !_lineInfo.empty() ){
Colour colourGuard( Colour::FileName );
stream << _lineInfo << "\n\n";
}
{
Colour colourGuard( Colour::Headers );
printUserString( _name );