|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface FileDocument
Interface for entities which persist their content in files.
| Method Summary | |
|---|---|
void |
dispose()
Free resources for garbage collection. |
java.io.File |
getFile()
Get the file where this document's data persists. |
java.util.Date |
getLoadDate()
Get the file load date. |
boolean |
isDirty()
Test if the document or any of its components has experienced a change which justifies saving to file. |
void |
load()
Load this document from the path indicated using the setFile(File) method. |
void |
makeDirty()
Signal that the document has experienced a change which should be saved to the associated file. |
void |
save()
Save this document to the path indicated using the setFile(File) method. |
void |
setFile(java.io.File file)
Set the file where this document's data will persist. |
| Method Detail |
|---|
java.io.File getFile()
void setFile(java.io.File file)
file - The file where this document's data will persist.void load()
setFile(File) method.
void save()
setFile(File) method.
throws RuntimeException If a file already exists with the indicated path and existing file was modified before this instance's load date.
java.util.Date getLoadDate()
void makeDirty()
boolean isDirty()
void dispose()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||