org.eclipse.viatra.dse.visualizer

Interface IDesignSpaceVisualizer

All Superinterfaces:

IExploreEventHandler

public interface IDesignSpaceVisualizer
extends IExploreEventHandler

An implementation of this interface is notified about the traversal of the design space from every traversing thread, if registered to the DesignSpaceExplorer. Its purpose is to able to visualize the design space (a directed graph with IDs of the nodes and transitions) and to able to visualize the order of the exploration (the trace of a thread).

Method Summary

Modifier and Type	Method and Description
void	init(ThreadContext context) Initializes the instance with a starting thread's context.
void	save() Saves the captured data.

Methods inherited from interface org.eclipse.viatra.dse.visualizer.IExploreEventHandler

transitionFired, undo

Method Detail

init

void init(ThreadContext context)

Initializes the instance with a starting thread's context. Can be called multiple times and concurrently.

Parameters:

context -

See Also:

DesignSpaceVisualizerOptions

save

void save()

Saves the captured data.