Method add

basex-core/src/main/java/org/basex/gui/view/map/MapRects.java:40–43

Adds a new value. @param v value to be added

(final MapRect v)

   * @param v value to be added
   */
  void add(final MapRect v) {
    if(size == list.length) list = Array.copy(list, new MapRect[Array.newCapacity(size)]);
    list[size++] = v;
  }

  /**
   * Adds several new values.