ptolemy.vergil.modal.fmv

Class 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

Accepted Rating:

Red ()

Proposed Rating:

Red (patrickj)

Nested Class Summary

Nested Classes

Modifier and Type	Class and 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 and Description
FmvAutomatonGraphController(java.io.File directory) Create a new controller with the specified directory of the current model.

Method Summary

Modifier and Type	Method and 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, 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.