📄 subscriberlist.java
字号:
/* * SubscriberList.java * * Created on October 3, 2002, 6:48 PM */package gov.nist.examples.bps.reader.presence;import java.util.*;import gov.nist.examples.bps.reader.*;/** * * @author deruelle * @version 1.0 */public class SubscriberList { private Hashtable subscriberList; /** Creates new SubscriberController */ public SubscriberList() { subscriberList=new Hashtable(); } public Vector getAllSubscribers() { if (subscriberList!=null) { Collection collection=subscriberList.values(); return new Vector(collection); } return new Vector(); } public boolean hasSubscriber(String subscriberName) { Subscriber subscriber=(Subscriber)subscriberList.get(subscriberName); if (subscriber==null) return false; else return true; } public Subscriber getSubscriber(String subscriberName) { return (Subscriber)subscriberList.get(subscriberName); } public void addSubscriber(Subscriber subscriber) { String subscriberName=subscriber.getSubscriberName(); if ( hasSubscriber(subscriberName) ) { BaseReaderDebug.println("SubscriberList, addSubscriber(), "+ "We add a new subscriber: "+subscriberName); subscriberList.put(subscriberName,subscriber); } else { BaseReaderDebug.println("SubscriberList, addSubscriber(), "+ "We update the subscriber: "+subscriberName); subscriberList.put(subscriberName,subscriber); } printSubscriberList(); } public void removeSubscriber(String subscriberName) { Subscriber subscriber=(Subscriber)subscriberList.get(subscriberName); if (subscriber!=null) { BaseReaderDebug.println("SubscriberList, removeSubscriber(), "+ " the subscriber "+subscriberName+" has been removed"); subscriberList.remove(subscriberName); } else BaseReaderDebug.println("SubscriberList, removeSubscriber(), "+ " the subscriber: "+subscriberName+" was not found..."); printSubscriberList(); } public void printSubscriberList() { Collection collection=subscriberList.values(); Vector subscribers=new Vector(collection); BaseReaderDebug.println(); BaseReaderDebug.println("************* Subscribers records: ************************************"); BaseReaderDebug.println(); for (int i=0;i<subscribers.size();i++) { Subscriber subscriber=(Subscriber)subscribers.elementAt(i); BaseReaderDebug.println("subscriber URI : "+subscriber.getSubscriberName()); BaseReaderDebug.println(); } BaseReaderDebug.println("**************************************************************************"); BaseReaderDebug.println(); } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -