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 + -
显示快捷键?