📄 base.java
字号:
/* * Base.java * * Created on July 31, 2003, 9:46 PM */package gov.nist.examples.bps.presenceserver;import java.util.*;/** * * @author olivier * @version */public class Base { private String identifier; private String location; private Vector badges; /** Creates new Base */ public Base(String identifier,String location) { this.identifier=identifier; this.location=location; badges=new Vector(); } public String getIdentifier() { return identifier; } public String getLocation() { return location; } public Vector getCurrentBadges(){ return badges; } public String toXMLTag() { String res="<base \n"+ "identifier=\""+identifier+"\"\n"+ "location=\""+location+"\"\n"+ ">\n"; res+="<badges>\n"; for(int i=0;i<badges.size();i++) res+=((Badge)badges.elementAt(i)).toXMLTag(); res+="</badges>\n"; res+="</base>\n"; return res; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -