ptolemy.vergil.gt
Class TransformationEditor

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      ptolemy.gui.Top
                          ptolemy.actor.gui.TableauFrame
                              ptolemy.actor.gui.PtolemyFrame
                                  ptolemy.vergil.basic.BasicGraphFrame
                                      ptolemy.vergil.basic.ExtendedGraphFrame
                                          ptolemy.vergil.gt.GTFrame
                                              ptolemy.vergil.gt.TransformationEditor

All Implemented Interfaces:

java.awt.datatransfer.ClipboardOwner, java.awt.event.ActionListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.TableModelListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants, ChangeListener, ValueListener, MenuItemListener

public class TransformationEditor
extends GTFrame
implements java.awt.event.ActionListener, MenuItemListener, javax.swing.event.TableModelListener, ValueListener

A graph editor frame for ptolemy graph transformation models.

Since:

Ptolemy II 6.1

Version:

$Id: TransformationEditor.java 59156 2010-09-21 14:33:12Z cxh $

Author:

Thomas Huining Feng

See Also:

ActorGraphFrame, Serialized Form

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Nested Class Summary

private class	TransformationEditor.BatchMatchAction
private static class	TransformationEditor.CellEditor
private class	TransformationEditor.CreationAttributeAction
private static class	TransformationEditor.GTEntityConfigureAction
private class	TransformationEditor.IgnoringAttributeAction
private class	TransformationEditor.LayoutAction Action to automatically layout the graph.
private class	TransformationEditor.MatchAction
private class	TransformationEditor.MatchingAttributeAction
protected class	TransformationEditor.MatchingAttributeActionsFactory
private class	TransformationEditor.NegationAttributeAction
private class	TransformationEditor.OptionAttributeAction
private class	TransformationEditor.PasteMoMLChangeRequest
private class	TransformationEditor.PreservationAttributeAction
private class	TransformationEditor.SingleMatchAction
protected class	TransformationEditor.TransformationActorController
protected class	TransformationEditor.TransformationActorGraphController
protected class	TransformationEditor.TransformationExternalPortController
protected class	TransformationEditor.TransformationFSMGraphController
protected class	TransformationEditor.TransformationLinkController
protected class	TransformationEditor.TransformationPortController
protected class	TransformationEditor.TransformationRelationController
protected class	TransformationEditor.TransformationStateController
protected class	TransformationEditor.TransformationTransitionController
private class	TransformationEditor.ViewController

Nested classes/interfaces inherited from class ptolemy.vergil.gt.GTFrame

GTFrame.ConfigureCriteriaAction, GTFrame.ConfigureIngredientsAction, GTFrame.ConfigureOperationsAction

Nested classes/interfaces inherited from class ptolemy.vergil.basic.ExtendedGraphFrame

ExtendedGraphFrame.FullScreenAction

Nested classes/interfaces inherited from class ptolemy.vergil.basic.BasicGraphFrame

BasicGraphFrame.CopyAction, BasicGraphFrame.CutAction, BasicGraphFrame.EditPreferencesAction, BasicGraphFrame.MoveToBackAction, BasicGraphFrame.MoveToFrontAction, BasicGraphFrame.PasteAction

Nested classes/interfaces inherited from class ptolemy.actor.gui.TableauFrame

TableauFrame.ExtensionFileFilter

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

private TransformationEditor.CellEditor	_cellEditor
private static java.lang.String	_COPY_FROM_PATTERN_HEADER
private static java.lang.String	_COPY_FROM_REPLACEMENT_HEADER
private static java.awt.Color	_CREATION_COLOR
private static javax.swing.border.Border	_EMPTY_BORDER
private java.awt.Component	_fullScreenComponent
private static float	_HIGHLIGHT_PADDING
private static float	_HIGHLIGHT_THICKNESS
private static java.awt.Color	_IGNORING_COLOR
private static java.awt.Color	_NEGATION_COLOR
private static java.awt.Color	_OPTION_COLOR
private static float	_OPTION_HIGHLIGHT_THICKNESS
private static java.awt.Color	_PRESERVATION_COLOR
private java.awt.Component	_previousDefaultContext
protected javax.swing.JMenu	_ruleMenu The case menu.
private javax.swing.JDialog	_screen
private int	_selectedIndexBeforeFullScreen
private static java.awt.Color	_SELECTION_COLOR
private javax.swing.JTable	_table
private javax.swing.table.DefaultTableModel	_tableModel
static java.lang.String[]	OPTIONAL_ACTORS

