src/parser/parser.i

   1 %{
   2 #include "parser/parser.h"
   3 %}
   4
   5 namespace CVC4 {
   6   namespace parser {
   7     enum DeclarationCheck;
   8     enum SymbolType;
   9     %ignore operator<<(std::ostream&, DeclarationCheck);
  10     %ignore operator<<(std::ostream&, SymbolType);
  11
  12   class ParserExprStream : public CVC4::ExprStream {
  13     Parser* d_parser;
  14   public:
  15     ParserExprStream(Parser* parser) : d_parser(parser) {}
  16     ~ParserExprStream() { delete d_parser; }
  17     Expr nextExpr() { return d_parser->nextExpression(); }
  18   };/* class Parser::ExprStream */
  19
  20   }/* namespace CVC4::parser */
  21 }/* namespace CVC4 */
  22
  23 %include "parser/parser.h"
  24
  25 %{
  26 namespace CVC4 {
  27   namespace parser {
  28     typedef CVC4::parser::Parser::ExprStream ParserExprStream;
  29   }
  30 }
  31 %}