org.eclipse.viatra.dse.statecoding.simple

Class SimpleStateCoder

java.lang.Object

org.eclipse.viatra.dse.statecoding.simple.SimpleStateCoder

All Implemented Interfaces:

IStateCoder

public class SimpleStateCoder
extends java.lang.Object
implements IStateCoder

Constructor Summary

Constructors

Constructor and Description
SimpleStateCoder(EMFHelper.MetaModelElements metaModelElements)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleStateCoder

public SimpleStateCoder(EMFHelper.MetaModelElements metaModelElements)

Method Detail

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

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.