org.wsmostudio.runtime.cache
Class WSMLResourceListener

java.lang.Object
  org.wsmostudio.runtime.cache.WSMLResourceListener

All Implemented Interfaces:

java.util.EventListener, org.eclipse.core.resources.IResourceChangeListener

public class WSMLResourceListener
extends java.lang.Object
implements org.eclipse.core.resources.IResourceChangeListener

A resource change listener which notifies the runtime to update its internal WSMO entities registry.

Version:

$Revision: 605 $ $Date: 2006-02-23 17:48:15 +0200 $

Author:

not attributable

Constructor Summary

WSMLResourceListener()

Method Summary

void	resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)

Methods inherited from class java.lang.Object

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

Constructor Detail

WSMLResourceListener

public WSMLResourceListener()

Method Detail

resourceChanged

public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)

Specified by:

resourceChanged in interface org.eclipse.core.resources.IResourceChangeListener