001/*
002 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
003 *
004 *  This file is licensed to You under the Eclipse Public License (EPL);
005 *  You may not use this file except in compliance with the License. You
006 *  may obtain a copy of the License at
007 *
008 *      http://www.opensource.org/licenses/eclipse-1.0.php
009 *
010 *  See the COPYRIGHT.txt file distributed with this work for information
011 *  regarding copyright ownership.
012 */
013package org.mmtk.utility.options;
014
015import org.mmtk.plan.Plan;
016
017/**
018 * Provide an upper bound on nursery size. This option is not intended to
019 * be created directly, but via NurserySize.
020 */
021public final class BoundedNursery extends org.vmutil.options.PagesOption {
022  /**
023   * Create the option.
024   */
025  public BoundedNursery() {
026    super(Options.set, "Bounded Nursery",
027        "Bound the maximum size of the nursery to this value",
028        Plan.DEFAULT_MAX_NURSERY);
029  }
030
031  /**
032   * Nursery can not be empty.
033   */
034  @Override
035  protected void validate() {
036    failIf(value <= 0, "Can not have an empty nursery");
037  }
038}