📄 wordtable.java
字号:
package jboost.examples;import java.io.Serializable;import java.util.HashMap;import java.util.Vector;/** defines a mapping from words to tokens */public class WordTable implements Serializable{ HashMap map; // mapping from string to int int size; // # unique words seen so far (starts with 0) boolean frozen; // true if no more tokens Vector words; // mapping from int to string public void setFrozen(boolean flag) {frozen=flag;} public boolean getFrozen() {return frozen;} WordTable() { map = new HashMap(); size = 0; frozen = false; words=new Vector(); } public String toString() { return "Size: " + size + "\nMap: " + map.toString() + "\nWords: " + words.toString() + "\nfrozen: " + Boolean.toString(frozen); } public void update(WordTable newTable) { map= newTable.map; size= newTable.size; frozen= newTable.frozen; words= newTable.words; } // shared WordTable public static WordTable globalTable= new WordTable(); }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -