private void incrementArraySize() {
   if (attributeVisitors == null) {
     attributeVisitors = new AttributeVisitor[1];
   } else {
     AttributeVisitor[] newAttributeVisitors = new AttributeVisitor[attributeVisitors.length + 1];
     System.arraycopy(attributeVisitors, 0, newAttributeVisitors, 0, attributeVisitors.length);
     attributeVisitors = newAttributeVisitors;
   }
 }
 private void ensureArraySize() {
   if (instructionVisitors == null) {
     instructionVisitors = new InstructionVisitor[ARRAY_SIZE_INCREMENT];
   } else if (instructionVisitors.length == instructionVisitorCount) {
     InstructionVisitor[] newInstructionVisitors =
         new InstructionVisitor[instructionVisitorCount + ARRAY_SIZE_INCREMENT];
     System.arraycopy(instructionVisitors, 0, newInstructionVisitors, 0, instructionVisitorCount);
     instructionVisitors = newInstructionVisitors;
   }
 }
  /**
   * Deletes the attributes with the given name from the given array of attributes, returning the
   * new number of attributes.
   */
  private int deleteAttribute(int attributesCount, Attribute[] attributes, String attributeName) {
    // Find the attribute.
    int index = findAttributeIndex(attributesCount, attributes, attributeName);
    if (index < 0) {
      return attributesCount;
    }

    // Shift the other attributes in the array.
    System.arraycopy(attributes, index + 1, attributes, index, attributesCount - index - 1);

    // Clear the last entry in the array.
    attributes[--attributesCount] = null;

    return attributesCount;
  }
  /**
   * Appends the given attribute to the given array of attributes, creating a new array if
   * necessary.
   */
  private Attribute[] addAttribute(
      int attributesCount, Attribute[] attributes, Attribute attribute) {
    // Is the array too small to contain the additional attribute?
    if (attributes.length <= attributesCount) {
      // Create a new array and copy the attributes into it.
      Attribute[] newAttributes = new Attribute[attributesCount + 1];
      System.arraycopy(attributes, 0, newAttributes, 0, attributesCount);
      attributes = newAttributes;
    }

    // Append the attribute.
    attributes[attributesCount] = attribute;

    return attributes;
  }