fsmvis.gui
Class DoubleSliderPanel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--javax.swing.JPanel
                          |
                          +--fsmvis.gui.DoubleSliderPanel

public class DoubleSliderPanel
extends javax.swing.JPanel
implements DoubleSliderAdjustmentListener, Selectable

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Inner classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Field Summary
protected  java.util.List allIndices
           
protected  java.lang.String colName
           
protected  int column
           
protected  DataItemCollection dataItems
           
protected  java.util.Set deselected
           
protected  MiniHistogram hist
           
protected  double oldMax
           
protected  double oldMin
           
protected  Viewer parent
           
protected  java.util.List selected
           
protected  DoubleSlider slider
           
protected  java.util.List sortedIndices
           
 
Fields inherited from class javax.swing.JComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Constructor Summary
DoubleSliderPanel(Viewer parent, DataItemCollection dataItems, int column)
           
 
Method Summary
 void adjustmentValueChanged(DoubleSlider ds)
          Called whenever a double ended slider is dragged
protected  double getColSortedIndex(java.util.ArrayList col, int i)
          Returns the value stored at the sorted index position i.
 java.util.Collection getDeselection()
          Returns the indices of the deselected items in this object This method may return null if the getSelection method is being used instead.
 java.util.Collection getSelection()
          Returns the selection of this object
protected  void initData()
          initialises the data structures used to optimise the selection controls Creates an array of indices ordered in ascending order by their contents
 void reset()
          resets the sliders to their inital positions and selections
 void selectAll()
          Sets this selectable object to select all its items
 void selectNone()
          Sets this selectable item to select none of it items
 java.lang.String toString()
          Overrides the parent method, returns the column name which this double slider panel is representing
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUIClassID, paramString, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getAlignmentX, getAlignmentY, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getGraphics, getHeight, getInsets, getInsets, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getVisibleRect, getWidth, getX, getY, grabFocus, hasFocus, isDoubleBuffered, isFocusCycleRoot, isFocusTraversable, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, processComponentKeyEvent, processFocusEvent, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDoubleBuffered, setEnabled, setFont, setForeground, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setUI, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getLayout, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setLayout, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hide, imageUpdate, inside, isDisplayable, isEnabled, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processInputMethodEvent, processMouseEvent, remove, removeComponentListener, removeFocusListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

parent

protected Viewer parent

dataItems

protected DataItemCollection dataItems

colName

protected java.lang.String colName

column

protected int column

hist

protected MiniHistogram hist

slider

protected DoubleSlider slider

sortedIndices

protected java.util.List sortedIndices

allIndices

protected java.util.List allIndices

selected

protected java.util.List selected

deselected

protected java.util.Set deselected

oldMin

protected double oldMin

oldMax

protected double oldMax
Constructor Detail

DoubleSliderPanel

public DoubleSliderPanel(Viewer parent,
                         DataItemCollection dataItems,
                         int column)
Method Detail

initData

protected void initData()
initialises the data structures used to optimise the selection controls Creates an array of indices ordered in ascending order by their contents

adjustmentValueChanged

public void adjustmentValueChanged(DoubleSlider ds)
Called whenever a double ended slider is dragged
Specified by:
adjustmentValueChanged in interface DoubleSliderAdjustmentListener

getColSortedIndex

protected double getColSortedIndex(java.util.ArrayList col,
                                   int i)
Returns the value stored at the sorted index position i. Always returns the result as a double so that it can be compared with a double slider

getSelection

public java.util.Collection getSelection()
Returns the selection of this object
Specified by:
getSelection in interface Selectable
Returns:
The selection

getDeselection

public java.util.Collection getDeselection()
Returns the indices of the deselected items in this object This method may return null if the getSelection method is being used instead.
Specified by:
getDeselection in interface Selectable
Returns:
The deselection

selectAll

public void selectAll()
Sets this selectable object to select all its items
Specified by:
selectAll in interface Selectable

selectNone

public void selectNone()
Sets this selectable item to select none of it items
Specified by:
selectNone in interface Selectable

reset

public void reset()
resets the sliders to their inital positions and selections

toString

public java.lang.String toString()
Overrides the parent method, returns the column name which this double slider panel is representing
Returns:
The name of this column
Overrides:
toString in class java.awt.Component