tests/printer1.pcc

   1 /////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  The qualifier `printable' for a datatype automatic generates a printing
   4 //  method suitable for debugging use.
   5 //
   6 /////////////////////////////////////////////////////////////////////////////
   7
   8 #include <iostream.h>
   9
  10 /////////////////////////////////////////////////////////////////////////////
  11 //
  12 //  Defines a simple datatype to represent expressions.
  13 //  Also specify the pretty printing formats.
  14 //
  15 /////////////////////////////////////////////////////////////////////////////
  16 datatype EXP = num (int)           => _
  17              | var (const char *)  => _
  18              | add (EXP, EXP)      => "(" _ " + " _ ")"
  19              | sub (EXP, EXP)      => "(" _ " - " _ ")"
  20              | mul (EXP, EXP)      => "(" _ " * " _ ")"
  21              | div (EXP, EXP)      => "(" _ " / " _ ")"
  22              ;
  23
  24 /////////////////////////////////////////////////////////////////////////////
  25 //
  26 //  Instantiate the datatype
  27 //
  28 /////////////////////////////////////////////////////////////////////////////
  29 instantiate datatype EXP;
  30
  31 /////////////////////////////////////////////////////////////////////////////
  32 //
  33 //  Now test out the printer
  34 //
  35 /////////////////////////////////////////////////////////////////////////////
  36 int main()
  37 {
  38    EXP a = var ("a");
  39    EXP b = var ("b");
  40    EXP c = var ("c");
  41
  42    //  a * a + b * b + c * c - 1
  43    EXP e1 = sub(add(mul(a,a), add(mul(b,b), mul(c,c))),num(1));
  44
  45    cout << e1 << '\n';
  46
  47    return 0;
  48 }