utils/Burg/operator.c

   1 char rcsid_operator[] = "$Id$";
   2
   3 #include "b.h"
   4 #include <stdio.h>
   5
   6 int max_arity = -1;
   7
   8 List operators;
   9 List leaves;
  10
  11 Operator
  12 newOperator(name, num, arity) char *name; OperatorNum num; ArityNum arity;
  13 {
  14   Operator op;
  15
  16   assert(arity <= MAX_ARITY);
  17   op = (Operator) zalloc(sizeof(struct operator));
  18   assert(op);
  19   op->name = name;
  20   op->num = num;
  21   op->arity = arity;
  22
  23   operators = newList(op, operators);
  24
  25   return op;
  26 }
  27
  28 void
  29 dumpOperator_s(op) Operator op;
  30 {
  31   printf("Op: %s(%d)=%d\n", op->name, op->arity, op->num);
  32 }
  33
  34 void
  35 dumpOperator(op, full) Operator op; int full;
  36 {
  37   dumpOperator_s(op);
  38   if (full) {
  39     dumpTable(op->table, 0);
  40   }
  41 }
  42
  43 void
  44 dumpOperator_l(op) Operator op;
  45 {
  46   dumpOperator(op, 1);
  47 }
  48