/*
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation. Oracle designates this
* particular file as subject to the "Classpath" exception as provided
* by Oracle in the LICENSE file that accompanied this code.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/** A table of all command-line options.
* If an option has an argument, the option name is mapped to the argument.
* If a set option has no argument, it is mapped to itself.
*
* <p><b>This is NOT part of any supported API.
* If you write code that depends on this, you do so at your own risk.
* This code and its internal interfaces are subject to change or
* deletion without notice.</b>
*/
public class Options {
/** The context key for the options. */
/** Get the Options instance for this context. */
return instance;
}
// DEBUGGING -- Use LinkedHashMap for reproducability
}
/**
* Get the value for an undocumented option.
*/
}
/**
* Get the value for an option.
*/
}
/**
* Get the boolean value for an option, patterned after Boolean.getBoolean,
* essentially will return true, iff the value exists and is set to "true".
*/
return getBoolean(name, false);
}
/**
* Get the boolean with a default value if the option is not set.
*/
}
/**
* Check if the value for an undocumented option has been set.
*/
}
/**
* Check if the value for an option has been set.
*/
}
/**
* Check if the value for a choice option has been set to a specific value.
*/
}
/**
* Check if the value for an undocumented option has not been set.
*/
}
/**
* Check if the value for an option has not been set.
*/
}
/**
* Check if the value for a choice option has not been set to a specific value.
*/
}
}
}
}
}
}
public int size() {
}
/** Check for a lint suboption. */
// return true if either the specific option is enabled, or
// they are all enabled without the specific one being
// disabled
return
isSet(XLINT_CUSTOM, s) ||
}
}