prop-src/T1.pcc

   1 datatype Exp = INT int        => _
   2              | ADD (Exp, Exp) => _ "+" _
   3              | SUB (Exp, Exp) => _ "-" _
   4              | MUL (Exp, Exp) => _ "*" _
   5              | DIV (Exp, Exp) => _ "/" _
   6              ;
   7
   8 instantiate datatype Exp;
   9
  10 attributegrammar class Foo
  11 {
  12 };
  13
  14 attributegrammar Foo
  15 {
  16
  17 left: 3 '+' '-';
  18 left: 2 '*' '/';
  19
  20 exp { value : int }:
  21      '(' exp ')'        { $$.value = $2.value; }
  22    | exp '+' exp        { $$.value = $1.value + $3.value; }
  23    | exp '-' exp        { $$.value = $1.value - $3.value; }
  24    | exp '*' exp        { $$.value = $1.value * $3.value; }
  25    | exp '/' exp        { $$.value = $1.value / $3.value; }
  26    ;
  27 };
  28
  29
  30 int main()
  31 {
  32    //Exp e = `?x+?y`;
  33 }