/*
* This file is part of the Jikes RVM project (http://jikesrvm.org).
*
* This file is licensed to You under the Eclipse Public License (EPL);
* You may not use this file except in compliance with the License. You
* may obtain a copy of the License at
*
* http://www.opensource.org/licenses/eclipse-1.0.php
*
* See the COPYRIGHT.txt file distributed with this work for information
* regarding copyright ownership.
*/
package org.jikesrvm.adaptive.util;
/**
* Additional option values that are computed internally are defined
* here. Command line options are inherited from AOSExternalOptions
* which is machine generated from the various .dat files.
*/
public final class AOSOptions extends AOSExternalOptions {
public int DERIVED_MAX_OPT_LEVEL;
public int DERIVED_FILTER_OPT_LEVEL;
}