demos/rewrite-trick4.pC

   1 #include <iostream.h>
   2
   3
   4 datatype Exp :: rewrite =
   5    NUM   of int        => _
   6 |  ADD   of Exp, Exp   => "(" _ "+" _ ")"
   7 ;
   8
   9 instantiate datatype Exp;
  10
  11 rewrite class Silly (Exp) {
  12 public:
  13    Silly() {}
  14 };
  15
  16 rewrite Silly {
  17    NUM x: { x = x == 0 ? 1 : 2; }
  18 };
  19
  20 int main()
  21 {
  22    Exp e = ADD(NUM(0),NUM(3));
  23    Silly S;
  24    cout << "Before = " << e << '\n';
  25    S(e);
  26    cout << "After = " << e << '\n';
  27    return 0;
  28 }