ptolemy.vergil.fsm.fmv
Class FmvAutomatonGraphController

java.lang.Object
  diva.graph.AbstractGraphController
      ptolemy.vergil.basic.BasicGraphController
          ptolemy.vergil.basic.WithIconGraphController
              ptolemy.vergil.basic.RunnableGraphController
                  ptolemy.vergil.fsm.FSMViewerGraphController
                      ptolemy.vergil.fsm.FSMGraphController
                          ptolemy.vergil.fsm.fmv.FmvAutomatonGraphController

All Implemented Interfaces:

GraphController, ExecutionListener, DebugListener, ValueListener

public class FmvAutomatonGraphController
extends FSMGraphController

A Graph Controller for Fmv automata models. This controller adds the "Invoke NuSMV" menu item to the Graph menu.

Since:

Ptolemy II 8.0

Version:

$Id: FmvAutomatonGraphController.java,v 1.00 2007/04/12 03:59:41 cxh Exp $

Author:

Chihhong Patrick Cheng Contributor: Edward A. Lee

Accepted Rating:

Red ()

Proposed Rating:

Red (patrickj)

Nested Class Summary

class

FmvAutomatonGraphController.NewFmvStateAction An action to create a new state.

Nested classes/interfaces inherited from class ptolemy.vergil.fsm.FSMGraphController

FSMGraphController.LinkCreator, FSMGraphController.NewStateAction

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

private FmvAutomatonGraphController.NewFmvStateAction	_newFmvStateAction The action for creating states.
private static Location	_prototypeFmvState Prototype state for rendering.

Fields inherited from class ptolemy.vergil.fsm.FSMViewerGraphController

_attributeController, _modalTransitionController, _stateController, _transitionController

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

FmvAutomatonGraphController(java.io.File directory)
Create a new controller with the specified directory of the current model.

Method Summary

void	addToMenuAndToolbar(javax.swing.JMenu menu, javax.swing.JToolBar toolbar) Add commands to the specified menu and toolbar, as appropriate for this controller.

Methods inherited from class ptolemy.vergil.fsm.FSMGraphController

_createControllers, _initializeInteraction, initializeInteraction, setConfiguration

Methods inherited from class ptolemy.vergil.fsm.FSMViewerGraphController

_addHotKeys, event, getEdgeController, 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, 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

_prototypeFmvState

private static Location _prototypeFmvState

Prototype state for rendering.

_newFmvStateAction

private FmvAutomatonGraphController.NewFmvStateAction _newFmvStateAction

The action for creating states.

Constructor Detail

FmvAutomatonGraphController

public FmvAutomatonGraphController(java.io.File directory)

Create a new controller with the specified directory of the current model. The directory is for setting the current directory of the file chooser invoked by the "Compose With" menu item.

Parameters:

directory - An instance of File that specifies the directory of the current model.

Method Detail

addToMenuAndToolbar

public void addToMenuAndToolbar(javax.swing.JMenu menu,
                                javax.swing.JToolBar toolbar)

Add commands to the specified menu and toolbar, as appropriate for this controller. In this class, commands are added to create ports and relations.

Overrides:

addToMenuAndToolbar in class FSMGraphController

Parameters:

menu - The menu to add to, or null if none.

toolbar - The toolbar to add to, or null if none.