Package org.jcsp.awt

Class AdjustmentEventHandler

  • All Implemented Interfaces:
    java.awt.event.AdjustmentListener, java.util.EventListener

    class AdjustmentEventHandler
    extends java.lang.Object
    implements java.awt.event.AdjustmentListener
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private ChannelOutputInt event
      The Channel AdjustmentEvent notifications are sent down.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void adjustmentValueChanged​(java.awt.event.AdjustmentEvent e)
      Invoked when an adjustment occurs on the component the event handler is listening to.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • event

        private ChannelOutputInt event
        The Channel AdjustmentEvent notifications are sent down.
    • Constructor Detail

      • AdjustmentEventHandler

        public AdjustmentEventHandler​(ChannelOutputInt event)
        Constructs a new AdjustmentEventHandler with the specified event Channel.
        Parameters:
        event - The Channel AdjustmentEvent notifications are sent down.
    • Method Detail

      • adjustmentValueChanged

        public void adjustmentValueChanged​(java.awt.event.AdjustmentEvent e)
        Invoked when an adjustment occurs on the component the event handler is listening to. Notifies the event process that an AdjustmentEvent has occurred. Some notifications will be lost so there are no guarantees that all events generated will be processed. Sets the value to the current value of the component.
        Specified by:
        adjustmentValueChanged in interface java.awt.event.AdjustmentListener
        Parameters:
        e - The parameters associated with this event