demos/rewrite-trick2.pC

   1 #include <iostream.h>
   2
   3 datatype Replaced<T> = REPLACED of T
   4
   5 and Exp =
   6    NUM   of int           => _
   7 |  ADD   of Exp, Exp      => "(" _ "+" _ ")"
   8 |  FINAL of Replaced<Exp> => "FINAL(" _ ")"
   9 ;
  10
  11 ostream& operator << (ostream& f, Replaced<Exp> e);
  12
  13 instantiate datatype Exp, Replaced<Exp>;
  14
  15 ostream& operator << (ostream& f, Replaced<Exp> e)
  16    { match (e) of REPLACED e: { return f << "REPLACED(" << e << ")"; }
  17      end match;
  18    }
  19
  20 rewrite class Silly (Exp) {
  21 public:
  22    Silly() {}
  23 };
  24
  25 rewrite Silly {
  26    NUM 0:  FINAL(REPLACED(NUM(1)))
  27 |  NUM x:  FINAL(REPLACED(NUM(2)))
  28 };
  29
  30 int main()
  31 {
  32    Exp e = ADD(NUM(0),NUM(3));
  33    Silly S;
  34    cout << "Before = " << e << '\n';
  35    S(e);
  36    cout << "After = " << e << '\n';
  37    rewrite (e) type (Exp,Replaced<Exp>) {
  38       FINAL(REPLACED(e)): e
  39    }
  40    cout << "Finally = " << e << '\n';
  41    return 0;
  42 }