public class IncrementalGraphHasher.LightweightFeatureChangeListener
extends java.lang.Object
implements org.eclipse.viatra.query.runtime.base.api.LightweightEObjectObserver
Constructor and Description |
---|
IncrementalGraphHasher.LightweightFeatureChangeListener() |
Modifier and Type | Method and Description |
---|---|
void |
notifyFeatureChanged(org.eclipse.emf.ecore.EObject host,
org.eclipse.emf.ecore.EStructuralFeature feature,
org.eclipse.emf.common.notify.Notification notification) |
public IncrementalGraphHasher.LightweightFeatureChangeListener()
public void notifyFeatureChanged(org.eclipse.emf.ecore.EObject host, org.eclipse.emf.ecore.EStructuralFeature feature, org.eclipse.emf.common.notify.Notification notification)
notifyFeatureChanged
in interface org.eclipse.viatra.query.runtime.base.api.LightweightEObjectObserver