Class PropertiesElement

    • Constructor Detail

      • PropertiesElement

        public PropertiesElement​(java.lang.String name,
                                 ECPProperties properties)
        Constructor.
        Parameters:
        name - the name of the elements
        properties - the initial properties
      • PropertiesElement

        public PropertiesElement​(java.io.ObjectInput in)
                          throws java.io.IOException
        Create a PropertiesElement from an ObjectInput.
        Parameters:
        in - the ObjectInput
        Throws:
        java.io.IOException - if there a problem while reading the input
    • Method Detail

      • propertiesChanged

        protected void propertiesChanged​(java.util.Collection<java.util.Map.Entry<java.lang.String,​java.lang.String>> oldProperties,
                                         java.util.Collection<java.util.Map.Entry<java.lang.String,​java.lang.String>> newProperties)
        Called if the properties of the element change. Can be implemented by subclasses
        Parameters:
        oldProperties - the old properties
        newProperties - the new properties