|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| 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.modal.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 DebugListenerevent in class BasicGraphControllerevent - The debug event.public NodeController getNodeController(java.lang.Object object)
getNodeController in interface GraphControllergetNodeController in class BasicGraphControllerobject - The object to get a controller for.
public EdgeController getEdgeController(java.lang.Object edge)
getEdgeController in interface GraphControllergetEdgeController in class AbstractGraphControllerpublic void setConfiguration(Configuration configuration)
setConfiguration in class WithIconGraphControllerconfiguration - The configuration.BasicGraphController.getConfiguration()protected void _addHotKeys(JGraph jgraph)
_addHotKeys in class RunnableGraphControllerjgraph - The JGraph to which hot keys are to be added.protected void _createControllers()
_createControllers in class WithIconGraphControllerprotected void initializeInteraction()
initializeInteraction in class WithIconGraphController
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||