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.jikesrvm.adaptive.util;
014    
015    /**
016     * Additional option values that are computed internally are defined
017     * here.  Command line options are inherited from AOSExternalOptions
018     * which is machine generated from the various .dat files.
019     */
020    public final class AOSOptions extends AOSExternalOptions {
021      public int DERIVED_MAX_OPT_LEVEL;
022    
023      public int DERIVED_FILTER_OPT_LEVEL;
024    }