Fields inherited from class ptolemy.vergil.basic.BasicGraphFrame

_copyAction, _cutAction, _defaultLibrary, _dropTarget, _editMenu, _editPreferencesAction, _exportPDFAction, _graphPanner, _jgraph, _library, _libraryContextMenuCreator, _libraryModel, _libraryScrollPane, _moveToBackAction, _moveToFrontAction, _openGraphFrames, _palettePane, _pasteAction, _rightComponent, _splitPane, _toolbar, _topLibrary, _zoomFitAction, _zoomInAction, _zoomOutAction, _zoomResetAction, BACKGROUND_COLOR, VERGIL_USER_LIBRARY_NAME

Fields inherited from class ptolemy.actor.gui.PtolemyFrame

_query

Fields inherited from class ptolemy.actor.gui.TableauFrame

_initialSaveAsFileName, _viewMenu, aboutFile, helpFile

Fields inherited from class ptolemy.gui.Top

_CANCELED, _directory, _DISCARDED, _FAILED, _fileFilter, _fileMenu, _fileMenuItems, _helpMenu, _helpMenuItems, _menubar, _SAVED, _statusBar

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.print.Printable

NO_SUCH_PAGE, PAGE_EXISTS

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

TransformationEditor(CompositeEntity entity, Tableau tableau)
Construct a frame associated with the specified case actor.

TransformationEditor(CompositeEntity entity, Tableau tableau, LibraryAttribute defaultLibrary)
Construct a frame associated with the specified case actor.

Method Summary

protected void	_addMenus() Create the menus that are used by this frame.
protected RunnableGraphController	_createActorGraphController()
private javax.swing.JPanel	_createCellPanel(java.lang.String value)
protected RunnableGraphController	_createFSMGraphController()
protected javax.swing.JComponent	_createRightComponent(NamedObj entity) Create the component that goes to the right of the library.
private void	_createTable(TransformationRule transformer)
private static java.lang.String	_getCellEditorValue(javax.swing.JPanel editorPanel)
private java.awt.Color	_getHighlightColor(NamedObj object)
private static java.lang.String	_getNameWithinContainer(NamedObj object, CompositeEntity container)
protected java.util.HashSet	_getSelectionSet(boolean includeLinks)
private TransformationEditor	_getToplevelFrame()
private static LibraryAttribute	_importActorLibrary(Tableau tableau, LibraryAttribute gtLibrary)
private void	_refreshTable()
private int	_refreshTable(TransformationEditor topLevelFrame, TransformationRule transformer, int index, CompositeEntity container)
private void	_removeUnusedToolbarButtons()
private void	_renderLink(Connector connector, java.lang.Object semanticObject)
private void	_renderNamedObj(CompositeFigure figure, java.lang.Object semanticObject)
private void	_renderState(CompositeFigure figure, java.lang.Object semanticObject)
private void	_setCellEditorValue(javax.swing.JPanel editorPanel, java.lang.String value)
private void	_setCellString(int row, int column, java.lang.String cellString)
private void	_setOrClearPatternObjectAttributes(NamedObj object, boolean isSet, java.util.Collection<?> filter)
private void	_setOrUnsetKeyListenersForAllComponents(java.awt.Container container, boolean isSet)
private void	_setPatternObject(NamedObj replacementObject, java.lang.String patternObjectName, boolean mergeWithPrevious)
private void	_showTableError(java.lang.String message, int row, int column, java.lang.String previousString)
void	actionPerformed(java.awt.event.ActionEvent e)
void	addRow()
void	cancelFullScreen() Cancel full screen mode.
void	changeExecuted(ChangeRequest change) React to the fact that a change has been successfully executed by marking the data associated with this window modified.
void	copy() Get the currently selected objects from this document, if any, and place them on the clipboard in MoML format.
void	delete() Delete the currently selected objects from this document.
void	fullScreen() Go to full screen.
void	menuItemCreated(JContextMenu menu, NamedObj object, javax.swing.JMenuItem menuItem) The method to be invoked when a menu item is created, so that this listener can modify the menu item if it needs to.
void	paste() Assuming the contents of the clipboard is MoML code, paste it into the current model by issuing a change request.
void	redo() Redo the last undone change on the model.
void	removeRows(int[] rows)
void	tableChanged(javax.swing.event.TableModelEvent event)
void	undo() Undo the last undoable change on the model.
void	valueChanged(Settable settable) React to the fact that the specified Settable has changed.
void	zoom(double factor) Zoom in or out to magnify by the specified factor, from the current magnification.
void	zoomFit() Zoom to fit the current figures.
void	zoomReset() Set zoom to the nominal.

Methods inherited from class ptolemy.vergil.gt.GTFrame

_close, _createGraphPane, _createSizeAttribute, _getGraphPanner, getFrameController, getJGraph, isFullscreen

Methods inherited from class ptolemy.vergil.basic.ExtendedGraphFrame

_initExtendedGraphFrame

Methods inherited from class ptolemy.vergil.basic.BasicGraphFrame

_checkForImplied, _createDefaultLibrary, _createFileMenuItems, _deleteMoML, _exportDesignPattern, _finishExportDesignPattern, _getDirectory, _getGraphController, _getGraphModel, _getRightComponent, _getSelectionSet, _initBasicGraphFrame, _isDesignPattern, _prepareExportDesignPattern, _saveAsFileDialog, _setDirectory, _setDropIntoEnabled, _writeFile, changeFailed, clearSelection, createHierarchy, cut, dispose, disposeSuper, expandAllLibraryRows, exportDesignPattern, getCenter, getGraphPanner, getSelectionSet, getVisibleCanvasRectangle, getVisibleRectangle, importDesignPattern, layoutGraph, layoutGraphWithPtolemyLayout, lostOwnership, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, mouseWheelMoved, openContainer, print, saveComponentInFile, saveComponentInLibrary, setCenter, setJGraph

Methods inherited from class ptolemy.actor.gui.PtolemyFrame

_clear, _help, _print, _saveAs, getEffigy, getModel, setModel

Methods inherited from class ptolemy.actor.gui.TableauFrame

_about, _confirmFile, _exit, _getDefaultIconImage, _getName, _read, _save, _saveAs, _saveAsHelper, getAlternateTopPack, getConfiguration, getDirectory, getEffigy, getTableau, isModified, pack, printPDF, setModified, setTableau

Methods inherited from class ptolemy.gui.Top

_getCurrentDirectory, _open, _openURL, _printCrossPlatform, _printNative, _printPDF, _queryForSave, centerOnScreen, close, deferIfNecessary, getCentering, hideMenuBar, isMenuPopulated, report, report, report, setBackground, setCentering, setDirectory, show

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

OPTIONAL_ACTORS

public static final java.lang.String[] OPTIONAL_ACTORS

_ruleMenu

protected javax.swing.JMenu _ruleMenu

The case menu.

_COPY_FROM_PATTERN_HEADER

private static final java.lang.String _COPY_FROM_PATTERN_HEADER

See Also:

Constant Field Values

_COPY_FROM_REPLACEMENT_HEADER

private static final java.lang.String _COPY_FROM_REPLACEMENT_HEADER

See Also:

Constant Field Values

_CREATION_COLOR

private static final java.awt.Color _CREATION_COLOR

_EMPTY_BORDER

private static final javax.swing.border.Border _EMPTY_BORDER

_HIGHLIGHT_PADDING

private static final float _HIGHLIGHT_PADDING

See Also:

Constant Field Values

_HIGHLIGHT_THICKNESS

private static final float _HIGHLIGHT_THICKNESS

See Also:

Constant Field Values

_IGNORING_COLOR

private static final java.awt.Color _IGNORING_COLOR

_NEGATION_COLOR

private static final java.awt.Color _NEGATION_COLOR

_OPTION_COLOR

private static final java.awt.Color _OPTION_COLOR

_OPTION_HIGHLIGHT_THICKNESS

private static final float _OPTION_HIGHLIGHT_THICKNESS

See Also:

Constant Field Values

_PRESERVATION_COLOR

private static final java.awt.Color _PRESERVATION_COLOR

_SELECTION_COLOR

private static final java.awt.Color _SELECTION_COLOR

_cellEditor

private TransformationEditor.CellEditor _cellEditor

_fullScreenComponent

private java.awt.Component _fullScreenComponent

_previousDefaultContext

private java.awt.Component _previousDefaultContext

_screen

private javax.swing.JDialog _screen

_selectedIndexBeforeFullScreen

private int _selectedIndexBeforeFullScreen

_table

private javax.swing.JTable _table

_tableModel

private javax.swing.table.DefaultTableModel _tableModel

Constructor Detail

TransformationEditor

public TransformationEditor(CompositeEntity entity,
                            Tableau tableau)

Construct a frame associated with the specified case actor. After constructing this, it is necessary to call setVisible(true) to make the frame appear. This is typically done by calling show() on the controlling tableau. This constructor results in a graph frame that obtains its library either from the model (if it has one) or the default library defined in the configuration.

Parameters:

entity - The model to put in this frame.

tableau - The tableau responsible for this frame.

See Also:

Tableau.show()

TransformationEditor

public TransformationEditor(CompositeEntity entity,
                            Tableau tableau,
                            LibraryAttribute defaultLibrary)

Construct a frame associated with the specified case actor. After constructing this, it is necessary to call setVisible(true) to make the frame appear. This is typically done by calling show() on the controlling tableau. This constructor results in a graph frame that obtains its library either from the model (if it has one), or the defaultLibrary argument (if it is non-null), or the default library defined in the configuration.

Parameters:

entity - The model to put in this frame.

tableau - The tableau responsible for this frame.

defaultLibrary - An attribute specifying the default library to use if the model does not have a library.

See Also:

Tableau.show()

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

addRow

public void addRow()

cancelFullScreen

public void cancelFullScreen()

Description copied from class: ExtendedGraphFrame

Cancel full screen mode. Note that this should be called in the swing event thread.

Overrides:

cancelFullScreen in class GTFrame

changeExecuted

public void changeExecuted(ChangeRequest change)

Description copied from class: BasicGraphFrame

React to the fact that a change has been successfully executed by marking the data associated with this window modified. This will trigger a dialog when the window is closed, prompting the user to save the data.

Specified by:

changeExecuted in interface ChangeListener

Overrides:

changeExecuted in class BasicGraphFrame

Parameters:

change - The change that has been executed.

copy

public void copy()

Description copied from class: BasicGraphFrame

Get the currently selected objects from this document, if any, and place them on the clipboard in MoML format.

Overrides:

copy in class BasicGraphFrame

delete

public void delete()

Description copied from class: BasicGraphFrame

Delete the currently selected objects from this document.

Overrides:

delete in class BasicGraphFrame

fullScreen

public void fullScreen()

Description copied from class: ExtendedGraphFrame

Go to full screen.

Overrides:

fullScreen in class GTFrame

menuItemCreated

public void menuItemCreated(JContextMenu menu,
                            NamedObj object,
                            javax.swing.JMenuItem menuItem)

Description copied from interface: MenuItemListener

The method to be invoked when a menu item is created, so that this listener can modify the menu item if it needs to.

Specified by:

menuItemCreated in interface MenuItemListener

Parameters:

menu - The menu context.

object - The object for which the menu item is created.

menuItem - The created menu item.

paste

public void paste()

Description copied from class: BasicGraphFrame

Assuming the contents of the clipboard is MoML code, paste it into the current model by issuing a change request.

Overrides:

paste in class BasicGraphFrame

redo

public void redo()

Description copied from class: BasicGraphFrame

Redo the last undone change on the model.

Overrides:

redo in class BasicGraphFrame

See Also:

BasicGraphFrame.undo()

removeRows

public void removeRows(int[] rows)

tableChanged

public void tableChanged(javax.swing.event.TableModelEvent event)

