< prev index next >

langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/util/Options.java

Print this page

        

*** 1,7 **** /* ! * Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. Oracle designates this --- 1,7 ---- /* ! * Copyright (c) 2001, 2016, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License version 2 only, as * published by the Free Software Foundation. Oracle designates this
*** 69,79 **** /** * Get the value for an option. */ public String get(Option option) { ! return values.get(option.text); } /** * Get the boolean value for an option, patterned after Boolean.getBoolean, * essentially will return true, iff the value exists and is set to "true". --- 69,79 ---- /** * Get the value for an option. */ public String get(Option option) { ! return values.get(option.primaryName); } /** * Get the boolean value for an option, patterned after Boolean.getBoolean, * essentially will return true, iff the value exists and is set to "true".
*** 99,116 **** /** * Check if the value for an option has been set. */ public boolean isSet(Option option) { ! return (values.get(option.text) != null); } /** * Check if the value for a choice option has been set to a specific value. */ public boolean isSet(Option option, String value) { ! return (values.get(option.text + value) != null); } /** * Check if the value for an undocumented option has not been set. */ --- 99,116 ---- /** * Check if the value for an option has been set. */ public boolean isSet(Option option) { ! return (values.get(option.primaryName) != null); } /** * Check if the value for a choice option has been set to a specific value. */ public boolean isSet(Option option, String value) { ! return (values.get(option.primaryName + value) != null); } /** * Check if the value for an undocumented option has not been set. */
*** 120,145 **** /** * Check if the value for an option has not been set. */ public boolean isUnset(Option option) { ! return (values.get(option.text) == null); } /** * Check if the value for a choice option has not been set to a specific value. */ public boolean isUnset(Option option, String value) { ! return (values.get(option.text + value) == null); } public void put(String name, String value) { values.put(name, value); } public void put(Option option, String value) { ! values.put(option.text, value); } public void putAll(Options options) { values.putAll(options.values); } --- 120,145 ---- /** * Check if the value for an option has not been set. */ public boolean isUnset(Option option) { ! return (values.get(option.primaryName) == null); } /** * Check if the value for a choice option has not been set to a specific value. */ public boolean isUnset(Option option, String value) { ! return (values.get(option.primaryName + value) == null); } public void put(String name, String value) { values.put(name, value); } public void put(Option option, String value) { ! values.put(option.primaryName, value); } public void putAll(Options options) { values.putAll(options.values); }
< prev index next >