app/willard/willard.cc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //  This file is generated automatically using Prop (version 2.3.5),
   3 //  last updated on Jun 18, 1997.
   4 //  The original source file is "willard.pcc".
   5 ///////////////////////////////////////////////////////////////////////////////
   6
   7 #define PROP_REWRITING_USED
   8 #define PROP_STRCMP_USED
   9 #define PROP_PARSER_USED
  10 #define PROP_QUARK_USED
  11 #define PROP_TUPLE2_USED
  12 #include <propdefs.h>
  13 #line 1 "willard.pcc"
  14 #include <iostream.h>
  15 #include <AD/pretty/postream.h>
  16 #include "willard-ast.h"
  17 #include "parser.h"
  18 #include "willard.h"
  19
  20 Willard::Willard() {}
  21 Willard::~Willard() {}
  22
  23 int main()
  24 {  QueryParser P;
  25
  26    Exp q = P.read();
  27
  28    PrettyOStream S;
  29
  30    Willard W;
  31
  32    W.set_log(cout);
  33
  34    S << "Input:" << newline << q << newline;
  35
  36    q = W.decompose(q);
  37
  38    S << "Output:" << newline << q << newline;
  39
  40    cerr << "Cons = " << ConsCounter::count << '\n';
  41    return 0;
  42 }
  43 #line 30 "willard.pcc"
  44 /*
  45 ------------------------------- Statistics -------------------------------
  46 Merge matching rules         = yes
  47 Number of DFA nodes merged   = 0
  48 Number of ifs generated      = 0
  49 Number of switches generated = 0
  50 Number of labels             = 0
  51 Number of gotos              = 0
  52 Adaptive matching            = disabled
  53 Fast string matching         = disabled
  54 Inline downcasts             = disabled
  55 --------------------------------------------------------------------------
  56 */