|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdiva.graph.AbstractGraphController
ptolemy.vergil.basic.BasicGraphController
ptolemy.vergil.basic.WithIconGraphController
ptolemy.vergil.basic.RunnableGraphController
ptolemy.vergil.fsm.FSMViewerGraphController
public class FSMViewerGraphController
A graph controller for the Ptolemy II finite-state machine viewer. This controller allows states to be moved and context menus to be accessed, but does not provide interaction for adding or removing states or transitions.
Red (johnr) |
Red (eal) |
Nested Class Summary |
---|
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 | |
---|---|
protected NamedObjController |
_attributeController
The attribute controller. |
protected TransitionController |
_modalTransitionController
The modal transition controller. |
private SelectionDragger |
_selectionDragger
|
protected StateController |
_stateController
The state controller. |
protected TransitionController |
_transitionController
The transition controller. |
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 | |
---|---|
FSMViewerGraphController()
Create a new controller with default port, state, and transition controllers. |
Method Summary | |
---|---|
protected void |
_addHotKeys(JGraph jgraph)
Add hot keys to the actions in the given JGraph. |
protected void |
_createControllers()
Create the controllers for nodes in this graph. |
void |
event(DebugEvent event)
React to an event by highlighting the new state. |
EdgeController |
getEdgeController(java.lang.Object edge)
Return the edge controller appropriate for the given node. |
NodeController |
getNodeController(java.lang.Object object)
Return the node controller appropriate for the given node. |
protected void |
initializeInteraction()
Initialize all interaction on the graph pane. |
void |
setConfiguration(Configuration configuration)
Set the configuration. |
Methods inherited from class ptolemy.vergil.basic.RunnableGraphController |
---|
_getManager, addToMenuAndToolbar, executionError, executionFinished, managerStateChanged |
Methods inherited from class ptolemy.vergil.basic.WithIconGraphController |
---|
getNewPortLocation |
Methods inherited from class ptolemy.vergil.basic.BasicGraphController |
---|
_initializeInteraction, 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, getGraphModel, 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 |
Field Detail |
---|
protected NamedObjController _attributeController
protected StateController _stateController
protected TransitionController _transitionController
protected TransitionController _modalTransitionController
private SelectionDragger _selectionDragger
Constructor Detail |
---|
public FSMViewerGraphController()
Method Detail |
---|
public void event(DebugEvent event)
event
in interface DebugListener
event
in class BasicGraphController
event
- The debug event.public NodeController getNodeController(java.lang.Object object)
getNodeController
in interface GraphController
getNodeController
in class BasicGraphController
object
- The object to get a controller for.
public EdgeController getEdgeController(java.lang.Object edge)
getEdgeController
in interface GraphController
getEdgeController
in class AbstractGraphController
public void setConfiguration(Configuration configuration)
setConfiguration
in class WithIconGraphController
configuration
- The configuration.BasicGraphController.getConfiguration()
protected void _addHotKeys(JGraph jgraph)
_addHotKeys
in class RunnableGraphController
jgraph
- The JGraph to which hot keys are to be added.protected void _createControllers()
_createControllers
in class WithIconGraphController
protected void initializeInteraction()
initializeInteraction
in class WithIconGraphController
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |