diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-01 18:31:10 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-25 20:35:54 -0400 |
commit | ef189453232a4dff9d3cfebafc6101bf8416b549 (patch) | |
tree | 3940f9d503cfc69431a3ac85b717fd4871241553 /src/parser/parser.i | |
parent | 30333c667c982a3ce4c4efcec705724d22f12ec2 (diff) |
java input stream adapters working
Diffstat (limited to 'src/parser/parser.i')
-rw-r--r-- | src/parser/parser.i | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/parser/parser.i b/src/parser/parser.i index 5e10973d4..5b23555ea 100644 --- a/src/parser/parser.i +++ b/src/parser/parser.i @@ -9,14 +9,13 @@ namespace CVC4 { %ignore operator<<(std::ostream&, DeclarationCheck); %ignore operator<<(std::ostream&, SymbolType); - class ParserExprStream : public CVC4::ExprStream { - Parser* d_parser; - public: - ParserExprStream(Parser* parser) : d_parser(parser) {} - ~ParserExprStream() { delete d_parser; } - Expr nextExpr() { return d_parser->nextExpression(); } - };/* class Parser::ExprStream */ - + class ParserExprStream : public CVC4::ExprStream { + Parser* d_parser; + public: + ParserExprStream(Parser* parser) : d_parser(parser) {} + ~ParserExprStream() { delete d_parser; } + Expr nextExpr() { return d_parser->nextExpression(); } + };/* class Parser::ExprStream */ }/* namespace CVC4::parser */ }/* namespace CVC4 */ |