edu.wpi.ebob.internal.jem
Class JEMClassManager.JavaClassChangeListener

java.lang.Object
  extended by edu.wpi.ebob.internal.jem.JEMClassManager.JavaClassChangeListener
All Implemented Interfaces:
java.util.EventListener, org.eclipse.core.resources.IResourceChangeListener
Enclosing class:
JEMClassManager

private class JEMClassManager.JavaClassChangeListener
extends java.lang.Object
implements org.eclipse.core.resources.IResourceChangeListener

Tracks when changes are made to java classes in the current project.

Author:
Liam Morley

Constructor Summary
private JEMClassManager.JavaClassChangeListener()
           
 
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

JEMClassManager.JavaClassChangeListener

private JEMClassManager.JavaClassChangeListener()
Method Detail

resourceChanged

public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)
Specified by:
resourceChanged in interface org.eclipse.core.resources.IResourceChangeListener