org.eclipse.viatra.dse.statecode.incrementalgraph.impl

Class IncrementalGraphHasher

java.lang.Object

org.eclipse.viatra.dse.statecode.incrementalgraph.impl.IncrementalGraphHasher

All Implemented Interfaces:

IStateCoder, org.eclipse.viatra.query.runtime.base.api.InstanceListener

public class IncrementalGraphHasher
extends java.lang.Object
implements IStateCoder, org.eclipse.viatra.query.runtime.base.api.InstanceListener

The IncrementalGraphHasher is an incremental version of the GraphHash general graph based hasher. It listens to the VIATRA Query change events via a LightweightFeatureChangeListener

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	IncrementalGraphHasher.LightweightFeatureChangeListener

Constructor Summary

Constructors

Constructor and Description
IncrementalGraphHasher(java.util.Collection<org.eclipse.emf.ecore.EClass> classes, java.util.Collection<org.eclipse.emf.ecore.EStructuralFeature> features)

Method Summary

Methods

Modifier and Type	Method and Description
void	addNewModelObject(IModelObject newModelObject)
java.lang.Object	createActivationCode(org.eclipse.viatra.query.runtime.api.IPatternMatch match) Returns a pseudo-unique identifier that describes the given IPatternMatch in the context of the underlying model's current internal state.
java.lang.Object	createStateCode() Returns a pseudo-unique identifier that describes the underlying model's current internal state.
void	init(org.eclipse.emf.common.notify.Notifier notifier) Initializes the state coder on the given model.
void	instanceDeleted(org.eclipse.emf.ecore.EClass clazz, org.eclipse.emf.ecore.EObject instance)
void	instanceInserted(org.eclipse.emf.ecore.EClass clazz, org.eclipse.emf.ecore.EObject instance)
void	invalidateObjectRelations(IModelObject objectChanged)
void	invalidateObjectState(IModelObject objectChanged)
void	removeModelObject(IModelObject modelObjectToRemove)
void	resetCache()

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalGraphHasher

public IncrementalGraphHasher(java.util.Collection<org.eclipse.emf.ecore.EClass> classes,
                      java.util.Collection<org.eclipse.emf.ecore.EStructuralFeature> features)
                       throws org.eclipse.viatra.query.runtime.exception.ViatraQueryException

Throws:

org.eclipse.viatra.query.runtime.exception.ViatraQueryException

Method Detail

invalidateObjectState

public void invalidateObjectState(IModelObject objectChanged)

invalidateObjectRelations

public void invalidateObjectRelations(IModelObject objectChanged)

init

public void init(org.eclipse.emf.common.notify.Notifier notifier)

Description copied from interface: IStateCoder

Initializes the state coder on the given model.

Specified by:

init in interface IStateCoder

addNewModelObject

public void addNewModelObject(IModelObject newModelObject)

removeModelObject

public void removeModelObject(IModelObject modelObjectToRemove)

createStateCode

public java.lang.Object createStateCode()

Description copied from interface: IStateCoder

Returns a pseudo-unique identifier that describes the underlying model's current internal state.

Specified by:

createStateCode in interface IStateCoder

Returns:

an arbitrary Object that can be used as the identifier.

createActivationCode

public java.lang.Object createActivationCode(org.eclipse.viatra.query.runtime.api.IPatternMatch match)

Description copied from interface: IStateCoder

Returns a pseudo-unique identifier that describes the given IPatternMatch in the context of the underlying model's current internal state.

Specified by:

createActivationCode in interface IStateCoder

Returns:

an arbitrary Object that can be used as the identifier in the given state.

instanceInserted

public void instanceInserted(org.eclipse.emf.ecore.EClass clazz,
                    org.eclipse.emf.ecore.EObject instance)

Specified by:

instanceInserted in interface org.eclipse.viatra.query.runtime.base.api.InstanceListener

instanceDeleted

public void instanceDeleted(org.eclipse.emf.ecore.EClass clazz,
                   org.eclipse.emf.ecore.EObject instance)

Specified by:

instanceDeleted in interface org.eclipse.viatra.query.runtime.base.api.InstanceListener

resetCache

public void resetCache()