Uses of Class
edu.rice.cs.util.text.EditDocumentException

Packages that use EditDocumentException

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.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.
edu.rice.cs.drjava.plugins.eclipse.util.text
edu.rice.cs.drjava.plugins.eclipse.views
edu.rice.cs.drjava.ui	The ui package contains classes for the default user interface for DrJava.
edu.rice.cs.util.text

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

Methods in edu.rice.cs.drjava.model that throw EditDocumentException

protected void	GlobalModelTestCase.assertInteractionsContains(String text) Asserts that the given string exists in the Interactions Document.
protected void	GlobalModelTestCase.assertInteractionsDoesNotContain(String text) Asserts that the given string does not exist in the Interactions Document.
protected void	GlobalModelTestCase.assertInteractionsDoesNotMatch(String regex) Asserts that the text in the Interactions Document does NOT match the given regex.
protected void	GlobalModelTestCase.assertInteractionsMatches(String regex) Asserts that the text in the Interactions Document matches the given regex.
protected String	GlobalModelTestCase.getInteractionsText() Returns the current contents of the interactions document
protected String	GlobalModelTestCase.interpret(String input) Puts the given input into the interactions document and then interprets it, returning the result that was put into the interactions document.
protected void	GlobalModelTestCase.interpretIgnoreResult(String input) Appends the input string to the interactions pane and interprets it.
void	GlobalModelCompileTest.testCompileResetsInteractions() Tests that the interactions pane is reset after a successful compile.
void	GlobalModelIOTest.testConsoleInput() Tests that input can be written to and read from the console correctly.
void	GlobalModelOtherTest.testExitInteractions() Checks that System.exit is handled appropriately from interactions pane.
void	GlobalModelOtherTest.testInteractionsCanSeeChangedClass() Checks that updating a class and recompiling it is visible from the REPL.
void	GlobalModelOtherTest.testInteractionsCanSeeCompiledClasses() Creates a new class, compiles it and then checks that the REPL can see it.
void	GlobalModelOtherTest.testInteractionsDefineAnonymousInnerClass() Checks that an anonymous inner class can be defined in the repl!
void	GlobalModelOtherTest.testInteractionsLiveUpdateClassPath() Creates a new class, compiles it and then checks that the REPL can see it.
void	GlobalModelOtherTest.testInteractionsVariableWithLowercaseClassName() Compiles a new class in the default package with a mixed case name, and ensures that it can be instantiated on a variable with an identical name (but a lowercase first letter).
void	GlobalModelIOTest.testLoadHistoryWithAndWithoutSemicolons() Loads two history files, one whose statements end in semicolons, and one whose statements do not.
void	GlobalModelIOTest.testSaveClearAndLoadHistory() Interprets some statements, saves the history, clears the history, then loads the history.

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

Methods in edu.rice.cs.drjava.model.repl that throw EditDocumentException

protected void	InteractionsModelTest.assertReplThrewContinuationException(String code) Not a test method, Assumes that _model is an IncompleteInputInteractionsModel.
protected void	InteractionsModelTest.assertReplThrewSyntaxException(String code) Not a test method, Assumes that _model is an IncompleteInputInteractionsModel.
void	InteractionsDJDocumentTest.helpTestCannotAddNullStyleToList() Tests that a null style is not added to the list.
void	InteractionsDJDocumentTest.helpTestStylesListContentAndReset() Tests that the styles list is updated and reset properly
void	InteractionsDocumentTest.testCannotEditBeforePrompt() Tests that the document prevents editing before the prompt, and beeps if you try.
void	InteractionsDocumentTest.testClearCurrent() Tests that clear current interaction works.
void	InteractionsDocumentTest.testContentsAndReset() Tests that initial contents are the banner and prompt, and that reset works.
void	InteractionsDocumentTest.testInsertNewline() Tests that inserting a newline works.
void	InteractionsModelTest.testInterpretCurrentInteractionWithIncompleteInput()
void	InteractionsDocumentTest.testRecallFromHistory() Tests that recalling commands from the history works.

Uses of EditDocumentException in edu.rice.cs.drjava.plugins.eclipse.util.text

Fields in edu.rice.cs.drjava.plugins.eclipse.util.text declared as EditDocumentException

protected EditDocumentException	SWTDocumentAdapter._editException Any exception that occurred in the most recent (asynchronous) edit.
protected EditDocumentException	SWTDocumentAdapter._editException Any exception that occurred in the most recent (asynchronous) edit.

Methods in edu.rice.cs.drjava.plugins.eclipse.util.text that throw EditDocumentException

