ptolemy.vergil.fsm.modal
Class ModalTransitionController

java.lang.Object
  extended by diva.graph.BasicEdgeController
      extended by ptolemy.vergil.fsm.TransitionController
          extended by ptolemy.vergil.fsm.modal.ModalTransitionController
All Implemented Interfaces:
EdgeController

public class ModalTransitionController
extends TransitionController

This class provides interaction with relations that contain general purpose refinements that are fired on state transitions in an FSM graph. It's implementation is largely copied from ModalController.

Since:
Ptolemy II 2.0
Version:
$Id: ModalTransitionController.java 57040 2010-01-27 20:52:32Z cxh $
Author:
David Hermann, Research In Motion Limited
Accepted Rating:
Red (johnr)
Proposed Rating:
Red (eal)

Nested Class Summary
private  class ModalTransitionController.AddRefinementAction
          An action to add a new refinement.
private static class ModalTransitionController.RemoveRefinementAction
          Action to remove refinements.
 
Nested classes/interfaces inherited from class ptolemy.vergil.fsm.TransitionController
TransitionController.LinkDropper, TransitionController.LinkRenderer, TransitionController.LinkTarget
 
Nested classes/interfaces inherited from class diva.graph.BasicEdgeController
BasicEdgeController.EdgeDropper
 
Field Summary
 
Fields inherited from class ptolemy.vergil.fsm.TransitionController
_configuration, _configureAction, _configureMenuFactory, _lookInsideAction, _lookInsideActionFactory, _menuCreator, _menuFactory
 
Constructor Summary
ModalTransitionController(GraphController controller)
          Create a transition controller associated with the specified graph controller.
 
Method Summary
 
Methods inherited from class ptolemy.vergil.fsm.TransitionController
addHotKeys, setConfiguration
 
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
 

Constructor Detail

ModalTransitionController

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

Parameters:
controller - The associated graph controller.