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: TransitionController.java 57292 2010-02-23 03:07:47Z cxh $

Author:

Steve Neuendorffer, Contributor: Edward A. Lee

Accepted Rating:

Red (johnr)

Proposed Rating:

Red (eal)

Nested Class Summary

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.
private class	TransitionController.LookInsideAction An action to look inside a transition at its refinement, if it has one.

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

BasicEdgeController.EdgeDropper

Field Summary

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.
private static java.awt.Font	_labelFont
protected TransitionController.LookInsideAction	_lookInsideAction The action that handles look inside.
protected MenuActionFactory	_lookInsideActionFactory The menu factory for _lookInsideAction. null if the factory has not been added to the context menu.
protected MenuCreator	_menuCreator The menu creator.
protected PtolemyMenuFactory	_menuFactory The factory belonging to the menu creator.

Constructor Summary

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

Method Summary

protected void	_createEdgeRenderer() Create an edge renderer specifically for instances of Transition.
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 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.

_labelFont

private static java.awt.Font _labelFont

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.

_setUpLookInsideAction

protected void _setUpLookInsideAction()

Set up look inside actions, if appropriate.