org.eclipse.viatra.dse.visualizer

Class GraphmlDesignSpaceVisualizer

java.lang.Object

org.eclipse.viatra.dse.visualizer.GraphmlDesignSpaceVisualizer

All Implemented Interfaces:

IDesignSpaceVisualizer, IExploreEventHandler

public class GraphmlDesignSpaceVisualizer
extends java.lang.Object
implements IDesignSpaceVisualizer

This class implements the IDesignSpaceVisualizer interface by storing the trace of the exploration into its own data structure and exporting it to .graphml. It only supports single threaded exploration.

Constructor Summary

Constructors

Constructor and Description
GraphmlDesignSpaceVisualizer() Initializes a new instance of the GraphmlDesignSpaceVisualizer with default options and the file name "DSEDesignSpace.graphml".
GraphmlDesignSpaceVisualizer(DesignSpaceVisualizerOptions options) Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom options and the file name "DSEDesignSpace.graphml".
GraphmlDesignSpaceVisualizer(DesignSpaceVisualizerOptions options, java.lang.String fileName) Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom options and file name to save.
GraphmlDesignSpaceVisualizer(java.lang.String fileName) Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom file name and default options.

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getFileName()
DesignSpaceVisualizerOptions	getOptions()
void	init(ThreadContext context) Initializes the instance with a starting thread's context.
void	save() Saves the captured data.
void	setFileName(java.lang.String fileName)
void	transitionFired(ITransition transition) Called by the DesignSpaceManager, after a rule activation (transition) is fired.
void	undo(ITransition transition) Called by the DesignSpaceManager, after undoing the previously fired rule activation (transition).

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphmlDesignSpaceVisualizer

public GraphmlDesignSpaceVisualizer(DesignSpaceVisualizerOptions options,
                            java.lang.String fileName)

Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom options and file name to save.

Parameters:

options -

fileName -

See Also:

GraphmlDesignSpaceVisualizer

GraphmlDesignSpaceVisualizer

public GraphmlDesignSpaceVisualizer(DesignSpaceVisualizerOptions options)

Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom options and the file name "DSEDesignSpace.graphml".

Parameters:

options -

See Also:

GraphmlDesignSpaceVisualizer

GraphmlDesignSpaceVisualizer

public GraphmlDesignSpaceVisualizer(java.lang.String fileName)

Initializes a new instance of the GraphmlDesignSpaceVisualizer with custom file name and default options.

Parameters:

fileName -

See Also:

GraphmlDesignSpaceVisualizer

GraphmlDesignSpaceVisualizer

public GraphmlDesignSpaceVisualizer()

Initializes a new instance of the GraphmlDesignSpaceVisualizer with default options and the file name "DSEDesignSpace.graphml".

Parameters:

fileName -

See Also:

GraphmlDesignSpaceVisualizer

Method Detail

getFileName

public java.lang.String getFileName()

setFileName

public void setFileName(java.lang.String fileName)

getOptions

public DesignSpaceVisualizerOptions getOptions()

init

public void init(ThreadContext context)

Description copied from interface: IDesignSpaceVisualizer

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

Specified by:

init in interface IDesignSpaceVisualizer

See Also:

DesignSpaceVisualizerOptions

save

public void save()

Description copied from interface: IDesignSpaceVisualizer

Saves the captured data.

Specified by:

save in interface IDesignSpaceVisualizer

transitionFired

public void transitionFired(ITransition transition)

Description copied from interface: IExploreEventHandler

Called by the DesignSpaceManager, after a rule activation (transition) is fired. Multiple calls with the same transition can occur.

Specified by:

transitionFired in interface IExploreEventHandler

Parameters:

transition - The fired transition.

undo

public void undo(ITransition transition)

Description copied from interface: IExploreEventHandler

Called by the DesignSpaceManager, after undoing the previously fired rule activation (transition). Multiple calls with the same transition can occur.

Specified by:

undo in interface IExploreEventHandler

Parameters:

transition - The undone transition.