org.kahina.core.gui.windows

Class KahinaWindow

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

org.kahina.core.gui.windows.KahinaWindow

All Implemented Interfaces:

java.awt.event.ComponentListener, java.awt.event.WindowListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

Direct Known Subclasses:

KahinaControlButtonWindow, KahinaDefaultWindow, KahinaHorizontallySplitWindow, KahinaListWindow, KahinaMainWindow, KahinaTabbedWindow, KahinaVerticallySplitWindow

public class KahinaWindow
extends javax.swing.JFrame
implements java.awt.event.WindowListener, java.awt.event.ComponentListener

See Also:

Serialized Form

Nested Class Summary

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 boolean	cloned
protected KahinaInstance<?,?,?,?>	kahina
protected KahinaTransferablePanel	mainPanel
protected javax.swing.JScrollPane	topScrollPane
protected int	windowID
KahinaWindowManager	wm

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 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
KahinaWindow(KahinaWindowManager wm, KahinaInstance<?,?,?,?> kahina) Constructs a KahinaWindow with a new unique window ID.
KahinaWindow(KahinaWindowManager wm, KahinaInstance<?,?,?,?> kahina, int id) Constructs a KahinaWindow with a specified window ID.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addSubwindow(KahinaWindow subwindow) Adds a subwindow if there is space for it; generic handle for configuring windows.
void	componentHidden(java.awt.event.ComponentEvent arg0)
void	componentMoved(java.awt.event.ComponentEvent arg0)
void	componentResized(java.awt.event.ComponentEvent arg0)
void	componentShown(java.awt.event.ComponentEvent arg0)
KahinaWindow	createDynamicClone() Creates an exact copy of this window, with identical update behavior.
KahinaWindow	createSnapshotClone() Creates an exact copy of this window, but with immutable content.
void	deregister()
void	flipSubwindows()
KahinaWindow	getEmbeddingWindow() Retrieves the direct ancestor of this window in the embedding tree.
int	getID()
KahinaWindow	getReplacementAfterRelease(KahinaWindow subwindow)
int	getWindowType() Returns the type of the current window.
boolean	isClone()
boolean	isContentWindow()
boolean	isDummyWindow()
boolean	isFlippableWindow()
boolean	isTopLevelWindow()
void	repaintMainPanel()
void	replaceSubwindow(KahinaWindow oldSubwindow, KahinaWindow newSubwindow)
void	setBorder(boolean border)
void	setScrollable(boolean scrollable)
void	setSize(int width, int height)
void	setTitle(java.lang.String title)
void	setVisible(boolean visible)
java.lang.String	toString()
void	windowActivated(java.awt.event.WindowEvent e)
void	windowClosed(java.awt.event.WindowEvent e)
void	windowClosing(java.awt.event.WindowEvent e)
void	windowDeactivated(java.awt.event.WindowEvent e)
void	windowDeiconified(java.awt.event.WindowEvent e)
void	windowIconified(java.awt.event.WindowEvent e)
void	windowOpened(java.awt.event.WindowEvent e)

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, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, 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, pack, 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, show, 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, 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

wm

public KahinaWindowManager wm

mainPanel

protected KahinaTransferablePanel mainPanel

topScrollPane

protected javax.swing.JScrollPane topScrollPane

windowID

protected final int windowID

cloned

protected boolean cloned

kahina

protected final KahinaInstance<?,?,?,?> kahina

Constructor Detail

KahinaWindow

public KahinaWindow(KahinaWindowManager wm,
            KahinaInstance<?,?,?,?> kahina)

Constructs a KahinaWindow with a new unique window ID.

Parameters:

wm - the window manager that is to manage this window

KahinaWindow

public KahinaWindow(KahinaWindowManager wm,
            KahinaInstance<?,?,?,?> kahina,
            int id)

Constructs a KahinaWindow with a specified window ID. Caution is advised with this constructor, as duplicate ID assignment can break the window system.

