org.eclipse.viatra.query.tooling.ui.queryexplorer.util

Class QueryExplorerResourceChangeListener

java.lang.Object

org.eclipse.viatra.query.tooling.ui.queryexplorer.util.QueryExplorerResourceChangeListener

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
QueryExplorerResourceChangeListener(com.google.inject.Injector injector)

Method Summary

Modifier and Type	Method and Description
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

QueryExplorerResourceChangeListener

public QueryExplorerResourceChangeListener(com.google.inject.Injector injector)

Method Detail

resourceChanged

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

Specified by:

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