app/willard/parser.ph

   1 #ifndef parser_h
   2 #define parser_h
   3
   4 #include <AD/automata/iolexerbuf.h>
   5 #include "willard-ast.ph"
   6
   7 //
   8 //  This is the interface of the relation calculus parser.
   9 //
  10 syntax class QueryParser
  11 {  QueryParser(const QueryParser&);
  12    int   line_no;
  13    Exp   query;
  14
  15    ErrorAction error_report(const char * message); // error reporting
  16 public:
  17    IOLexerBuffer lexbuf;  // a lexer stream buffer
  18    int get_token();       // method generated by Prop
  19    Exp read();            // method to a read a query
  20 };
  21
  22 #endif