textreadercustomizer.java

java 完全探索的随书源码

import java.awt.*;
import java.beans.*;
public class TextReaderCustomizer extends Panel implements Customizer {
   public TextReaderCustomizer() {
      setLayout( new BorderLayout() );
   }

   public void setObject( Object target ) {
      component = (TextReader)target;
      // generate the User Interface (code removed for clarity)
   }

   public void processEvent( AWTEvent event ) {
      if ( event.getID() == Event.KEY_RELEASE &&
       event.getSource() == InputText ) {
         String old_text = component.getInputText();
         String text = InputText.getText();
         component.setInputText( text );
         changeAgent.firePropertyChange( "inputText", old_text, text );
      } else if ( event.getID() == Event.KEY_RELEASE &&
       event.getSource() == Width ) {
         int old_width, width;
         old_width = component.getWidth();
         try {
            width = Integer.parseInt( Width.getText() );
            try {
               component.setWidth( width );
               changeAgent.firePropertyChange( "width",
                                new Integer( old_width ), new Integer( width ) );
            } catch( PropertyVetoException e ) {
               // do nothing... wait for acceptable data.
            }
         } catch( NumberFormatException e ) {
            // do nothing... wait for better data.
         }
      }
      super.processEvent( event );
   }

   public void addPropertyChangeListener( PropertyChangeListener l ) {
      changeAgent.addPropertyChangeListener( l );
   }

   public void removePropertyChangeListener(PropertyChangeListener l) {
      changeAgent.removePropertyChangeListener( l );
   }

   private TextReader component;
   private TextField InputText, Width;
   private PropertyChangeSupport changeAgent = new PropertyChangeSupport( this );
}