Package ghidra.framework.store.local
Class IndexedPropertyFile
java.lang.Object
ghidra.util.PropertyFile
ghidra.framework.store.local.IndexedPropertyFile
-
Field Summary
FieldsFields inherited from class ghidra.util.PropertyFile
name, parentPath, PROPERTY_EXT, propertyFile, storageName -
Constructor Summary
ConstructorsConstructorDescriptionIndexedPropertyFile(File file) Construct an existing PropertyFile.IndexedPropertyFile(File dir, String storageName) Construct an existing PropertyFile.IndexedPropertyFile(File dir, String storageName, String parentPath, String name) Construct a new or existing PropertyFile. -
Method Summary
Methods inherited from class ghidra.util.PropertyFile
delete, equals, exists, getBoolean, getFileID, getFolder, getInt, getLong, getName, getParentPath, getPath, getStorageName, getString, hashCode, isReadOnly, lastModified, putBoolean, putInt, putLong, putString, remove, setFileID, writeState
-
Field Details
-
NAME_PROPERTY
- See Also:
-
PARENT_PATH_PROPERTY
- See Also:
-
-
Constructor Details
-
IndexedPropertyFile
public IndexedPropertyFile(File dir, String storageName, String parentPath, String name) throws IOException Construct a new or existing PropertyFile. This form ignores retained property values for NAME and PARENT path.- Parameters:
dir- parent directorystorageName- stored property file name (without extension)parentPath- path to parentname- name of the property file- Throws:
IOException
-
IndexedPropertyFile
Construct an existing PropertyFile.- Parameters:
dir- parent directorystorageName- stored property file name (without extension)- Throws:
FileNotFoundException- if property file does not existIOException- if error occurs reading property file
-
IndexedPropertyFile
Construct an existing PropertyFile.- Parameters:
file-- Throws:
FileNotFoundException- if property file does not existIOException- if error occurs reading property file
-
-
Method Details
-
readState
Description copied from class:PropertyFileRead in this PropertyFile into a SaveState object.- Overrides:
readStatein classPropertyFile- Throws:
IOException- thrown if there was a problem reading the file
-
moveTo
public void moveTo(File newParent, String newStorageName, String newParentPath, String newName) throws DuplicateFileException, IOException Description copied from class:PropertyFileMove this PropertyFile to the newParent file.- Overrides:
moveToin classPropertyFile- Parameters:
newParent- new parent of the filenewStorageName- new storage namenewParentPath- parent path of the new parentnewName- new name for this PropertyFile- Throws:
DuplicateFileException- thrown if a file with the newName already existsIOException- thrown if there was a problem accessing the
-