?? options.java
字號:
/** * @(#)Options.java 1.3 03/01/23 * * Copyright 2003 Sun Microsystems, Inc. All rights reserved. * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms. */package com.sun.tools.javac.v8.util;/** * 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. */public class Options extends Hashtable { /** * The context key for the options. */ private static final Context.Key optionsKey = new Context.Key(); /** * Get the Options instance for this context. */ public static Options instance(Context context) { Options instance = (Options) context.get(optionsKey); if (instance == null) instance = new Options(context); return instance; } protected Options(Context context) { super(); context.put(optionsKey, this); } /*synthetic*/ public Object remove(Object x0) { return super.remove((String) x0); } /*synthetic*/ public Object put(Object x0, Object x1) { return super.put((String) x0, (String) x1); } /*synthetic*/ public Object get(Object x0) { return super.get((String) x0); }}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -