|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.rice.cs.drjava.model.AbstractGlobalModel.TrivialFSS
private static class AbstractGlobalModel.TrivialFSS
| Field Summary | |
|---|---|
private java.io.File |
_file
|
| Constructor Summary | |
|---|---|
private |
AbstractGlobalModel.TrivialFSS(java.io.File file)
|
| Method Summary | |
|---|---|
java.io.File |
getFile()
Returns the file to save. |
private java.io.File |
proposeBetterFileName(java.io.File f)
|
boolean |
shouldSaveAfterFileMoved(OpenDefinitionsDocument doc,
java.io.File oldFile)
Confirms whether a new file should be selected since the previously chosen file has been deleted or moved. |
boolean |
shouldUpdateDocumentState()
Return true if saving should update the document's state (i.e. |
boolean |
verifyOverwrite(java.io.File f)
Confirms whether the existing chosen file should be overwritten. |
boolean |
warnFileOpen(java.io.File f)
Informs the user that the chosen file is already open and prompts them asking whether to continue with the save |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
private java.io.File _file
| Constructor Detail |
|---|
private AbstractGlobalModel.TrivialFSS(java.io.File file)
| Method Detail |
|---|
public java.io.File getFile()
throws OperationCanceledException
FileSaveSelector
getFile in interface FileSaveSelectorOperationCanceledException - if the save request is cancelledpublic boolean warnFileOpen(java.io.File f)
FileSaveSelector
warnFileOpen in interface FileSaveSelectorf - the file being saved
public boolean verifyOverwrite(java.io.File f)
FileSaveSelector
verifyOverwrite in interface FileSaveSelectorf - the file being saved
public boolean shouldSaveAfterFileMoved(OpenDefinitionsDocument doc,
java.io.File oldFile)
FileSaveSelector
shouldSaveAfterFileMoved in interface FileSaveSelectoroldFile - The file that was moved or deleted.public boolean shouldUpdateDocumentState()
FileSaveSelector
shouldUpdateDocumentState in interface FileSaveSelectorprivate java.io.File proposeBetterFileName(java.io.File f)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||