📄 adminbean.java
字号:
package com.gs.db.util.admin;
import java.util.*;
import com.gs.db.*;
import com.gs.db.util.tree.*;
/**
* The AdminBean is designed to be used in the Jive admin tool as a way
* to keep state in various elements of the tool.
*/
public class AdminBean {
private Authorization authToken;
private Hashtable trees;
public AdminBean() {
trees = new Hashtable();
}
public Authorization getAuthToken() {
return this.authToken;
}
public void setAuthToken( Authorization authToken ) {
this.authToken = authToken;
}
public void resetAuthToken() {
this.authToken = null;
}
public Tree getTree( String name ) {
return (Tree)trees.get(name);
}
public void addTree( String name, Tree tree ) {
this.trees.put(name,tree);
}
public void removeTree( String name ) {
this.trees.remove(name);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -