com.sun.electric.tool.user.dialogs.options
Class PreferencePanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Dialog
                  extended by javax.swing.JDialog
                      extended by com.sun.electric.tool.user.dialogs.EDialog
                          extended by com.sun.electric.tool.user.dialogs.options.PreferencePanel
All Implemented Interfaces:
java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants
Direct Known Subclasses:
AddedTechnologiesTab, AntennaRulesTab, CDLTab, CellModelTab, CIFTab, CompactionTab, ComponentMenuTab, CopyrightTab, CoverageTab, CVSTab, DaisTab, DEFTab, DesignRulesTab, DisplayControlTab, DRCTab, DXFTab, EDIFTab, EditKeyBindings, FastHenryTab, FrameTab, GateLayGenTab, GDSTab, GeneralTab, GridAndAlignmentTab, IconTab, LayersTab, LibraryTab, LogicalEffortTab, NCCTab, NetworkTab, NewArcsTab, NewNodesTab, ParasiticTab, PortsAndExportsTab, PrintingTab, ProjectManagementTab, RoutingTab, ScaleTab, SelectionTab, SiliconCompilerTab, SimulatorsTab, SkillTab, SmartTextTab, SpiceTab, SUETab, SunRouterTab, TechnologyTab, TextTab, ThreeDTab, ToolbarTab, UnitsTab, VerilogTab, WellCheckTab

public class PreferencePanel
extends EDialog

This class defines a superstructure for a panel in the Preferences dialog.

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class com.sun.electric.tool.user.dialogs.EDialog
EDialog.MoveComponentListener
 
Nested classes/interfaces inherited from class javax.swing.JDialog
javax.swing.JDialog.AccessibleJDialog
 
Nested classes/interfaces inherited from class java.awt.Dialog
java.awt.Dialog.AccessibleAWTDialog, java.awt.Dialog.ModalExclusionType, java.awt.Dialog.ModalityType
 
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.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
protected  Library curLib
           
protected  Technology curTech
           
 
Fields inherited from class javax.swing.JDialog
accessibleContext, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Dialog
DEFAULT_MODALITY_TYPE
 
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, EXIT_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
PreferencePanel(java.awt.Frame parent, boolean modal)
           
PreferencePanel(PreferencesFrame parent, boolean modal)
           
 
Method Summary
 boolean getBoolean(Setting setting)
          Method to get the boolean value on the Setting object.
protected  double getDouble(Setting setting)
          Method to get the double value on the Setting object.
protected  EditingPreferences getEditingPreferences()
           
protected  java.lang.String getFormattedDouble(Setting setting)
          Method to get string representation of the double value on the Setting object.
 int getInt(Setting setting)
          Method to get the integer value on the Setting object.
protected  long getLong(Setting setting)
          Method to get the long value on the Setting object.
 java.lang.String getName()
          return the name of this preferences tab.
 javax.swing.JPanel getProjectPreferencesPanel()
          return the JPanel to use for the project preferences.
 java.lang.String getString(Setting setting)
          Method to get the string value on the Setting object.
 Technology getTech()
          Method to return the current technology for use in all preferences tabs.
protected  TechPool getTechPool()
           
 javax.swing.JPanel getUserPreferencesPanel()
          return the JPanel to use for the user preferences.
 void init()
          Method called at the start of the dialog.
 boolean isInited()
          Method to tell whether this preferences tab has been initialized.
protected  void putPrefs(PrefPackage pp)
          Method to Save options from specified PrefPackage into Electric Preferences subtree.
 void reset()
          Method called when the factory reset is requested.
 boolean resetThis()
          Method called when the factory reset is requested for just one panel.
 void setBoolean(Setting setting, boolean v)
          Method to set a new boolean value on Setting object.
protected  void setDouble(Setting setting, double v)
          Method to set a new double value on Setting object.
protected  void setEditingPreferences(EditingPreferences ep)
           
 void setInited()
          Method to mark that this preferences tab has been initialized.
 void setInt(Setting setting, int v)
          Method to set a new integer value on Setting object.
protected  void setLong(Setting setting, long v)
          Method to set a new long value on Setting object.
 void setString(Setting setting, java.lang.String str)
          Method to set a new string value on Setting object.
 void term()
          Method called when the "OK" panel is hit.
 
