public class TheStateCoder extends java.lang.Object implements IStateCoder
Constructor and Description |
---|
TheStateCoder(StatecodingDependencyGraph sdg,
IObjectsProvider objectProvider) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
addStateCode(StatecodingNode node) |
java.lang.String |
addStateCode(StatecodingNode node,
org.eclipse.emf.ecore.EObject eObject) |
java.lang.String |
addStateCodeFromDependency(StatecodingDependency sd,
org.eclipse.emf.ecore.EObject eObject) |
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.String |
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 TheStateCoder(StatecodingDependencyGraph sdg, IObjectsProvider objectProvider)
public void init(org.eclipse.emf.common.notify.Notifier notifier)
IStateCoder
init
in interface IStateCoder
public java.lang.String 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.public java.lang.String addStateCode(StatecodingNode node, org.eclipse.emf.ecore.EObject eObject)
public java.lang.String addStateCode(StatecodingNode node)
public java.lang.String addStateCodeFromDependency(StatecodingDependency sd, org.eclipse.emf.ecore.EObject eObject)