Class PropertyChangeEventWithEnv

  • All Implemented Interfaces:
    java.io.Serializable

    public class PropertyChangeEventWithEnv
    extends java.beans.PropertyChangeEvent
    Property change event with an environment to be used for feedback and cancellation checking.
    See Also:
    Serialized Form
    • Field Summary

      • Fields inherited from class java.util.EventObject

        source
    • Constructor Summary

      Constructors 
      Constructor Description
      PropertyChangeEventWithEnv​(java.lang.Object source, java.lang.String propertyName, java.lang.Object oldValue, java.lang.Object newValue, DFEnvironmentRO env)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      DFEnvironmentRO getEnvironment()  
      • Methods inherited from class java.beans.PropertyChangeEvent

        getNewValue, getOldValue, getPropagationId, getPropertyName, setPropagationId, toString
      • Methods inherited from class java.util.EventObject

        getSource
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • PropertyChangeEventWithEnv

        public PropertyChangeEventWithEnv​(java.lang.Object source,
                                          java.lang.String propertyName,
                                          java.lang.Object oldValue,
                                          java.lang.Object newValue,
                                          DFEnvironmentRO env)