?? workspace.java
字號:
package connex.core.WS;
import net.jxta.peergroup.*;
import net.jxta.protocol.*;
import net.jxta.exception.*;
import java.io.File;
public class Workspace {
private PeerGroupAdvertisement adv;
private PeerGroup group;
private File folder;
public Workspace(PeerGroup g) {
this.group = g;
}
public Workspace(PeerGroupAdvertisement adv) {
this.adv = adv;
try {
this.group = Boot.netPeerGroup.newGroup(adv);
} catch (PeerGroupException ex) {
System.err.println(" can't create group (Workspace)");
}
}
public String getName() {
return group.getPeerGroupName();
}
public String getDiscription() {
return adv.getDescription();
}
public String getPeerID() {
return group.getPeerID().toString();
}
public PeerAdvertisement getPeerAdv() {
return group.getPeerAdvertisement();
}
public PeerGroupAdvertisement getAdvertisement() {
return adv;
}
public File getWorkspaceFolder(){
folder = new File(System.getProperty("JXTA_HOME")+File.separator+"cm",
getPeerGroup().getPeerGroupID().toString().
substring(9));
return folder;
}
public PeerGroup getPeerGroup() {
return group;
}
public String toString() {
return group.getPeerGroupName();
}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -