edu.rice.cs.drjava.ui
Class PreviewFrame.JSpinnerChanger

java.lang.Object
  edu.rice.cs.drjava.ui.PreviewFrame.PageChangerUpdater
      edu.rice.cs.drjava.ui.PreviewFrame.JSpinnerChanger

Enclosing class:

PreviewFrame

private class PreviewFrame.JSpinnerChanger
extends PreviewFrame.PageChangerUpdater

Field Summary

private Object[]	args
private Method	setValueMethod
private JComponent	spinner

Constructor Summary

private

PreviewFrame.JSpinnerChanger(Class<?> spinnerClass, JComponent spinnerObj)

Method Summary

(package private) JComponent	getComponent()
(package private) void	update(int pageNumber)

Methods inherited from class java.lang.Object

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

Field Detail

spinner

private volatile JComponent spinner

setValueMethod

private volatile Method setValueMethod

args

private final Object[] args

Constructor Detail

PreviewFrame.JSpinnerChanger

private PreviewFrame.JSpinnerChanger(Class<?> spinnerClass,
                                     JComponent spinnerObj)
                              throws Exception

Throws:

Exception

Method Detail

update

void update(int pageNumber)
      throws Exception

Specified by:

update in class PreviewFrame.PageChangerUpdater

Throws:

Exception

getComponent

JComponent getComponent()

Specified by:

getComponent in class PreviewFrame.PageChangerUpdater