FmvAutomatonGraphController

java.lang.Object
- diva.graph.AbstractGraphController
- - ptolemy.vergil.basic.BasicGraphController
  - - ptolemy.vergil.basic.WithIconGraphController
    - - ptolemy.vergil.basic.RunnableGraphController
      - ptolemy.vergil.modal.FSMViewerGraphController
        
        ptolemy.vergil.modal.FSMGraphController
        
        ptolemy.vergil.modal.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

Pt.AcceptedRating:

Red ()

Pt.ProposedRating:

Red (patrickj)

Nested Class Summary

Nested Classes
Modifier and Type Class Description

class FmvAutomatonGraphController.NewFmvStateAction
An action to create a new state.
- Nested classes/interfaces inherited from class ptolemy.vergil.modal.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
- Fields inherited from class ptolemy.vergil.modal.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

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`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.modal.FSMGraphController
_createControllers, _initializeInteraction, initializeInteraction, setConfiguration

Methods inherited from class ptolemy.vergil.modal.FSMViewerGraphController
_addHotKeys, event, getEdgeController, getNodeController

Methods inherited from class ptolemy.vergil.basic.RunnableGraphController
_getManager, _report, _report, executionError, executionFinished, managerStateChanged

Methods inherited from class ptolemy.vergil.basic.WithIconGraphController
getNewPortLocation

Methods inherited from class ptolemy.vergil.basic.BasicGraphController
_areThereActiveErrorHighlights, _getClearAllErrorHighlightsChangeRequest, clearAllErrorHighlights, clearAnimation, getAnimationDelay, getConfiguration, getConfigureMenuFactory, getFrame, highlightError, 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

- 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.