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.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 */
020public final class AOSOptions extends AOSExternalOptions {
021  public int DERIVED_MAX_OPT_LEVEL;
022
023  public int DERIVED_FILTER_OPT_LEVEL;
024}