org.kahina.core.gui.windows

Class KahinaMainWindow

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

org.kahina.core.gui.windows.KahinaWindow

org.kahina.core.gui.windows.KahinaMainWindow

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, KahinaListener

Direct Known Subclasses:

FreeMUCMainWindow, LogicProgrammingMainWindow, MUCMainWindow, MUCMainWindow

public class KahinaMainWindow
extends KahinaWindow
implements KahinaListener

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 javax.swing.JMenuBar	menuBar
protected KahinaProjectMenu	projectMenu
protected KahinaSessionMenu	sessionMenu
static boolean	verbose
protected KahinaViewMenu	viewMenu

Fields inherited from class org.kahina.core.gui.windows.KahinaWindow

cloned, kahina, mainPanel, topScrollPane, windowID, 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
KahinaMainWindow(KahinaWindowManager windowManager, KahinaInstance<?,?,?,?> kahina)
KahinaMainWindow(KahinaWindowManager windowManager, KahinaInstance<?,?,?,?> kahina, int winID)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addMenusBeforeHelpMenu()
protected void	addMenusInFront()
boolean	addSubwindow(KahinaWindow w) Adds a subwindow if there is space for it; generic handle for configuring windows.
void	deregister()
KahinaWindow	getReplacementAfterRelease(KahinaWindow removedWindow)
int	getWindowType() Returns the type of the current window.
void	processEvent(KahinaEvent event)
void	processProjectStatus(KahinaProjectStatus projectStatus)
void	replaceSubwindow(KahinaWindow oldSubwindow, KahinaWindow newSubwindow)
void	setSize(int width, int height)
void	setSubwindow(KahinaWindow w)
protected boolean	showsProjectMenu()
protected boolean	showsViewMenu()

Methods inherited from class org.kahina.core.gui.windows.KahinaWindow

componentHidden, componentMoved, componentResized, componentShown, createDynamicClone, createSnapshotClone, flipSubwindows, getEmbeddingWindow, getID, isClone, isContentWindow, isDummyWindow, isFlippableWindow, isTopLevelWindow, repaintMainPanel, setBorder, setScrollable, setTitle, setVisible, toString, windowActivated, windowClosed, windowClosing, windowDeactivated, windowDeiconified, windowIconified, windowOpened

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

verbose

public static boolean verbose

menuBar

protected javax.swing.JMenuBar menuBar

sessionMenu

protected KahinaSessionMenu sessionMenu

projectMenu

protected KahinaProjectMenu projectMenu

viewMenu

protected KahinaViewMenu viewMenu

Constructor Detail

KahinaMainWindow

public KahinaMainWindow(KahinaWindowManager windowManager,
                KahinaInstance<?,?,?,?> kahina)

KahinaMainWindow

public KahinaMainWindow(KahinaWindowManager windowManager,
                KahinaInstance<?,?,?,?> kahina,
                int winID)

Method Detail

deregister

public void deregister()

Overrides:

deregister in class KahinaWindow

setSize

public void setSize(int width,
           int height)

Overrides:

setSize in class KahinaWindow

addMenusInFront

protected void addMenusInFront()

addMenusBeforeHelpMenu

protected void addMenusBeforeHelpMenu()

addSubwindow

public boolean addSubwindow(KahinaWindow w)

Description copied from class: KahinaWindow

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

Overrides:

addSubwindow in class KahinaWindow

Parameters:

w - the subwindow to be added

Returns:

whether the subwindow was successfully added; false by default

setSubwindow

public void setSubwindow(KahinaWindow w)

getWindowType

public int getWindowType()

Description copied from class: KahinaWindow

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.

Overrides:

getWindowType in class KahinaWindow

Returns:

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

getReplacementAfterRelease

public KahinaWindow getReplacementAfterRelease(KahinaWindow removedWindow)

Overrides:

getReplacementAfterRelease in class KahinaWindow

replaceSubwindow

public void replaceSubwindow(KahinaWindow oldSubwindow,
                    KahinaWindow newSubwindow)

Overrides:

replaceSubwindow in class KahinaWindow

processProjectStatus

public void processProjectStatus(KahinaProjectStatus projectStatus)

processEvent

public void processEvent(KahinaEvent event)

Specified by:

processEvent in interface KahinaListener

showsProjectMenu

protected boolean showsProjectMenu()

showsViewMenu

protected boolean showsViewMenu()