import javax.swing.event.*;
import javax.swing.JSlider;

/** EventSlider class (abstract)
 *  Author: David Riley
 *  Date: May, 2004 
 */
public abstract class EventSlider extends JSlider implements ChangeListener  {

    /** pre:    orient == HORIZONTAL or orient == VERTICAL
     *          and  min <= val <= max <br>
     *  post:   a new slider is instantiated 
     *          and  the value of the slider is val
     *          and the minimum (left end) value is min
     *          and the maximum (right end) value is max
     *          and the slider is oriented to pull according to orient 
     */
    public EventSlider(int orient, int min, int max, int val)  {
    	super(orient, min, max, val);
        addChangeListener( this );
    }
    
    /** EVENT HANDLER - called in response to each scheduled event
	 *		(This method is designed to be overridden.) */
    public void stateChanged( ChangeEvent e )  {
    }
    	
}