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     */
013    package org.mmtk.utility.options;
014    
015    import 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     */
021    public 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    }