code: public void addArgAttrs(List<Attribute> result) {
          int i;
          int max;
          Alternative ab;
  
          max = alternatives.size();
          for (i = 0; i < max; i++) {
              ab = alternatives.get(i);
              ab.addArgAttrs(result);
          }
      }
docs: Add all argument attributes to next (if not already contained in next)