public class TransformationEditor extends GTFrame implements java.awt.event.ActionListener, MenuItemListener, javax.swing.event.TableModelListener, ValueListener
ActorGraphFrame,
Serialized Form| Red (tfeng) |
| Red (tfeng) |
| Modifier and Type | Class and Description |
|---|---|
protected class |
TransformationEditor.MatchingAttributeActionsFactory |
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 |
GTFrame.ConfigureCriteriaAction, GTFrame.ConfigureIngredientsAction, GTFrame.ConfigureOperationsActionExtendedGraphFrame.FullScreenActionBasicGraphFrame.CopyAction, BasicGraphFrame.CutAction, BasicGraphFrame.EditPreferencesAction, BasicGraphFrame.ExportImageAction, BasicGraphFrame.FindAction, BasicGraphFrame.FolderFileFilter, BasicGraphFrame.MousePressedLayerAdapter, BasicGraphFrame.MoveToBackAction, BasicGraphFrame.MoveToFrontAction, BasicGraphFrame.PasteActionTableauFrame.ExtensionFileFilter, TableauFrame.MenuItemListenerjavax.swing.JFrame.AccessibleJFramejava.awt.Window.AccessibleAWTWindow, java.awt.Window.Type| Modifier and Type | Field and Description |
|---|---|
protected javax.swing.JMenu |
_ruleMenu
The case menu.
|
static java.lang.String[] |
OPTIONAL_ACTORS |
_copyAction, _cutAction, _defaultLibrary, _dropTarget, _editMenu, _editPreferencesAction, _exportGIFAction, _exportHTMLAction, _exportPDFAction, _exportPNGAction, _findAction, _graphMenu, _graphPanner, _jgraph, _layoutAction, _layoutConfigDialogAction, _library, _libraryContextMenuCreator, _libraryModel, _libraryScrollPane, _moveToBackAction, _moveToFrontAction, _openGraphFrames, _palettePane, _pasteAction, _rightComponent, _splitPane, _toolbar, _topLibrary, _treeView, _treeViewModel, _treeViewScrollPane, _zoomFitAction, _zoomFlag, _zoomInAction, _zoomOutAction, _zoomResetAction, BACKGROUND_COLOR, VERGIL_USER_LIBRARY_NAME_query_initialSaveAsFileName, _topPack, _viewMenu, aboutFile, helpFile_CANCELED, _debugClosing, _directory, _DISCARDED, _exitResult, _EXPORT_MENU_INDEX, _FAILED, _fileFilter, _fileMenu, _fileMenuItems, _filenameFilter, _helpMenu, _helpMenuItems, _IMPORT_MENU_INDEX, _menubar, _NEW_MENU_INDEX, _SAVED, _statusBaraccessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabledCROSSHAIR_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_CURSORBOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT| Constructor and Description |
|---|
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.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
_addMenus()
Create the menus that are used by this frame.
|
protected RunnableGraphController |
_createActorGraphController() |
protected RunnableGraphController |
_createFSMGraphController() |
protected javax.swing.JComponent |
_createRightComponent(NamedObj entity)
Create the component that goes to the right of the library.
|
protected java.util.HashSet |
_getSelectionSet(boolean includeLinks) |
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.
|
_close, _createGraphPane, _createSizeAttribute, _getGraphPanner, getFrameController, getJGraph, isFullscreen_initExtendedGraphFrame, dispose_addLayoutMenu, _checkForImplied, _createDefaultLibrary, _createFileMenuItems, _deleteMoML, _exportDesignPattern, _finishExportDesignPattern, _getDirectory, _getGraphController, _getGraphModel, _getRightComponent, _getSelectionSet, _initBasicGraphFrame, _initBasicGraphFrameActions, _initBasicGraphFrameInitialization, _initBasicGraphFrameRightComponent, _initBasicGraphFrameRightComponentMouseListeners, _initBasicGraphFrameSetZoomAndPan, _initBasicGraphFrameToolBarZoomButtons, _initLayoutGuiAction, _isDesignPattern, _prepareExportDesignPattern, _saveAsFileDialogComponent, _saveAsJFileChooserComponent, _setDirectory, _setDropIntoEnabled, _writeFile, changeFailed, clearSelection, createHierarchy, cut, disposeSuper, expandAllLibraryRows, exportDesignPattern, getBasicGraphFrame, getBasicGraphFrame, getCenter, getContentSize, getFigureUnder, getFrame, getGraphPanner, getLastDirectory, getSelectionSet, getVisibleCanvasRectangle, getVisibleRectangle, importDesignPattern, lostOwnership, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, mouseWheelMoved, openComposite, openContainer, print, report, saveComponentInLibrary, setCenter, setJGraph, setLastDirectory, updateWindowAttributes, writeHTML, writeImage, writeImage, zoomFit_clear, _help, _print, _saveAs, getEffigy, getModel, setModel_about, _confirmFile, _exit, _getDefaultIconImage, _getName, _read, _save, _saveAs, _saveAsHelper, getAlternateTopPack, getConfiguration, getDirectory, getEffigy, getTableau, isModified, pack, printPDF, setModified, setTableau_getCurrentDirectory, _open, _openURL, _populateHistory, _printCrossPlatform, _printNative, _printPDF, _queryForSave, _saveAsFileDialog, _updateHistory, about, centerOnScreen, close, deferIfNecessary, exit, getCentering, hideMenuBar, isDisposed, isMenuPopulated, report, report, report, setBackground, setCentering, setDirectory, showaddImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, updateaddNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecoratedaddPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, toBack, toFrontadd, 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, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTreeaction, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, 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, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCyclepublic static final java.lang.String[] OPTIONAL_ACTORS
protected javax.swing.JMenu _ruleMenu
public TransformationEditor(CompositeEntity entity, Tableau tableau)
entity - The model to put in this frame.tableau - The tableau responsible for this frame.Tableau.show()public TransformationEditor(CompositeEntity entity, Tableau tableau, LibraryAttribute defaultLibrary)
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.Tableau.show()public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed in interface java.awt.event.ActionListenerpublic void addRow()
public void cancelFullScreen()
ExtendedGraphFramecancelFullScreen in class GTFramepublic void changeExecuted(ChangeRequest change)
BasicGraphFramechangeExecuted in interface ChangeListenerchangeExecuted in class BasicGraphFramechange - The change that has been executed.public void copy()
BasicGraphFramecopy in class BasicGraphFramepublic void delete()
BasicGraphFramedelete in class BasicGraphFramepublic void fullScreen()
ExtendedGraphFramefullScreen in class GTFramepublic void menuItemCreated(JContextMenu menu, NamedObj object, javax.swing.JMenuItem menuItem)
MenuItemListenermenuItemCreated in interface MenuItemListenermenu - The menu context.object - The object for which the menu item is created.menuItem - The created menu item.public void paste()
BasicGraphFramepaste in class BasicGraphFramepublic void redo()
BasicGraphFrameredo in class BasicGraphFrameBasicGraphFrame.undo()public void removeRows(int[] rows)
public void tableChanged(javax.swing.event.TableModelEvent event)
tableChanged in interface javax.swing.event.TableModelListenerpublic void undo()
BasicGraphFrameundo in class BasicGraphFrameBasicGraphFrame.redo()public void valueChanged(Settable settable)
ValueListenervalueChanged in interface ValueListenersettable - The object that has changed value.public void zoom(double factor)
BasicGraphFramezoom in class BasicGraphFramefactor - The magnification factor (relative to 1.0).public void zoomFit()
BasicGraphFramezoomFit in class BasicGraphFramepublic void zoomReset()
BasicGraphFramezoomReset in class BasicGraphFrameprotected void _addMenus()
_addMenus in class ExtendedGraphFrameprotected RunnableGraphController _createActorGraphController()
_createActorGraphController in class GTFrameprotected RunnableGraphController _createFSMGraphController()
_createFSMGraphController in class GTFrameprotected javax.swing.JComponent _createRightComponent(NamedObj entity)
BasicGraphFrame_createRightComponent in class GTFrameentity - The entity to display in the component.protected java.util.HashSet _getSelectionSet(boolean includeLinks)