code: public void addProductions(Grammar right) {
          int i;
          int max;
          int[] orig;
          int[] copy;
  
          max = right.getProductionCount();
          for (i = 0; i < max; i++) {
              orig = right.getProduction(i);
              copy = new int[orig.length];
              System.arraycopy(orig, 0, copy, 0, orig.length);
              addProduction(copy);
          }
      }
docs: --