protected void restoreNotationState(ExecutionContext context) {
for (Vertex vertex : context.getAllActiveStates()) {
getHighlightingSupport().fadeIn(vertex, HighlightingParameters.DEFAULT);
}
List<EObject> executedElements = context.getExecutedElements();
for (EObject eObject : executedElements) {
getHighlightingSupport().flash(eObject, HighlightingParameters.DEFAULT);
}
List<EObject> suspendedElements = context.getSuspendedElements();
for (EObject eObject : suspendedElements) {
getHighlightingSupport().fadeIn(eObject, SUSPENDED_PARAMS);
}
}
@Override
public void init() {
ExecutionFlow flow = sequencer.transform(statechart);
if (!context.isSnapshot()) {
contextInitializer.initialize(context, flow);
}
interpreter.initialize(flow, context);
}
public void run() {
context.getEvent(eventName).setScheduled(true);
}
