Merge pull request #933 from joakim-hove/parser-print-progress

Add log message with parsing progress
This commit is contained in:
Joakim Hove 2019-08-19 16:52:58 +02:00 committed by GitHub
commit 86b7d4406e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -654,6 +654,14 @@ bool parseState( ParserState& parserState, const Parser& parser ) {
if( parser.isRecognizedKeyword( rawKeyword->getKeywordName() ) ) {
const auto& kwname = rawKeyword->getKeywordName();
const auto& parserKeyword = parser.getParserKeywordFromDeckName( kwname );
{
std::stringstream ss;
ss << std::setw(5) << parserState.deck.size()
<< " Reading " << std::setw(8) << std::left << rawKeyword->getKeywordName()
<< " from: " << rawKeyword->getFilename() << ":" << std::to_string(rawKeyword->getLineNR());
OpmLog::info(ss.str());
}
try {
parserState.deck.addKeyword( parserKeyword.parse( parserState.parseContext, parserState.errors, *rawKeyword, filename ) );
} catch (const std::exception& exc) {