diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-03 22:10:21 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-03 22:10:21 +0000 |
commit | 842fd54de1da122f4c7274796550c2fe21c11db2 (patch) | |
tree | fec6236bc8c3e3b92cd3759ed13f4acc7bc6c6d2 /src/parser/antlr_parser.cpp | |
parent | e0fc2cbe091097d95dbe6dd2eb9b6416b75be279 (diff) |
ELSEIF support and parser debugging with '-d parser'
Diffstat (limited to 'src/parser/antlr_parser.cpp')
-rw-r--r-- | src/parser/antlr_parser.cpp | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp index 01235bf88..3522bfd75 100644 --- a/src/parser/antlr_parser.cpp +++ b/src/parser/antlr_parser.cpp @@ -47,7 +47,6 @@ AntlrParser::AntlrParser(antlr::TokenStream& lexer, int k) : Expr AntlrParser::getVariable(std::string var_name) { Expr e = d_varSymbolTable.getObject(var_name); - Debug("parser") << "getvar " << var_name << " gives " << e << endl; return e; } @@ -64,20 +63,27 @@ Expr AntlrParser::mkExpr(Kind kind, const Expr& child) { } Expr AntlrParser::mkExpr(Kind kind, const Expr& child_1, const Expr& child_2) { - return d_exprManager->mkExpr(kind, child_1, child_2); + Expr result = d_exprManager->mkExpr(kind, child_1, child_2); + Debug("parser") << "mkExpr() => " << result << std::endl; + return result; } Expr AntlrParser::mkExpr(Kind kind, const Expr& child_1, const Expr& child_2, const Expr& child_3) { - return d_exprManager->mkExpr(kind, child_1, child_2, child_3); + Expr result = d_exprManager->mkExpr(kind, child_1, child_2, child_3); + Debug("parser") << "mkExpr() => " << result << std::endl; + return result; } Expr AntlrParser::mkExpr(Kind kind, const std::vector<Expr>& children) { - return d_exprManager->mkExpr(kind, children); + Expr result = d_exprManager->mkExpr(kind, children); + Debug("parser") << "mkExpr() => " << result << std::endl; + return result; } void AntlrParser::newPredicate(std::string name, const std::vector<std::string>& sorts) { + Debug("parser") << "newPredicate(" << name << ")" << std::endl; if(sorts.size() == 0) { d_varSymbolTable.bindName(name, d_exprManager->mkVar()); } else { |