Class IndexedPropertyFile

    • Constructor Detail

      • IndexedPropertyFile

        public IndexedPropertyFile​(java.io.File dir,
                                   java.lang.String storageName,
                                   java.lang.String parentPath,
                                   java.lang.String name)
                            throws java.io.IOException
        Construct a new or existing PropertyFile. This form ignores retained property values for NAME and PARENT path.
        Parameters:
        dir - parent directory
        storageName - stored property file name (without extension)
        parentPath - path to parent
        name - name of the property file
        Throws:
        java.io.IOException
      • IndexedPropertyFile

        public IndexedPropertyFile​(java.io.File dir,
                                   java.lang.String storageName)
                            throws java.io.IOException
        Construct an existing PropertyFile.
        Parameters:
        dir - parent directory
        storageName - stored property file name (without extension)
        Throws:
        java.io.FileNotFoundException - if property file does not exist
        java.io.IOException - if error occurs reading property file
      • IndexedPropertyFile

        public IndexedPropertyFile​(java.io.File file)
                            throws java.io.IOException
        Construct an existing PropertyFile.
        Parameters:
        file -
        Throws:
        java.io.FileNotFoundException - if property file does not exist
        java.io.IOException - if error occurs reading property file
    • Method Detail

      • readState

        public void readState()
                       throws java.io.IOException
        Description copied from class: PropertyFile
        Read in this PropertyFile into a SaveState object.
        Overrides:
        readState in class PropertyFile
        Throws:
        java.io.IOException - thrown if there was a problem reading the file
      • moveTo

        public void moveTo​(java.io.File newParent,
                           java.lang.String newStorageName,
                           java.lang.String newParentPath,
                           java.lang.String newName)
                    throws DuplicateFileException,
                           java.io.IOException
        Description copied from class: PropertyFile
        Move this PropertyFile to the newParent file.
        Overrides:
        moveTo in class PropertyFile
        Parameters:
        newParent - new parent of the file
        newStorageName - new storage name
        newParentPath - parent path of the new parent
        newName - new name for this PropertyFile
        Throws:
        DuplicateFileException - thrown if a file with the newName already exists
        java.io.IOException - thrown if there was a problem accessing the