Method setDimensions

src/graph/Plot.java:154–162

Sets the dimensions of the graph (in pixels). @param width The width of the graph produced (in pixels). @param height The height of the graph produced (in pixels). @throws IllegalArgumentException if the width or height are negative, zero or "too small" (e.g. less than 100x100 pixels).

(final short width, final short height)

   * zero or "too small" (e.g. less than 100x100 pixels).
   */
  public void setDimensions(final short width, final short height) {
    if (width < MIN_PIXELS || height < MIN_PIXELS) {
      final String what = width < MIN_PIXELS ? "width" : "height";
      throw new IllegalArgumentException(what + " smaller than " + MIN_PIXELS
                                         + " in " + width + 'x' + height);
    }
    this.width = width;
    this.height = height;
  }

  /** @param globals A list of global annotation objects, may be null */
  public void setGlobals(final List<Annotation> globals) {