code: public void addArgAttrs(List<Attribute> next) {
          int i;
          int max;
          Attribute attr;
  
          max = getArgCount();
          for (i = 0; i < max; i++) {
              attr = getArgAttribute(i);
              if (next.indexOf(attr) == -1) {
                  next.add(attr);
              }
          }
      }
docs: Add all argument attributes to next (if not already contained in next)