public interface FileChangeHandler
| Modifier and Type | Method and Description |
|---|---|
void |
createFile(File file,
Graph contents)
Create a file.
|
void |
deleteFile(File file)
Delete a file.
|
void |
modifyFile(File file,
Graph changeSet)
Modify a file.
|
void deleteFile(File file) throws IOException
file - The file that is to be deleted.IOExceptionvoid createFile(File file, Graph contents) throws IOException
file - The file that is to be createdcontents - A graph that describes the contents of the file being createdIOExceptionvoid modifyFile(File file, Graph changeSet) throws IOException
file - The file that is being modifiedchangeSet - A graph that describes the changes made to the file.IOExceptionCopyright © 2019. All rights reserved.