Parameters:

wm - the window manager that is to manage this window

id - the unique window ID that this window will be referred by (never use -1 or an ID that is already used!)

Method Detail

deregister

public void deregister()

getID

public int getID()

isClone

public boolean isClone()

setBorder

public void setBorder(boolean border)

setScrollable

public void setScrollable(boolean scrollable)

getWindowType

public int getWindowType()

Returns the type of the current window. Used in storing arrangements. Returns KahinaWindowType.DEFAULT_WINDOW by default, indicating no embedded windows. This is overridden by specializations that embed other windows.

Returns:

one of the constants defined in KahinaWindowType, representing the type of this window

setTitle

public void setTitle(java.lang.String title)

Overrides:

setTitle in class java.awt.Frame

isTopLevelWindow

public boolean isTopLevelWindow()

isContentWindow

public boolean isContentWindow()

isFlippableWindow

public boolean isFlippableWindow()

isDummyWindow

public boolean isDummyWindow()

flipSubwindows

public void flipSubwindows()

setSize

public void setSize(int width,
           int height)

Overrides:

setSize in class java.awt.Window

repaintMainPanel

public void repaintMainPanel()

createDynamicClone

public KahinaWindow createDynamicClone()

Creates an exact copy of this window, with identical update behavior. Implementations must override this to provide the desired functionality.

Returns:

an exact copy of the current window, with identical behavior

createSnapshotClone

public KahinaWindow createSnapshotClone()

Creates an exact copy of this window, but with immutable content. Implementations must override this to provide the desired functionality.

Returns:

an copy of the current window at the current step, with immutable content

getEmbeddingWindow

public KahinaWindow getEmbeddingWindow()

Retrieves the direct ancestor of this window in the embedding tree.

Returns:

the embedding KahinaWindow; null if it this is a top-level window

addSubwindow

public boolean addSubwindow(KahinaWindow subwindow)

Adds a subwindow if there is space for it; generic handle for configuring windows.

Parameters:

subwindow - the subwindow to be added

Returns:

whether the subwindow was successfully added; false by default

getReplacementAfterRelease

public KahinaWindow getReplacementAfterRelease(KahinaWindow subwindow)

replaceSubwindow

public void replaceSubwindow(KahinaWindow oldSubwindow,
                    KahinaWindow newSubwindow)

windowActivated

public void windowActivated(java.awt.event.WindowEvent e)

Specified by:

windowActivated in interface java.awt.event.WindowListener

windowClosed

public void windowClosed(java.awt.event.WindowEvent e)

Specified by:

windowClosed in interface java.awt.event.WindowListener

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)

Specified by:

windowClosing in interface java.awt.event.WindowListener

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent e)

Specified by:

windowDeactivated in interface java.awt.event.WindowListener

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent e)

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

windowIconified

public void windowIconified(java.awt.event.WindowEvent e)

Specified by:

windowIconified in interface java.awt.event.WindowListener

windowOpened

public void windowOpened(java.awt.event.WindowEvent e)

Specified by:

windowOpened in interface java.awt.event.WindowListener

componentHidden

public void componentHidden(java.awt.event.ComponentEvent arg0)

Specified by:

componentHidden in interface java.awt.event.ComponentListener

componentMoved

public void componentMoved(java.awt.event.ComponentEvent arg0)

Specified by:

componentMoved in interface java.awt.event.ComponentListener

componentResized

public void componentResized(java.awt.event.ComponentEvent arg0)

Specified by:

componentResized in interface java.awt.event.ComponentListener

componentShown

public void componentShown(java.awt.event.ComponentEvent arg0)

Specified by:

componentShown in interface java.awt.event.ComponentListener

toString

public java.lang.String toString()

Overrides:

toString in class java.awt.Component

setVisible

public void setVisible(boolean visible)

Overrides:

setVisible in class java.awt.Window