org.w3c.jigadm.gui
Class ResourceEditorListener

java.lang.Object
  org.w3c.jigadm.gui.ResourceEditorListener

All Implemented Interfaces:

java.util.EventListener, ResourceListener

public class ResourceEditorListener
extends java.lang.Object
implements ResourceListener

Constructor Summary

ResourceEditorListener(ServerBrowser sb)

Method Summary

void	resourceChanged(ResourceChangeEvent e) Invoked when the value of the Attribute has changed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ResourceEditorListener

public ResourceEditorListener(ServerBrowser sb)

Method Detail

resourceChanged

public void resourceChanged(ResourceChangeEvent e)

Description copied from interface: ResourceListener

Invoked when the value of the Attribute has changed

Specified by:

resourceChanged in interface ResourceListener