Methods inherited from class com.sun.electric.tool.user.dialogs.EDialog
centerSelection, closeDialog, ensureComboBoxFont, ensureMinimumSize, escapePressed, finishInitialization, focusClearOnTextField, focusOnTextField, getDialogLocation, getDialogSize, makeTextFieldSelectAllOnTab, recursivelyHighlight
 
Methods inherited from class javax.swing.JDialog
addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
 
Methods inherited from class java.awt.Dialog
addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setModalityType, setResizable, setTitle, setUndecorated, setVisible, show, toBack
 
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, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeNotify, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImage, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, 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, 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, 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, remove, 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, transferFocusBackward, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

curTech

protected Technology curTech

curLib

protected Library curLib
Constructor Detail

PreferencePanel

public PreferencePanel(java.awt.Frame parent,
                       boolean modal)

PreferencePanel

public PreferencePanel(PreferencesFrame parent,
                       boolean modal)
Method Detail

getUserPreferencesPanel

public javax.swing.JPanel getUserPreferencesPanel()
return the JPanel to use for the user preferences.


getProjectPreferencesPanel

public javax.swing.JPanel getProjectPreferencesPanel()
return the JPanel to use for the project preferences.


getName

public java.lang.String getName()
return the name of this preferences tab.

Overrides:
getName in class java.awt.Component

isInited

public boolean isInited()
Method to tell whether this preferences tab has been initialized.

Returns:
true if this preferences tab has been initialized.

setInited

public void setInited()
Method to mark that this preferences tab has been initialized.


getTech

public Technology getTech()
Method to return the current technology for use in all preferences tabs.

Returns:
the current technology.

init

public void init()
Method called at the start of the dialog. Caches current values and displays them in the Frame tab.


term

public void term()
Method called when the "OK" panel is hit. Updates any changed fields in the Frame tab.


reset

public void reset()
Method called when the factory reset is requested.


resetThis

public boolean resetThis()
Method called when the factory reset is requested for just one panel.

Returns:
true if the panel could be reset "in place" without redisplay.

putPrefs

protected void putPrefs(PrefPackage pp)
Method to Save options from specified PrefPackage into Electric Preferences subtree.

Parameters:
pp - PrefPackage with option values

getTechPool

protected TechPool getTechPool()

getEditingPreferences

protected EditingPreferences getEditingPreferences()

setEditingPreferences

protected void setEditingPreferences(EditingPreferences ep)

getBoolean

public boolean getBoolean(Setting setting)
Method to get the boolean value on the Setting object. The object must have been created as "boolean".

Parameters:
setting - setting object.
Returns:
the boolean value on the Setting object.

getInt

public int getInt(Setting setting)
Method to get the integer value on the Setting object. The object must have been created as "integer".

Parameters:
setting - setting object.
Returns:
the integer value on the Setting object.

getLong

protected long getLong(Setting setting)
Method to get the long value on the Setting object. The object must have been created as "long".

Parameters:
setting - setting object.
Returns:
the long value on the Setting object.

getDouble

protected double getDouble(Setting setting)
Method to get the double value on the Setting object. The object must have been created as "double".

Parameters:
setting - setting object.
Returns:
the double value on the Setting object.

getFormattedDouble

protected java.lang.String getFormattedDouble(Setting setting)
Method to get string representation of the double value on the Setting object. The object must have been created as "double".

Parameters:
setting - setting object.
Returns:
the string representation of the double value on the Setting object.

getString

public java.lang.String getString(Setting setting)
Method to get the string value on the Setting object. The object must have been created as "string".

Parameters:
setting - setting object
Returns:
the string value on the Setting object.

setBoolean

public void setBoolean(Setting setting,
                       boolean v)
Method to set a new boolean value on Setting object.

Parameters:
setting - Setting object.
v - the new boolean value of Setting object.

setInt

public void setInt(Setting setting,
                   int v)
Method to set a new integer value on Setting object.

Parameters:
setting - Setting object.
v - the new integer value of Setting object.

setLong

protected void setLong(Setting setting,
                       long v)
Method to set a new long value on Setting object.

Parameters:
setting - Setting object.
v - the new long value of Setting object.

setDouble

protected void setDouble(Setting setting,
                         double v)
Method to set a new double value on Setting object.

Parameters:
setting - Setting object.
v - the new double value of Setting object.

setString

public void setString(Setting setting,
                      java.lang.String str)
Method to set a new string value on Setting object.

Parameters:
setting - Setting object.
str - the new string value of Setting object.