📄 basesmanager.java
字号:
/* * BasesManager.java * * Created on July 31, 2003, 10:18 PM */package gov.nist.examples.bps.presenceserver;import java.util.*;/** * * @author olivier * @version */public class BasesManager { private Vector basesList; private BaseXMLParser baseParser; /** Creates new BasesManager */ public BasesManager() { baseParser=new BaseXMLParser(); basesList=new Vector(); } public synchronized Vector getBasesList() { return basesList; } public synchronized void processBaseRegistration(String registerBody){ try{ Base base=baseParser.parseString(registerBody); if (base==null) { System.out.println("BasesManager, the Base registration "+ "cannot be processed, the XML body is not well-formated."); return; } if ( !hasBase(base)) addBase(base); } catch(Exception e) { e.printStackTrace(); } } public boolean hasBase(Base b) { if (basesList!=null) { for (int i=0;i<basesList.size();i++) { Base base=(Base)basesList.elementAt(i); if (base.getIdentifier().equals(b.getIdentifier()) ) return true; } } return false; } public void addBase(Base b) { if (basesList!=null) { basesList.addElement(b); } } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -