📄 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 + -