Uses of Interface
edu.rice.cs.drjava.model.FileSaveSelector

Packages that use FileSaveSelector

edu.rice.cs.drjava.model	The model package is responsible for the majority of the logic and state in DrJava.
edu.rice.cs.drjava.model.javadoc
edu.rice.cs.drjava.model.repl	Contains the adapter code for the interpreter, as well as the code for managing the history of interactions, the handling of exceptions thrown by the interpreter, etc.

Uses of FileSaveSelector in edu.rice.cs.drjava.model

Classes in edu.rice.cs.drjava.model that implement FileSaveSelector

static class	GlobalModelTestCase.CancelingSelector
static class	GlobalModelTestCase.FileSelector This class is used by several test cases in Compile Tests that expect incorrect behavior concerning the saving of files.
static class	GlobalModelTestCase.WarningFileSelector

Methods in edu.rice.cs.drjava.model with parameters of type FileSaveSelector

void	OpenDefinitionsDocument.generateJavadoc(FileSaveSelector saver) Generates Javadoc for this document, saving the output to a temporary directory.
void	DummyOpenDefDoc.generateJavadoc(FileSaveSelector saver)
void	GlobalModel.saveAllFiles(FileSaveSelector com) Saves all open documents, prompting when necessary.
void	DummyGlobalModel.saveAllFiles(FileSaveSelector com)
void	AbstractGlobalModel.saveAllFiles(FileSaveSelector com) Saves all open files, prompting for names if necessary.
protected void	GlobalModelTestCase.saveAllFiles(GlobalModel model, FileSaveSelector fs)
protected void	AbstractGlobalModel.saveAllFilesHelper(FileSaveSelector com) Called by saveAllFiles in DefaultGlobalModel
boolean	OpenDefinitionsDocument.saveFile(FileSaveSelector com) Saves the document with a FileWriter.
boolean	DummyOpenDefDoc.saveFile(FileSaveSelector com)
protected void	GlobalModelTestCase.saveFile(OpenDefinitionsDocument doc, FileSaveSelector fss) Invokes doc.saveFile from within the event thread.
boolean	OpenDefinitionsDocument.saveFileAs(FileSaveSelector com) Saves the document with a FileWriter.
boolean	DummyOpenDefDoc.saveFileAs(FileSaveSelector com)
protected void	GlobalModelTestCase.saveFileAs(OpenDefinitionsDocument doc, FileSaveSelector fss) Invokes doc.saveFileAs from within the event thread.
void	GlobalModel.saveHistory(FileSaveSelector selector) Saves the unedited version of the current history to a file
void	DummyGlobalModel.saveHistory(FileSaveSelector selector)
void	DefaultGlobalModel.saveHistory(FileSaveSelector selector) Saves the unedited version of the current history to a file
void	AbstractGlobalModel.saveHistory(FileSaveSelector selector) throws UnsupportedOperationException
void	GlobalModel.saveHistory(FileSaveSelector selector, String editedVersion) Saves the edited version of the current history to a file
void	DummyGlobalModel.saveHistory(FileSaveSelector selector, String editedVersion)
void	DefaultGlobalModel.saveHistory(FileSaveSelector selector, String editedVersion) Saves the edited version of the current history to a file
void	AbstractGlobalModel.saveHistory(FileSaveSelector selector, String editedVersion) throws UnsupportedOperationException

Uses of FileSaveSelector in edu.rice.cs.drjava.model.javadoc

Methods in edu.rice.cs.drjava.model.javadoc with parameters of type FileSaveSelector

void	NoJavadocAvailable.javadocAll(DirectorySelector select, FileSaveSelector saver) Javadocs all open documents, after ensuring that all are saved.
void	JavadocModel.javadocAll(DirectorySelector select, FileSaveSelector saver) Javadocs all open documents, after ensuring that all are saved.
void	DefaultJavadocModel.javadocAll(DirectorySelector select, FileSaveSelector saver) Javadocs all open documents, after ensuring that all are saved.
void	NoJavadocAvailable.javadocDocument(OpenDefinitionsDocument doc, FileSaveSelector saver) Generates Javadoc for the given document only, after ensuring it is saved.
void	JavadocModel.javadocDocument(OpenDefinitionsDocument doc, FileSaveSelector saver) Generates Javadoc for the given document only, after ensuring it is saved.
void	DefaultJavadocModel.javadocDocument(OpenDefinitionsDocument doc, FileSaveSelector saver) Generates Javadoc for the given document only, after ensuring it is saved.

Uses of FileSaveSelector in edu.rice.cs.drjava.model.repl

Methods in edu.rice.cs.drjava.model.repl with parameters of type FileSaveSelector

void	InteractionsDocument.saveHistory(FileSaveSelector selector) Saves the unedited version of the current history to a file
void	InteractionsDocument.saveHistory(FileSaveSelector selector, String editedVersion) Saves the edited version of the current history to a file
void	History.writeToFile(FileSaveSelector selector) Writes this (unedited) History to the file selected in the FileSaveSelector.
static void	History.writeToFile(FileSaveSelector selector, String editedVersion) Writes this History to the file selected in the FileSaveSelector.