From cc6802ff819de5643ab87afc0839b584ddad63b2 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 27 Feb 2010 23:46:38 +0000 Subject: [PATCH] fix compile error in black parser unit test after today's change to parser code --- test/unit/parser/parser_black.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 150d88306..1b05f490e 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -158,7 +158,7 @@ class ParserBlack : public CxxTest::TestSuite { // cout << "Testing good input: '" << goodInputs[i] << "'\n"; // Debug.on("parser"); istringstream stream(goodInputs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT( !smtParser->done() ); Command* cmd; while((cmd = smtParser->parseNextCommand())) { @@ -180,7 +180,7 @@ class ParserBlack : public CxxTest::TestSuite { for(int i = 0; i < numInputs; ++i) { // cout << "Testing bad input: '" << badInputs[i] << "'\n"; istringstream stream(badInputs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT_THROWS ( while(smtParser->parseNextCommand()); cout << "\nBad input succeeded:\n" << badInputs[i] << endl;, @@ -196,7 +196,7 @@ class ParserBlack : public CxxTest::TestSuite { // cout << "Testing good expr: '" << goodBooleanExprs[i] << "'\n"; // Debug.on("parser"); istringstream stream(context + goodBooleanExprs[i]); - Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT( !parser->done() ); Command* cmd = parser->parseNextCommand(); TS_ASSERT( !parser->done() ); @@ -221,7 +221,7 @@ class ParserBlack : public CxxTest::TestSuite { for(int i = 0; i < numExprs; ++i) { // cout << "Testing bad expr: '" << badBooleanExprs[i] << "'\n"; istringstream stream(context + badBooleanExprs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT_THROWS ( smtParser->parseNextExpression(); cout << "\nBad expr succeeded: " << badBooleanExprs[i] << endl;, -- 2.30.2