resourcehelper.java
来自「很棒的web服务器源代码」· Java 代码 · 共 71 行
JAVA
71 行
// ResourceHelper.java// $Id: ResourceHelper.java,v 1.6 2000/08/16 21:37:27 ylafon Exp $// (c) COPYRIGHT MIT and INRIA, 1997.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.jigadm.editors ;import java.awt.Component;import java.util.EventObject;import java.util.Properties;import java.util.Vector;import org.w3c.jigsaw.admin.RemoteResource;import org.w3c.tools.resources.Attribute;import org.w3c.tools.widgets.MessagePopup;import org.w3c.jigadm.RemoteResourceWrapper;import org.w3c.jigadm.events.ResourceChangeEvent;import org.w3c.jigadm.events.ResourceListener;abstract public class ResourceHelper implements ResourceHelperInterface { protected Vector rls = null; abstract public String getTitle(); abstract public Component getComponent(); protected void errorPopup(String name, Exception ex) { (new MessagePopup(name+" : "+ex.getMessage())).show(); } protected void msgPopup(String name) { (new MessagePopup(name)).show(); } public synchronized void addResourceListener(ResourceListener rl) { if (rls == null) rls = new Vector(2); rls.addElement(rl); } public RemoteResource getValue() { return null; } public synchronized void removeResourceListener(ResourceListener rl) { if ( rls != null ) rls.removeElement(rl); } protected void processEvent(EventObject eo) { Vector rls = null; ResourceListener rl; synchronized(this) { if((this.rls != null) && (eo instanceof ResourceChangeEvent )) { rls = (Vector) this.rls.clone(); } else { return; } } for(int i=0; i<rls.size(); i++) { rl = (ResourceListener) rls.elementAt(i); rl.resourceChanged((ResourceChangeEvent)eo); } }}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?