Specified by:

tableChanged in interface javax.swing.event.TableModelListener

undo

public void undo()

Description copied from class: BasicGraphFrame

Undo the last undoable change on the model.

Overrides:

undo in class BasicGraphFrame

See Also:

BasicGraphFrame.redo()

valueChanged

public void valueChanged(Settable settable)

Description copied from interface: ValueListener

React to the fact that the specified Settable has changed.

Specified by:

valueChanged in interface ValueListener

Parameters:

settable - The object that has changed value.

zoom

public void zoom(double factor)

Description copied from class: BasicGraphFrame

Zoom in or out to magnify by the specified factor, from the current magnification.

Overrides:

zoom in class BasicGraphFrame

Parameters:

factor - The magnification factor (relative to 1.0).

zoomFit

public void zoomFit()

Description copied from class: BasicGraphFrame

Zoom to fit the current figures.

Overrides:

zoomFit in class BasicGraphFrame

zoomReset

public void zoomReset()

Description copied from class: BasicGraphFrame

Set zoom to the nominal.

Overrides:

zoomReset in class BasicGraphFrame

_addMenus

protected void _addMenus()

Create the menus that are used by this frame. It is essential that _createGraphPane() be called before this.

Overrides:

_addMenus in class ExtendedGraphFrame

_createActorGraphController

protected RunnableGraphController _createActorGraphController()

Overrides:

_createActorGraphController in class GTFrame

_createFSMGraphController

protected RunnableGraphController _createFSMGraphController()

Overrides:

_createFSMGraphController in class GTFrame

_createRightComponent

protected javax.swing.JComponent _createRightComponent(NamedObj entity)

Description copied from class: BasicGraphFrame

Create the component that goes to the right of the library.

Overrides:

_createRightComponent in class GTFrame

Parameters:

entity - The entity to display in the component.

Returns:

The component that goes to the right of the library.

_getSelectionSet

protected java.util.HashSet _getSelectionSet(boolean includeLinks)

_createCellPanel

private javax.swing.JPanel _createCellPanel(java.lang.String value)

_createTable

private void _createTable(TransformationRule transformer)

_getCellEditorValue

private static java.lang.String _getCellEditorValue(javax.swing.JPanel editorPanel)

_getHighlightColor

private java.awt.Color _getHighlightColor(NamedObj object)

_getNameWithinContainer

private static java.lang.String _getNameWithinContainer(NamedObj object,
                                                        CompositeEntity container)

_getToplevelFrame

private TransformationEditor _getToplevelFrame()

_importActorLibrary

private static LibraryAttribute _importActorLibrary(Tableau tableau,
                                                    LibraryAttribute gtLibrary)

_refreshTable

private void _refreshTable()

_refreshTable

private int _refreshTable(TransformationEditor topLevelFrame,
                          TransformationRule transformer,
                          int index,
                          CompositeEntity container)

_removeUnusedToolbarButtons

private void _removeUnusedToolbarButtons()

_renderLink

private void _renderLink(Connector connector,
                         java.lang.Object semanticObject)

_renderNamedObj

private void _renderNamedObj(CompositeFigure figure,
                             java.lang.Object semanticObject)

_renderState

private void _renderState(CompositeFigure figure,
                          java.lang.Object semanticObject)

_setCellEditorValue

private void _setCellEditorValue(javax.swing.JPanel editorPanel,
                                 java.lang.String value)

_setCellString

private void _setCellString(int row,
                            int column,
                            java.lang.String cellString)

_setOrClearPatternObjectAttributes

private void _setOrClearPatternObjectAttributes(NamedObj object,
                                                boolean isSet,
                                                java.util.Collection<?> filter)

_setOrUnsetKeyListenersForAllComponents

private void _setOrUnsetKeyListenersForAllComponents(java.awt.Container container,
                                                     boolean isSet)

_setPatternObject

private void _setPatternObject(NamedObj replacementObject,
                               java.lang.String patternObjectName,
                               boolean mergeWithPrevious)

_showTableError

private void _showTableError(java.lang.String message,
                             int row,
                             int column,
                             java.lang.String previousString)