Repair/RepairInterpreter/oparser.h

   1 #ifndef ObjectModelParser_H
   2 #define ObjectModelParser_H
   3
   4 #include "common.h"
   5 #include <iostream.h>
   6 #include <stdio.h>
   7 #include "classlist.h"
   8
   9 class Parser {
  10  public:
  11   Parser(Reader *r);
  12   Constraint * parseconstraint();
  13
  14  private:
  15   Elementexpr * checkdot(Elementexpr * incoming);
  16   Constraint * parsequantifiers();
  17   Quantifier * parsequantifier();
  18   Set * parseset();
  19   Setexpr * parsesetexpr();
  20   Statement * parsestatement(bool);
  21   Elementexpr * parseelementexpr();
  22   Predicate * parsepredicate();
  23   void skiptoken();
  24   void needtoken(int);
  25   void error();
  26   Reader *reader;
  27 };
  28 #endif