edu.rice.cs.drjava.ui
Class ProjectAdvancedPropertiesFrame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      edu.rice.cs.util.swing.SwingFrame
                          edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class ProjectAdvancedPropertiesFrame
extends SwingFrame

A frame for setting Project Advanced Preferences

See Also:

Serialized Form

Nested Class Summary

protected static class

ProjectAdvancedPropertiesFrame.PreferencesRecord

Nested classes/interfaces inherited from class javax.swing.JFrame

JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

Window.AccessibleAWTWindow

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

private JButton	_cancelButton
private MainFrame	_mainFrame
private JPanel	_mainPanel
private SingleDisplayModel	_model
private JButton	_okButton
private SwingFrame	_parentFrame
private VectorOptionComponent<ProjectAdvancedPropertiesFrame.PreferencesRecord>	_preferencesList
private Map<OptionParser<?>,String>	_unmodifiedStoredPreferences
protected Runnable1<WindowEvent>	CANCEL Runnable that calls _cancel.
private static int	FRAME_HEIGHT
private static int	FRAME_WIDTH
static PredictiveInputModel<ProjectAdvancedPropertiesFrame.PreferencesRecord>	STORED_PROPERTIES_PIM

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

ProjectAdvancedPropertiesFrame(MainFrame mf, SwingFrame parentFrame)
Constructs project properties frame for a new project and displays it.

Method Summary

Component	_preferencesComponent()
private void	_setupPanel(JPanel panel)
void	cancel() Resets the frame and hides it.
Map<OptionParser<?>,String>	getPreferencesStoredInProject()
private void	init() Initializes the components in this frame.
void	reset()
void	reset(Map<OptionParser<?>,String> sp)
void	setPreferencesStoredInProject(Map<OptionParser<?>,String> sp)
void	setVisible(boolean vis) Validates before changing visibility.

Methods inherited from class edu.rice.cs.util.swing.SwingFrame

duringInit, initDone

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, 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, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, 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, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, 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

FRAME_WIDTH

private static final int FRAME_WIDTH

See Also:

Constant Field Values

FRAME_HEIGHT

private static final int FRAME_HEIGHT

See Also:

Constant Field Values

_mainFrame

private MainFrame _mainFrame

_parentFrame

private SwingFrame _parentFrame

_model

private SingleDisplayModel _model

_preferencesList

private VectorOptionComponent<ProjectAdvancedPropertiesFrame.PreferencesRecord> _preferencesList

_unmodifiedStoredPreferences

private volatile Map<OptionParser<?>,String> _unmodifiedStoredPreferences

STORED_PROPERTIES_PIM

public static final PredictiveInputModel<ProjectAdvancedPropertiesFrame.PreferencesRecord> STORED_PROPERTIES_PIM

_okButton

private final JButton _okButton

_cancelButton

private final JButton _cancelButton

_mainPanel

private JPanel _mainPanel

CANCEL

protected final Runnable1<WindowEvent> CANCEL

Runnable that calls _cancel.

Constructor Detail

ProjectAdvancedPropertiesFrame

public ProjectAdvancedPropertiesFrame(MainFrame mf,
                                      SwingFrame parentFrame)

Constructs project properties frame for a new project and displays it. Assumes that a project is active.

Method Detail

init

private void init()

Initializes the components in this frame.

cancel

public void cancel()

Resets the frame and hides it.

reset

public void reset()

reset

public void reset(Map<OptionParser<?>,String> sp)

getPreferencesStoredInProject

public Map<OptionParser<?>,String> getPreferencesStoredInProject()

setPreferencesStoredInProject

public void setPreferencesStoredInProject(Map<OptionParser<?>,String> sp)

_setupPanel

private void _setupPanel(JPanel panel)

_preferencesComponent

public Component _preferencesComponent()

setVisible

public void setVisible(boolean vis)

Validates before changing visibility. Only runs in the event thread.

Overrides:

setVisible in class Window

Parameters:

vis - true if frame should be shown, false if it should be hidden.