Package etomica.graphics

Class DeviceSpinner

java.lang.Object

etomica.graphics.Device

etomica.graphics.DeviceSpinner

public class DeviceSpinner
extends Device

Device the changes a property using a graphical spinner, via a Modifier.

See Also:

ModifierGeneral

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected class	DeviceSpinner.SpinnerListener	Spinner listener, which relays the spinner change events to the modifier

Nested classes/interfaces inherited from class etomica.graphics.Device

Device.ActionSet

Field Summary

Fields

Modifier and Type	Field	Description
protected java.lang.Object	component	Object with property being modulated
protected ModifyAction	modifyAction	Modifier connecting the spinner to the property
protected java.lang.String	property	Property being modulated
protected javax.swing.JSpinner	spinner	Actual JSpinner
protected javax.swing.SpinnerNumberModel	spinnerModel	Actual spinner model
protected IAction	targetAction

Fields inherited from class etomica.graphics.Device

controller, unit

Constructor Summary

Constructors

Constructor	Description
DeviceSpinner(Controller controller)
DeviceSpinner(Controller controller, Modifier m)	Constructs a spinner connected to the get/set Value methods of the given Modifier
DeviceSpinner(Controller controller, java.lang.Object object, java.lang.String property)	Constructs a spinner connected to the given property of the given object

Method Summary

Modifier and Type	Method	Description
void	doUpdate()
java.lang.Object	getComponent()
java.lang.String	getLabel()
double	getMaximum()
double	getMinimum()
Modifier	getModifier()
javax.swing.JPanel	getPanel()
java.lang.String	getProperty()
javax.swing.SpinnerNumberModel	getSpinner()
double	getValue()
java.awt.Component	graphic()	Returns the GUI element for display in the simulation.
boolean	isShowBorder()
void	setBorderAlignment(int align)
void	setComponent(java.lang.Object obj)
void	setLabel(java.lang.String s)	Sets the value of a descriptive label using the given string.
void	setMaximum(double max)	Sets maximum value of slider
void	setMinimum(double min)	Sets minimum value of spinner
void	setModifier(Modifier m)
void	setProperty(java.lang.String s)
void	setShowBorder(boolean b)
void	setUnit(Unit u)	Override superclass setUnit method to update label when unit is changed
void	setValue(double d)

Methods inherited from class etomica.graphics.Device

doAction, getController, getDimension, getPostAction, getPreAction, getUnit, setController, setPostAction, setPreAction

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

modifyAction

protected ModifyAction modifyAction

Modifier connecting the spinner to the property

spinnerModel

protected javax.swing.SpinnerNumberModel spinnerModel

Actual spinner model

spinner

protected javax.swing.JSpinner spinner

Actual JSpinner

component

protected java.lang.Object component

Object with property being modulated

property

protected java.lang.String property

Property being modulated

targetAction

protected IAction targetAction

Constructor Detail

DeviceSpinner

public DeviceSpinner(Controller controller)

DeviceSpinner

public DeviceSpinner(Controller controller,
                     java.lang.Object object,
                     java.lang.String property)

Constructs a spinner connected to the given property of the given object

DeviceSpinner

public DeviceSpinner(Controller controller,
                     Modifier m)

Constructs a spinner connected to the get/set Value methods of the given Modifier

Method Detail

setUnit

public void setUnit(Unit u)

Override superclass setUnit method to update label when unit is changed

Overrides:

setUnit in class Device

setBorderAlignment

public void setBorderAlignment(int align)

setModifier

public void setModifier(Modifier m)

getModifier

public final Modifier getModifier()

doUpdate

public void doUpdate()

getProperty

public java.lang.String getProperty()

setProperty

public void setProperty(java.lang.String s)

getComponent

public java.lang.Object getComponent()

setComponent

public void setComponent(java.lang.Object obj)

getMinimum

public double getMinimum()

setMinimum

public void setMinimum(double min)

Sets minimum value of spinner

getMaximum

public double getMaximum()

setMaximum

public void setMaximum(double max)

Sets maximum value of slider

getValue

public double getValue()

setValue

public void setValue(double d)

graphic

public java.awt.Component graphic()

Returns the GUI element for display in the simulation.

Specified by:

graphic in class Device

setLabel

public void setLabel(java.lang.String s)

Sets the value of a descriptive label using the given string.

getLabel

public java.lang.String getLabel()

Returns:

the current instance of the descriptive label.

setShowBorder

public void setShowBorder(boolean b)

isShowBorder

public boolean isShowBorder()

getSpinner

public javax.swing.SpinnerNumberModel getSpinner()

Returns:

a handle to the SpinnerNumberModel instance used by this slider device

getPanel

public javax.swing.JPanel getPanel()

Returns:

a handle to the JPanel instance used by this slider device