ptolemy.vergil.fsm
Class CaseGraphFrame.CaseGraphController

java.lang.Object
  diva.graph.AbstractGraphController
      ptolemy.vergil.basic.BasicGraphController
          ptolemy.vergil.basic.WithIconGraphController
              ptolemy.vergil.basic.RunnableGraphController
                  ptolemy.vergil.actor.ActorViewerGraphController
                      ptolemy.vergil.actor.ActorEditorGraphController
                          ptolemy.vergil.fsm.CaseGraphFrame.CaseGraphController

All Implemented Interfaces:

GraphController, ExecutionListener, DebugListener, ValueListener

Enclosing class:

CaseGraphFrame

public class CaseGraphFrame.CaseGraphController
extends ActorEditorGraphController

Specialized graph controller that handles multiple graph models.

Nested Class Summary

Nested classes/interfaces inherited from class ptolemy.vergil.actor.ActorEditorGraphController

ActorEditorGraphController.LinkCreator, ActorEditorGraphController.NewRelationAction, ActorEditorGraphController.RelationCreator

Nested classes/interfaces inherited from class ptolemy.vergil.basic.WithIconGraphController

WithIconGraphController.NewPortAction

Nested classes/interfaces inherited from class ptolemy.vergil.basic.BasicGraphController

BasicGraphController.OpenBaseClassAction, BasicGraphController.SchematicContextMenuFactory, BasicGraphController.UnitSolverDialogAction

Field Summary

Fields inherited from class ptolemy.vergil.actor.ActorEditorGraphController

_newRelationAction

Fields inherited from class ptolemy.vergil.actor.ActorViewerGraphController

_attributeController, _classDefinitionController, _entityController, _entityPortController, _linkController, _relationController

Fields inherited from class ptolemy.vergil.basic.WithIconGraphController

_editIconAction, _portController, _removeIconAction

Fields inherited from class ptolemy.vergil.basic.BasicGraphController

_animated, _animationRenderer, _configureAction, _configureMenuFactory, _menuCreator, _menuFactory, _openBaseClassAction, _unitSolverDialogAction

Constructor Summary

CaseGraphFrame.CaseGraphController()

Method Summary

protected void	_addHotKeys(JGraph jgraph) Add hot keys to the actions in the given JGraph.
GraphModel	getGraphModel() Override the base class to select the graph model associated with the selected pane.

Methods inherited from class ptolemy.vergil.actor.ActorEditorGraphController

_createControllers, _initializeInteraction, addToMenuAndToolbar, initializeInteraction, setConfiguration

Methods inherited from class ptolemy.vergil.actor.ActorViewerGraphController

event, getEdgeController, getEntityController, getNodeController

Methods inherited from class ptolemy.vergil.basic.RunnableGraphController

_getManager, executionError, executionFinished, managerStateChanged

Methods inherited from class ptolemy.vergil.basic.WithIconGraphController

getNewPortLocation

Methods inherited from class ptolemy.vergil.basic.BasicGraphController

clearAnimation, getAnimationDelay, getConfiguration, getConfigureMenuFactory, getFrame, message, setAnimationDelay, setFigure, setFrame, valueChanged

Methods inherited from class diva.graph.AbstractGraphController

addEdge, addEdge, addGraphViewListener, addNode, addNode, addNode, addNode, clear, clearEdge, clearNode, dispatch, drawEdge, drawNode, drawNode, getFigure, getGraphPane, getSelectionModel, removeEdge, removeGraphViewListener, removeNode, rerender, rerenderEdge, rerenderNode, setGraphModel, setGraphPane, setSelectionModel

Methods inherited from class java.lang.Object

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

Constructor Detail

CaseGraphFrame.CaseGraphController

public CaseGraphFrame.CaseGraphController()

Method Detail

getGraphModel

public GraphModel getGraphModel()

Override the base class to select the graph model associated with the selected pane.

Specified by:

getGraphModel in interface GraphController

Overrides:

getGraphModel in class AbstractGraphController

_addHotKeys

protected void _addHotKeys(JGraph jgraph)

Add hot keys to the actions in the given JGraph.

Overrides:

_addHotKeys in class ActorEditorGraphController

Parameters:

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