src/parser/parser.i


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

%{
#include "parser/parser.h"
%}

namespace CVC4 {
  namespace parser {
    enum DeclarationCheck;
    enum SymbolType;
    %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 */

  }/* namespace CVC4::parser */
}/* namespace CVC4 */

%include "parser/parser.h"

%{
namespace CVC4 {
  namespace parser {
    typedef CVC4::parser::Parser::ExprStream ParserExprStream;
  }
}
%}