Package ptolemy.vergil.modal

Class TransitionController

java.lang.Object

diva.graph.BasicEdgeController

ptolemy.vergil.modal.TransitionController

All Implemented Interfaces:

EdgeController

Direct Known Subclasses:

MatchResultViewer.MatchResultTransitionController, ModalTransitionController, SchedulingRelationController, TransformationEditor.TransformationTransitionController

public class TransitionController
extends BasicEdgeController

This class provides interaction techniques for transitions in an FSM.

Since:

Ptolemy II 8.0

Version:

$Id$

Author:

Steve Neuendorffer, Contributor: Edward A. Lee

Pt.AcceptedRating:

Red (johnr)

Pt.ProposedRating:

Red (eal)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	TransitionController.LinkDropper	An inner class that handles interactive changes to connectivity.
static class	TransitionController.LinkRenderer	Render a link.
static class	TransitionController.LinkTarget	A Link target.

Nested classes/interfaces inherited from class diva.graph.BasicEdgeController

BasicEdgeController.EdgeDropper

Field Summary

Fields

Modifier and Type	Field	Description
protected Configuration	_configuration	The configuration.
protected static ConfigureAction	_configureAction	The configure action, which handles edit parameters requests.
protected MenuActionFactory	_configureMenuFactory	The submenu for configure actions.
protected ptolemy.vergil.modal.TransitionController.LookInsideAction	_lookInsideAction	The action that handles look inside.
protected MenuActionFactory	_lookInsideActionFactory	The menu factory for _lookInsideAction.
protected MenuCreator	_menuCreator	The menu creator.
protected PtolemyMenuFactory	_menuFactory	The factory belonging to the menu creator.

Constructor Summary

Constructors

Constructor	Description
TransitionController(GraphController controller)	Create a transition controller associated with the specified graph controller.

Method Summary

Modifier and Type	Method	Description
protected void	_createEdgeRenderer()	Create an edge renderer specifically for instances of Transition.
protected void	_openInstanceOrModel(Configuration configuration, NamedObj refinement)	Open the instance or the model.
protected void	_setUpLookInsideAction()	Set up look inside actions, if appropriate.
void	addHotKeys(JGraph jgraph)	Add hot keys to the actions in the given JGraph.
void	setConfiguration(Configuration configuration)	Set the configuration.

Methods inherited from class diva.graph.BasicEdgeController

addEdge, addEdge, clearEdge, drawEdge, getConnectorTarget, getController, getEdgeInteractor, getEdgeRenderer, removeEdge, render, setConnectorTarget, setEdgeInteractor, setEdgeRenderer

Methods inherited from class java.lang.Object

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

Field Detail

_configuration

protected Configuration _configuration

The configuration.

_configureAction

protected static ConfigureAction _configureAction

The configure action, which handles edit parameters requests.

_configureMenuFactory

protected MenuActionFactory _configureMenuFactory

The submenu for configure actions.

_lookInsideAction

protected ptolemy.vergil.modal.TransitionController.LookInsideAction _lookInsideAction

The action that handles look inside.

_lookInsideActionFactory

protected MenuActionFactory _lookInsideActionFactory

The menu factory for _lookInsideAction. null if the factory has not been added to the context menu.

_menuCreator

protected MenuCreator _menuCreator

The menu creator.

_menuFactory

protected PtolemyMenuFactory _menuFactory

The factory belonging to the menu creator.

Constructor Detail

TransitionController

public TransitionController(GraphController controller)

Create a transition controller associated with the specified graph controller.

Parameters:

controller - The associated graph controller.

Method Detail

addHotKeys

public void addHotKeys(JGraph jgraph)

Add hot keys to the actions in the given JGraph. It would be better that this method was added higher in the hierarchy. Now most controllers

Parameters:

jgraph - The JGraph to which hot keys are to be added.

setConfiguration

public void setConfiguration(Configuration configuration)

Set the configuration. This is may be used by derived controllers to open files or URLs.

Parameters:

configuration - The configuration.

_createEdgeRenderer

protected void _createEdgeRenderer()

Create an edge renderer specifically for instances of Transition.

_openInstanceOrModel

protected void _openInstanceOrModel(Configuration configuration,
                                    NamedObj refinement)
                             throws IllegalActionException,
                                    NameDuplicationException

Open the instance or the model. In this base class, the default look inside action is to open the model. In derived classes such as the Ptera editor, the default action is to open the instance.

Parameters:

configuration - The configuration with which to open the model or instance.

refinement - The model or instance to open.

Throws:

IllegalActionException - If constructing an effigy or tableau fails.

NameDuplicationException - If a name conflict occurs (this should not be thrown).

See Also:

Configuration.openInstance(NamedObj), Configuration.openModel(NamedObj)

_setUpLookInsideAction

protected void _setUpLookInsideAction()

Set up look inside actions, if appropriate.