thales.actor.gui

Class SingleWindowHTMLViewer

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

thales.actor.gui.SingleWindowHTMLViewer

All Implemented Interfaces:

java.awt.event.WindowFocusListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, javax.swing.event.HyperlinkListener, javax.swing.RootPaneContainer, javax.swing.WindowConstants, StatusHandler

public class SingleWindowHTMLViewer
extends HTMLViewer
implements javax.swing.event.ChangeListener

Main application Frame. Contains all the panels, menus and needed widget for the whole Design Environment.

Société : Thales Research and technology

Since:

Ptolemy II 3.1

Version:

$Id$

Author:

Jérôme Blanc, Société : Thales Research and technology, 01 sept. 2003

See Also:

Serialized Form

Pt.AcceptedRating:

Red (cxh)

Pt.ProposedRating:

Yellow (jerome.blanc)

Nested Class Summary

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

TableauFrame.MenuItemListener

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, java.awt.Window.Type

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.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected javax.swing.JTabbedPane	_viewsTabbedPane
protected javax.swing.JPanel	startPanel Main panel

Fields inherited from class ptolemy.actor.gui.HTMLViewer

_scroller, pane

Fields inherited from class ptolemy.actor.gui.TableauFrame

_initialSaveAsFileName, _topPack, _viewMenu, aboutFile, helpFile

Fields inherited from class ptolemy.gui.Top

_CANCELED, _debugClosing, _directory, _DISCARDED, _exitResult, _EXPORT_MENU_INDEX, _FAILED, _fileFilter, _fileMenu, _fileMenuItems, _filenameFilter, _helpMenu, _helpMenuItems, _IMPORT_MENU_INDEX, _menubar, _NEW_MENU_INDEX, _SAVED, _statusBar, MAXIMUM_STATUS_MESSAGE_TIME

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

Constructors

Constructor and Description
SingleWindowHTMLViewer()

Method Summary

Modifier and Type	Method and Description
protected boolean	_close() Closes all the Tableau displayed into the TabbedPane.
protected void	buildStartPanel(javax.swing.JScrollPane _scroller) The first panel, handle the welcome window.
boolean	closeTabbedPane(java.awt.Component aComp) Closes the corresponding Tableau and Frame when close event handled.
void	fillMainFrame(javax.swing.JMenuBar menuBar) Replaces corresponding Menu and Toolbar from the frame.
protected int	findComponentIndex(java.lang.String tableauFullName)
protected Tableau	findComponentTableau(java.lang.String tableauFullName) Finds the corresponding Tableau according to the Component contained by a Tab.
Configuration	getConfiguration() Get the configuration at the top level of the hierarchy.
protected java.lang.String	getSelectedCompName()
void	newTabbedPanel(Tableau tableau) Creates a new Tab to the TabbedPane.
protected void	removeEmptyTabs() The goal here is to find any null tableau and remove them.
void	removeTab(java.lang.String tableauFullName) Removes the corresponding Tab according to the Component name
boolean	reOpenGraph(Tableau tableau) Closes the Tableau, removes its Effigy and re-opens it
void	selectTab(java.lang.String name)
void	setConfiguration(Configuration configuration)
void	stateChanged(javax.swing.event.ChangeEvent e) Changes menus according to the selected Tab.

Methods inherited from class ptolemy.actor.gui.HTMLViewer

_addMainPane, _setScrollerSize, _writeFile, getDocumentation, getPage, hyperlinkUpdate, print, setBase, setPage, setSize, setText

Methods inherited from class ptolemy.actor.gui.TableauFrame

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

Methods inherited from class ptolemy.gui.Top

_clear, _createFileMenuItems, _getCurrentDirectory, _open, _openURL, _populateHistory, _print, _printCrossPlatform, _printNative, _printPDF, _queryForSave, _saveAsFileDialog, _saveAsFileDialogComponent, _saveAsJFileChooserComponent, _updateHistory, about, centerOnScreen, close, deferIfNecessary, exit, getCentering, getContentSize, hideMenuBar, isDisposed, isMenuPopulated, report, report, report, setBackground, setCentering, setDirectory, show, status, windowGainedFocus, windowLostFocus

Methods inherited from class javax.swing.JFrame

addImpl, 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, update

Methods inherited from class java.awt.Frame

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

Methods inherited from class java.awt.Window

addPropertyChangeListener, 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, setType, setVisible, 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, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, 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, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

startPanel

protected javax.swing.JPanel startPanel

Main panel

_viewsTabbedPane

protected javax.swing.JTabbedPane _viewsTabbedPane

Constructor Detail

SingleWindowHTMLViewer

public SingleWindowHTMLViewer()

Method Detail

buildStartPanel

protected void buildStartPanel(javax.swing.JScrollPane _scroller)

The first panel, handle the welcome window. N.B: it has a null name, which is its signature

Parameters:

_scroller -

newTabbedPanel

public void newTabbedPanel(Tableau tableau)

Creates a new Tab to the TabbedPane. Add a "windows closed" listener to automatically remove Tabs;

Parameters:

tableau -

selectTab

public void selectTab(java.lang.String name)

removeEmptyTabs

protected void removeEmptyTabs()

The goal here is to find any null tableau and remove them. i.e: SaveAs left an orphan tableau

fillMainFrame

public void fillMainFrame(javax.swing.JMenuBar menuBar)

Replaces corresponding Menu and Toolbar from the frame. And hides the report bar

Parameters:

menuBar -

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Changes menus according to the selected Tab.

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

findComponentTableau

protected Tableau findComponentTableau(java.lang.String tableauFullName)

Finds the corresponding Tableau according to the Component contained by a Tab.

Parameters:

tableauFullName -

Returns:

the corresponding Tableau.

closeTabbedPane

public boolean closeTabbedPane(java.awt.Component aComp)

Closes the corresponding Tableau and Frame when close event handled.

Parameters:

aComp - The component.

getSelectedCompName

protected java.lang.String getSelectedCompName()

findComponentIndex

protected int findComponentIndex(java.lang.String tableauFullName)

removeTab

public void removeTab(java.lang.String tableauFullName)

Removes the corresponding Tab according to the Component name

Parameters:

tableauFullName -

_close

protected boolean _close()

Closes all the Tableau displayed into the TabbedPane.

Overrides:

_close in class TableauFrame

Returns:

False if the user cancels on a save query.

getConfiguration

public Configuration getConfiguration()

Description copied from class: TableauFrame

Get the configuration at the top level of the hierarchy.

Overrides:

getConfiguration in class TableauFrame

Returns:

the configuration.

setConfiguration

public void setConfiguration(Configuration configuration)

Parameters:

configuration -

reOpenGraph

public boolean reOpenGraph(Tableau tableau)

Closes the Tableau, removes its Effigy and re-opens it

Parameters:

tableau -