Module tvbrowser
Package util.settings

Class PropertyManager


  • public class PropertyManager
    extends java.lang.Object
    Author:
    Til Schneider, www.murfman.de
    • Constructor Detail

      • PropertyManager

        public PropertyManager()
    • Method Detail

      • writeToFile

        public void writeToFile​(java.io.File settingsFile)
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • readFromFile

        public void readFromFile​(java.io.File settingsFile)
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • readFromStream

        public void readFromStream​(java.io.InputStream in)
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • addProperty

        void addProperty​(Property prop)
      • setProperty

        void setProperty​(java.lang.String key,
                         java.lang.String value)
      • getProperty

        public java.lang.String getProperty​(java.lang.String key)
        Gets the property with the given key.
        Parameters:
        key - The key to get the property for.
        Returns:
        The property for the key or null if the key didn't exists.
      • hasChanged

        public boolean hasChanged​(Property prop)
      • hasChanged

        public boolean hasChanged​(Property[] propArr)
      • clearChanges

        public void clearChanges()