public class SimpleStateCoder extends java.lang.Object implements IStateCoder
Constructor and Description |
---|
SimpleStateCoder(EMFHelper.MetaModelElements metaModelElements) |
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.
|
public SimpleStateCoder(EMFHelper.MetaModelElements metaModelElements)
public void init(org.eclipse.emf.common.notify.Notifier notifier)
IStateCoder
init
in interface IStateCoder
public java.lang.Object createStateCode()
IStateCoder
createStateCode
in interface IStateCoder
Object
that can be used as the identifier.public java.lang.Object createActivationCode(org.eclipse.viatra.query.runtime.api.IPatternMatch match)
IStateCoder
IPatternMatch
in the context of the
underlying model's current internal state.createActivationCode
in interface IStateCoder
Object
that can be used as the identifier in the given state.