org.eclipse.viatra.dse.visualizer

Interface IExploreEventHandler

All Known Subinterfaces:

IDesignSpaceVisualizer

All Known Implementing Classes:

GraphmlDesignSpaceVisualizer

public interface IExploreEventHandler

An implementation of this interface is notified about every move in the design space (firing a rule activation or undoing it) of a single thread, if registered to the corresponding DesignSpaceManager. Its methods are called synchronously, therefore the implementation can have an impact on the performance. Also note, if the same instance is registered to multiple threads (DesignSpaceManager), it has to be thread safe.

Method Summary

Methods

Modifier and Type	Method and Description
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).

Method Detail

transitionFired

void transitionFired(ITransition transition)

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

Parameters:

transition - The fired transition.

undo

void undo(ITransition transition)

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

Parameters:

transition - The undone transition.