/**
 * Questa è l'interfaccia preposta a ricevere eventi della classe
 * <code>ValueChangedEvent</code>. Questi eventi vengono generati da oggetti
 * della classe <code>SpinText</code>.
 * <p>
 * Un oggetto che implementa questa interfaccia deve implementare il metodo
 * <code>valueChanged()</code> per poter intercettare gli eventi generati
 * alla pressione dei pulsanti in un controllo <code>SpinText</code> e deve
 * registrarsi su quel controllo come ascoltatore mediante il metodo
 * <code>setValueChangedListener()</code> fornito. Quando uno dei pulsanti
 * &egrave; stato premuto viene automaticamente richiamato il metodo
 * <code>valueChanged()</code>.
 * <p>
 * @author  LeleFT
 * @version 1.0  5/3/2005
 * @see SpinText
 * @see ValueChangedEvent
 */
public interface ValueChangedListener {
   /**
    * Invocato quando uno dei pulsanti di un controllo <code>SpinText</code> viene premuto.
    */
   public void valueChanged(ValueChangedEvent vce);
}