docs: public void setAttributes(Attribute[] v) {
          this.attributes = v;
          this.numberAttributes=v.length;
          this.indexValues = new int[numberAttributes];
          for (int i = 0; i < numberAttributes; i++) {
              this.indexValues[i]=i;
          }
      }