org.ascape.runtime.swing
Class UserFrame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      org.ascape.runtime.swing.UserFrame

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class UserFrame
extends javax.swing.JFrame

A desktop (MDI) style environent for model exploration.

See Also:

Serialized Form

Nested Class Summary

class

UserFrame.ThreadCheckingRepaintManager The Class ThreadCheckingRepaintManager.

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

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

UserFrame(java.lang.String title, DesktopEnvironment environment)
Instantiates a new user frame.

UserFrame(java.lang.String title, DesktopEnvironment environment, UserFrame oldFrame)
Instantiates a new user frame.

Method Summary

void	addNotify()
protected void	calculateVisibility() Calculate visibility.
javax.swing.JDesktopPane	getDesk() Gets the desk.
javax.swing.JScrollPane	getDeskScrollPane() Gets the desk scroll pane.
MenuBarView	getMenuView() Gets the menu view.
boolean	isPlaceIconsOnLeftSide() Checks if is place icons on left side.
boolean	isShowToolbar() Checks if is show toolbar.
boolean	isShowToolBar() Checks if is show tool bar.
boolean	isUpdateNonVisibleViews() Checks if is update non visible views.
void	moveComponent(javax.swing.JInternalFrame frame, int x, int y) Move component.
void	setPlaceIconsOnLeftSide(boolean placeIconsOnLeftSide) Sets the place icons on left side.
void	setShowToolbar(boolean showToolbar) Sets the show toolbar.
void	setShowToolBar(boolean showToolBar) Sets the show tool bar.
void	setUpdateNonVisibleViews(boolean updateNonVisibleViews) Set true to have all views update, even if they are not currently visible.

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

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, dispose, 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, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, 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, 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, setBackground, 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

Constructor Detail

UserFrame

public UserFrame(java.lang.String title,
                 DesktopEnvironment environment,
                 UserFrame oldFrame)

Instantiates a new user frame.

Parameters:

title - the title

environment - the environment

oldFrame - the old frame

UserFrame

public UserFrame(java.lang.String title,
                 DesktopEnvironment environment)

Instantiates a new user frame.

Parameters:

title - the title

environment - the environment

Method Detail

isShowToolBar

public boolean isShowToolBar()

Checks if is show tool bar.

Returns:

true, if is show tool bar

setShowToolBar

public void setShowToolBar(boolean showToolBar)

Sets the show tool bar.

Parameters:

showToolBar - the new show tool bar

addNotify

public void addNotify()

Overrides:

addNotify in class java.awt.Frame

moveComponent

public void moveComponent(javax.swing.JInternalFrame frame,
                          int x,
                          int y)

Move component.

Parameters:

frame - the frame

x - the x

y - the y

calculateVisibility

protected void calculateVisibility()

Calculate visibility.

getDesk

public javax.swing.JDesktopPane getDesk()

Gets the desk.

Returns:

the desk

getDeskScrollPane

public javax.swing.JScrollPane getDeskScrollPane()

Gets the desk scroll pane.

Returns:

the desk scroll pane

isShowToolbar

public boolean isShowToolbar()

Checks if is show toolbar.

Returns:

true, if is show toolbar

setShowToolbar

public void setShowToolbar(boolean showToolbar)

Sets the show toolbar.

Parameters:

showToolbar - the new show toolbar

isPlaceIconsOnLeftSide

public boolean isPlaceIconsOnLeftSide()

Checks if is place icons on left side.

Returns:

true, if is place icons on left side

setPlaceIconsOnLeftSide

public void setPlaceIconsOnLeftSide(boolean placeIconsOnLeftSide)

Sets the place icons on left side.

Parameters:

placeIconsOnLeftSide - the new place icons on left side

isUpdateNonVisibleViews

public boolean isUpdateNonVisibleViews()

Checks if is update non visible views.

Returns:

true, if is update non visible views

setUpdateNonVisibleViews

public void setUpdateNonVisibleViews(boolean updateNonVisibleViews)

Set true to have all views update, even if they are not currently visible. Useful for models that compute for a long time each iteration and typically have some views that are off-screen at any given time. Warning: can slow down models that are graphics-bound rather than compute-bound.

Parameters:

updateNonVisibleViews - the update non visible views

getMenuView

public MenuBarView getMenuView()

Gets the menu view.

Returns:

the menu view