void	SWTDocumentAdapter._insertText(int offs, String str, String style)
void	SWTDocumentAdapter._insertText(int offs, String str, String style)
void	SWTDocumentAdapter._removeText(int offs, int len) Same as above except it assumes that the document readLock is already held, which is irrelevant in SWT.
void	SWTDocumentAdapter._removeText(int offs, int len) Same as above except it assumes that the document readLock is already held, which is irrelevant in SWT.
void	SWTDocumentAdapter.forceInsertText(int offs, String str, String style) Inserts a string into the document at the given offset and the given named style, regardless of the edit condition.
void	SWTDocumentAdapter.forceInsertText(int offs, String str, String style) Inserts a string into the document at the given offset and the given named style, regardless of the edit condition.
void	SWTDocumentAdapter.forceRemoveText(int offs, int len) Removes a portion of the document, regardless of the edit condition.
void	SWTDocumentAdapter.forceRemoveText(int offs, int len) Removes a portion of the document, regardless of the edit condition.
String	SWTDocumentAdapter.getDocText(int offs, int len) Returns a portion of the document.
String	SWTDocumentAdapter.getDocText(int offs, int len) Returns a portion of the document.
void	SWTDocumentAdapter.insertText(int offs, String str, String style) Inserts a string into the document at the given offset and the given named style, if the edit condition allows it.
void	SWTDocumentAdapter.insertText(int offs, String str, String style) Inserts a string into the document at the given offset and the given named style, if the edit condition allows it.
void	SWTDocumentAdapter.removeText(int offs, int len) Removes a portion of the document, if the edit condition allows it.
void	SWTDocumentAdapter.removeText(int offs, int len) Removes a portion of the document, if the edit condition allows it.
void	SWTDocumentAdapterTest.testBasicDocOps() Tests basic interactions with a DocumentAdapter.
void	SWTDocumentAdapterTest.testBasicDocOps() Tests basic interactions with a DocumentAdapter.
void	SWTDocumentAdapterTest.testEditCondition() Tests that a SwingDocumentAdapter can receive an object that determines whether certain edits are legal.
void	SWTDocumentAdapterTest.testEditCondition() Tests that a SwingDocumentAdapter can receive an object that determines whether certain edits are legal.

Uses of EditDocumentException in edu.rice.cs.drjava.plugins.eclipse.views

Methods in edu.rice.cs.drjava.plugins.eclipse.views that throw EditDocumentException

void	InteractionsViewTest.testCannotEditBeforePrompt() Tests that the InteractionsPane cannot be edited before the prompt.
void	InteractionsViewTest.testCannotEditBeforePrompt() Tests that the InteractionsPane cannot be edited before the prompt.
void	InteractionsViewTest.testCaretMovementCyclesWhenAtEnd() Tests that moving the caret right when it's already at the end will cycle it to the prompt.
void	InteractionsViewTest.testCaretMovementCyclesWhenAtEnd() Tests that moving the caret right when it's already at the end will cycle it to the prompt.
void	InteractionsViewTest.testCaretMovementCyclesWhenAtPrompt() Tests that moving the caret left when it's already at the prompt will cycle it to the end of the line.
void	InteractionsViewTest.testCaretMovementCyclesWhenAtPrompt() Tests that moving the caret left when it's already at the prompt will cycle it to the end of the line.
void	InteractionsViewTest.testCaretMovesUpToPromptAfterInsert() Tests that the caret catches up to the prompt if it is before it and output is displayed.
void	InteractionsViewTest.testCaretMovesUpToPromptAfterInsert() Tests that the caret catches up to the prompt if it is before it and output is displayed.
void	InteractionsViewTest.testCaretStaysAtEndDuringInteraction()
void	InteractionsViewTest.testCaretStaysAtEndDuringInteraction()
void	InteractionsViewTest.testCaretUpdatedOnInsert() Tests that the caret is put in the correct position after an insert.
void	InteractionsViewTest.testCaretUpdatedOnInsert() Tests that the caret is put in the correct position after an insert.
void	InteractionsViewTest.testClearCurrentInteraction() Tests that the caret is moved properly when the current interaction is cleared.
void	InteractionsViewTest.testClearCurrentInteraction() Tests that the caret is moved properly when the current interaction is cleared.

Uses of EditDocumentException in edu.rice.cs.drjava.ui

Methods in edu.rice.cs.drjava.ui that throw EditDocumentException

void	InteractionsPaneTest.testCannotEditBeforePrompt() Tests that the InteractionsPane cannot be edited before the prompt.
void	InteractionsPaneTest.testCaretMovementCyclesWhenAtEnd() Tests that moving the caret right when it's already at the end will cycle it to the prompt.
void	InteractionsPaneTest.testCaretMovementCyclesWhenAtPrompt() Tests that moving the caret left when it's already at the prompt will cycle it to the end of the line.
void	InteractionsPaneTest.testCaretMovesUpToPromptAfterInsert() Tests that the caret catches up to the prompt if it is before it and output is displayed.
void	InteractionsPaneTest.testCaretStaysAtEndDuringInteraction()
void	InteractionsPaneTest.testCaretUpdatedOnInsert() Tests that the caret is put in the correct position after an insert.
void	InteractionsPaneTest.testClearCurrentInteraction() Tests that the caret is moved properly when the current interaction is cleared.
void	MainFrameTest.testCorrectInteractionsDocument() Make sure that the InteractionsPane is displaying the correct InteractionsDocument.

Uses of EditDocumentException in edu.rice.cs.util.text

Methods in edu.rice.cs.util.text that throw EditDocumentException

void	ConsoleDocument.append(String str, String style) Appends a string to this in the given named style, if the edit condition allows it.
void	ConsoleDocument.forceInsertText(int offs, String str, String style) Inserts a string into the document at the given offset and style, regardless of the edit condition.
void	ConsoleDocument.forceRemoveText(int offs, int len) Removes a portion of the document, regardless of the edit condition.
String	ConsoleDocument.getDocText(int offs, int len) Returns a portion of the document.
void	ConsoleDocument.insertText(int offs, String str, String style) Inserts a string into the document at the given offset and named style, if the edit condition allows it.
void	ConsoleDocument.removeText(int offs, int len) Removes a portion of the document, if the edit condition (including promptPos) allows it.
void	SwingDocumentTest.testBasicDocOps() Tests basic interactions with a Swing Document.
void	ConsoleDocumentTest.testBasicDocOps() Tests basic interactions with a Swing Document.
void	SwingDocumentTest.testEditCondition() Tests that a SwingDocument can receive an object that determines whether certain edits are legal.
void	ConsoleDocumentTest.testEditCondition() Tests that a SwingDocument can receive an object that determines whether certain edits are legal.