|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OpenDefinitionsDocument | |
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.debug | Contains the code for DrJava's JPDA-based debugger. |
edu.rice.cs.drjava.ui | The ui package contains classes for the default user interface
for DrJava. |
Uses of OpenDefinitionsDocument in edu.rice.cs.drjava.model |
Classes in edu.rice.cs.drjava.model that implement OpenDefinitionsDocument | |
private class |
DefaultGlobalModel.DefinitionsDocumentHandler
Inner class to handle operations on each of the open DefinitionsDocuments by the GlobalModel. |
Fields in edu.rice.cs.drjava.model declared as OpenDefinitionsDocument | |
private OpenDefinitionsDocument |
DefaultGlobalModel._docBeingTested
If a JUnit test is currently running, this is the OpenDefinitionsDocument being tested. |
private OpenDefinitionsDocument |
AlreadyOpenException._openDoc
|
Methods in edu.rice.cs.drjava.model that return OpenDefinitionsDocument | |
OpenDefinitionsDocument |
DefaultGlobalModel.newFile()
Creates a new definitions document and adds it to the list. |
OpenDefinitionsDocument |
DefaultGlobalModel.openFile(FileOpenSelector com)
Open a file and read it into the definitions. |
OpenDefinitionsDocument |
DefaultGlobalModel.openFiles(FileOpenSelector com)
Opens multiple files and reads them into the definitions. |
OpenDefinitionsDocument |
DefaultGlobalModel.getDocumentForFile(File file)
Returns the OpenDefinitionsDocument for the specified File, opening a new copy if one is not already open. |
OpenDefinitionsDocument |
DefaultGlobalModel.getDocBeingTested()
Returns the document currently being tested (with JUnit) if there is one, otherwise null. |
private OpenDefinitionsDocument |
DefaultGlobalModel._createOpenDefinitionsDocument()
Creates a DefinitionsDocumentHandler for a new DefinitionsDocument, using the DefinitionsEditorKit. |
private OpenDefinitionsDocument |
DefaultGlobalModel._getOpenDocument(File file)
Returns the OpenDefinitionsDocument corresponding to the given File, or null if that file is not open. |
private OpenDefinitionsDocument |
DefaultGlobalModel._openFile(File file)
Creates a document from a file. |
protected OpenDefinitionsDocument |
GlobalModelTestCase.setupDocument(String text)
Creates and returns a new document, makes sure newFile is fired, and then adds some text. |
OpenDefinitionsDocument |
GlobalModel.newFile()
Creates a new document in the definitions pane and adds it to the list of open documents. |
OpenDefinitionsDocument |
GlobalModel.openFile(FileOpenSelector com)
Open a file and read it into the definitions. |
OpenDefinitionsDocument |
GlobalModel.openFiles(FileOpenSelector com)
|
OpenDefinitionsDocument |
GlobalModel.getDocumentForFile(File file)
Returns the OpenDefinitionsDocument for the specified File, opening a new copy if one is not already open. |
OpenDefinitionsDocument |
AlreadyOpenException.getOpenDocument()
|
private OpenDefinitionsDocument |
GlobalIndentTest._getOpenDoc()
Get the only open definitions document. |
Methods in edu.rice.cs.drjava.model with parameters of type OpenDefinitionsDocument | |
void |
DefaultGlobalModel.aboutToSaveFromSaveAll(OpenDefinitionsDocument doc)
Does nothing in default model. |
boolean |
DefaultGlobalModel.closeFile(OpenDefinitionsDocument doc)
Closes an open definitions document, prompting to save if the document has been changed. |
protected void |
GlobalModelTestCase.changeDocumentText(String s,
OpenDefinitionsDocument doc)
Clear all old text and insert the given text. |
protected void |
GlobalModelTestCase.assertModified(boolean b,
OpenDefinitionsDocument doc)
|
protected void |
GlobalModelTestCase.assertLength(int len,
OpenDefinitionsDocument doc)
|
protected void |
GlobalModelTestCase.assertContents(String s,
OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.newFileCreated(OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.fileOpened(OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.fileClosed(OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.fileSaved(OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.fileReverted(OpenDefinitionsDocument doc)
|
void |
GlobalModelTestCase.TestListener.junitStarted(OpenDefinitionsDocument doc)
|
boolean |
GlobalModelTestCase.TestListener.canAbandonFile(OpenDefinitionsDocument doc)
|
boolean |
GlobalModelTestCase.TestListener.shouldRevertFile(OpenDefinitionsDocument doc)
|
void |
GlobalModelJUnitTest.TestShouldSucceedListener.junitStarted(OpenDefinitionsDocument odd)
|
boolean |
GlobalModel.closeFile(OpenDefinitionsDocument doc)
Closes an open definitions document, prompting to save if the document has been changed. |
private void |
GlobalModelOtherTest._doCompile(OpenDefinitionsDocument doc,
File file)
Saves to the given file, and then compiles the given document. |
void |
GlobalModelListener.newFileCreated(OpenDefinitionsDocument doc)
Called after a new document is created. |
void |
GlobalModelListener.fileSaved(OpenDefinitionsDocument doc)
Called after the current document is saved. |
void |
GlobalModelListener.fileOpened(OpenDefinitionsDocument doc)
Called after a file is opened and read into the current document. |
void |
GlobalModelListener.fileClosed(OpenDefinitionsDocument doc)
Called after a document is closed. |
void |
GlobalModelListener.fileReverted(OpenDefinitionsDocument doc)
Called after a document is reverted. |
void |
GlobalModelListener.junitStarted(OpenDefinitionsDocument doc)
Called after JUnit is started by the GlobalModel. |
boolean |
GlobalModelListener.canAbandonFile(OpenDefinitionsDocument doc)
Called to ask the listener if it is OK to abandon the current document. |
boolean |
GlobalModelListener.shouldRevertFile(OpenDefinitionsDocument doc)
Called to ask the listener if it is OK to revert the current document to a newer version saved on file. |
private void |
GlobalIndentTest._assertLocation(int loc,
OpenDefinitionsDocument openDoc)
|
Constructors in edu.rice.cs.drjava.model with parameters of type OpenDefinitionsDocument | |
AlreadyOpenException(OpenDefinitionsDocument doc)
Exception indicating that the requested file is already open. |
Uses of OpenDefinitionsDocument in edu.rice.cs.drjava.model.debug |
Fields in edu.rice.cs.drjava.model.debug declared as OpenDefinitionsDocument | |
protected OpenDefinitionsDocument |
DocumentDebugAction._doc
|
Methods in edu.rice.cs.drjava.model.debug that return OpenDefinitionsDocument | |
OpenDefinitionsDocument |
DocumentDebugAction.getDocument()
Returns the document this DebugAction occurs in. |
protected OpenDefinitionsDocument |
DebugTest._doCompile(String text,
File file)
Compiles a new file with the given text. |
Methods in edu.rice.cs.drjava.model.debug with parameters of type OpenDefinitionsDocument | |
void |
DebugListener.threadLocationUpdated(OpenDefinitionsDocument doc,
int lineNumber)
Called when the given line is reached by the current thread in the debugger, to request that the line be displayed. |
void |
DebugManager.toggleBreakpoint(OpenDefinitionsDocument doc,
int offset,
int lineNum)
Toggles whether a breakpoint is set at the given line in the given document. |
void |
DebugTest.DebugTestListener.threadLocationUpdated(OpenDefinitionsDocument doc,
int lineNumber)
|
void |
DebugTest.BreakpointTestListener.threadLocationUpdated(OpenDefinitionsDocument doc,
int lineNumber)
|
Constructors in edu.rice.cs.drjava.model.debug with parameters of type OpenDefinitionsDocument | |
DocumentDebugAction(DebugManager manager,
OpenDefinitionsDocument doc,
int offset)
Creates a new DocumentDebugAction. |
|
Breakpoint(OpenDefinitionsDocument doc,
int offset,
int lineNumber,
DebugManager manager)
|
Uses of OpenDefinitionsDocument in edu.rice.cs.drjava.ui |
Fields in edu.rice.cs.drjava.ui declared as OpenDefinitionsDocument | |
private OpenDefinitionsDocument |
PreviewFrame._document
|
private OpenDefinitionsDocument |
DefinitionsPane._doc
|
private OpenDefinitionsDocument |
SingleDisplayModel._activeDocument
The active document pointer, which will never be null once the constructor is done. |
private OpenDefinitionsDocument |
JUnitPanel._docBeingTested
|
private OpenDefinitionsDocument |
JUnitErrorCaretListener._openDoc
|
private OpenDefinitionsDocument |
CompilerErrorCaretListener._openDoc
|
Methods in edu.rice.cs.drjava.ui that return OpenDefinitionsDocument | |
OpenDefinitionsDocument |
DefinitionsPane.getOpenDocument()
Get the OpenDefinitionsDocument contained in this DefinitionsPane. |
OpenDefinitionsDocument |
SingleDisplayModel.getActiveDocument()
Returns the currently active document. |
OpenDefinitionsDocument |
SingleDisplayModel.newFile()
Creates a new document, adds it to the list of open documents, and sets it to be active. |
OpenDefinitionsDocument |
SingleDisplayModel.openFile(FileOpenSelector com)
Open a file and read it into the definitions. |
OpenDefinitionsDocument |
SingleDisplayModel.openFiles(FileOpenSelector com)
Open multiple files and read it into the definitions. |
OpenDefinitionsDocument |
JUnitErrorCaretListener.getOpenDefDoc()
Gets the OpenDefinitionsDocument corresponding to this listener. |
OpenDefinitionsDocument |
CompilerErrorCaretListener.getOpenDefDoc()
Gets the OpenDefinitionsDocument corresponding to this listener. |
protected OpenDefinitionsDocument |
SingleDisplayModelTest.setupDocument(String text)
Creates and returns a new document, makes sure newFile and activeDocumentChanged events are fired, and then adds some text. |
Methods in edu.rice.cs.drjava.ui with parameters of type OpenDefinitionsDocument | |
void |
DebugPanel.DebugPanelListener.threadLocationUpdated(OpenDefinitionsDocument doc,
int lineNumber)
Called when the given line is reached by the current thread in the debugger, to request that the line be displayed. |
private void |
DefinitionsPane.setDocument(OpenDefinitionsDocument doc)
Reset undo machinery on setDocument. |
void |
SingleDisplayModel.setActiveDocument(OpenDefinitionsDocument doc)
Sets the currently active document by updating the selection model. |
String |
SingleDisplayModel.getDisplayFilename(OpenDefinitionsDocument doc)
Return the name of the file, or "(untitled)" if no file exists. |
String |
SingleDisplayModel.getDisplayFullPath(OpenDefinitionsDocument doc)
Return the absolute path of the file, or "(untitled)" if no file exists. |
void |
SingleDisplayModel.aboutToSaveFromSaveAll(OpenDefinitionsDocument doc)
If the document is untitled, brings it to the top so that the user will know which file she is saving |
boolean |
SingleDisplayModel.closeFile(OpenDefinitionsDocument doc)
Closes an open definitions document, prompting to save if the document has been changed. |
private int |
SingleDisplayModel._getDocumentIndex(OpenDefinitionsDocument doc)
Returns the index of the first occurrence of the specified document in the list of open documents, or -1 if it is not found. |
private void |
CompilerErrorPanel.ErrorListPane._gotoErrorSourceLocation(OpenDefinitionsDocument doc,
int idx)
Jumps to error location in source |
void |
JUnitPanel.setJUnitInProgress(OpenDefinitionsDocument doc)
Called when compilation begins. |
void |
JUnitPanel.JUnitErrorListPane.setJUnitInProgress(OpenDefinitionsDocument odd)
Puts the error pane into "compilation in progress" state. |
private void |
JUnitPanel.JUnitErrorListPane._gotoErrorSourceLocation(OpenDefinitionsDocument doc,
int idx)
Jumps to error location in source |
private void |
MainFrame._removeErrorListener(OpenDefinitionsDocument doc)
Removes the CompilerErrorCaretListener corresponding to the given document, after that document has been closed. |
private JScrollPane |
MainFrame._createDefScrollPane(OpenDefinitionsDocument doc)
Create a new DefinitionsPane and JScrollPane for an open definitions document. |
private void |
MainFrame._setCurrentDirectory(OpenDefinitionsDocument doc)
Sets the current directory to be that of document's file. |
void |
MainFrame.UIDebugListener.threadLocationUpdated(OpenDefinitionsDocument doc,
int lineNumber)
|
void |
MainFrame.ModelListener.newFileCreated(OpenDefinitionsDocument doc)
|
void |
MainFrame.ModelListener.fileSaved(OpenDefinitionsDocument doc)
|
void |
MainFrame.ModelListener.fileOpened(OpenDefinitionsDocument doc)
|
void |
MainFrame.ModelListener.fileClosed(OpenDefinitionsDocument doc)
|
void |
MainFrame.ModelListener.fileReverted(OpenDefinitionsDocument doc)
|
void |
MainFrame.ModelListener.activeDocumentChanged(OpenDefinitionsDocument active)
|
void |
MainFrame.ModelListener.junitStarted(OpenDefinitionsDocument doc)
|
boolean |
MainFrame.ModelListener.canAbandonFile(OpenDefinitionsDocument doc)
Check if the current document has been modified. |
boolean |
MainFrame.ModelListener.shouldRevertFile(OpenDefinitionsDocument doc)
Called to ask the listener if it is OK to revert the current document to a newer version saved on file. |
void |
SingleDisplayModelListener.activeDocumentChanged(OpenDefinitionsDocument active)
|
protected void |
SingleDisplayModelTest.assertActiveDocument(OpenDefinitionsDocument doc)
|
void |
SingleDisplayModelTest.SDTestListener.activeDocumentChanged(OpenDefinitionsDocument doc)
|
Constructors in edu.rice.cs.drjava.ui with parameters of type OpenDefinitionsDocument | |
DefinitionsPane(MainFrame mf,
GlobalModel model,
OpenDefinitionsDocument doc)
Constructor. |
|
JUnitErrorCaretListener(OpenDefinitionsDocument doc,
JUnitPanel.JUnitErrorListPane errorListPane,
DefinitionsPane defPane)
Constructs a new caret listener to highlight JUnit errors. |
|
CompilerErrorCaretListener(OpenDefinitionsDocument doc,
CompilerErrorPanel.ErrorListPane errorListPane,
DefinitionsPane defPane)
Constructs a new caret listener to highlight compiler errors. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |