📄 symbol.java
字号:
package Symbol;public class Symbol { private String name; private Symbol(String n) { name = n; } private static java.util.Dictionary dict = new java.util.Hashtable(); public String toString() { return name; } /** * Make return the unique symbol associated with a string. * Repeated calls to <tt>symbol("abc")</tt> will return the same Symbol. */ public static Symbol symbol(String n) { String u = n.intern(); Symbol s = (Symbol)dict.get(u); if (s==null) { s = new Symbol(u); dict.put(u,s); } return s; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -