edu.rice.cs.util.text
Class ConsoleDocument

java.lang.Object
  edu.rice.cs.util.text.ConsoleDocument

All Implemented Interfaces:

ConsoleDocumentInterface, EditDocumentInterface

Direct Known Subclasses:

InteractionsDocument

public class ConsoleDocument
extends java.lang.Object
implements ConsoleDocumentInterface

A GUI-toolkit agnostic interface to a console document. This class assumes that the embedded document supports readers/writers locking and uses that locking protocol to ensure the integrity of the data added in this class WHY is prompt considered part of a console document rather than an interactions document?

Version:

$Id: ConsoleDocument.java 5236 2010-04-27 01:43:36Z mgricken $

Nested Class Summary

(package private) class

ConsoleDocument.ConsoleEditCondition Class ensuring that attempts to edit document lines above the prompt are rejected.

Field Summary

protected java.lang.Runnable	_beep A runnable command to use for a notification beep.
protected DrJavaBook	_book The book object used for printing that represents several pages
protected ConsoleDocumentInterface	_document The embedded document storing the text and _hasPrompt property for this console model.
protected java.lang.String	_prompt String to use for the prompt.
private int	_promptPos Index in the document of the first place that is editable.
static java.lang.String	DEFAULT_CONSOLE_PROMPT The default prompt to use in the console.
static java.lang.String	DEFAULT_STYLE Default text style.
static java.lang.String	SYSTEM_ERR_STYLE Style for System.err
static java.lang.String	SYSTEM_IN_STYLE Style for System.in
static java.lang.String	SYSTEM_OUT_STYLE Style for System.out

Constructor Summary

ConsoleDocument(ConsoleDocumentInterface doc)
Creates a new ConsoleDocument with the given embedded ConsoleDocumentInterface (a SwingDocument in native DrJava).

Method Summary

private void	_addToStyleLists(int offs, java.lang.String str, java.lang.String style) Adds style specifier to _stylelists.
protected void	_clearCurrentInputText() Removes the text from the current prompt to the end of the document.
private int	_getPositionBeforePrompt() Gets the position immediately before the prompt, or the doc length if there is no prompt.
void	append(java.lang.String str, java.lang.String style) Appends a string to this in the given named style, if the edit condition allows it.
void	cleanUpPrintJob() Clears the pageable object used to hold the print job.
void	clearCurrentInput() Clears the current input text.
void	disablePrompt() Disables the prompt in this document.
void	forceInsertText(int offs, java.lang.String str, java.lang.String style) Inserts a string into the document at the given offset and style, regardless of the edit condition.
void	forceRemoveText(int offs, int len) Removes a portion of the document, regardless of the edit condition.
java.lang.String	getCurrentInput() Returns the string that the user has entered at the current prompt.
java.lang.String	getDefaultStyle() Gets the String identifying the default style for this document if one exists; null otherwise.
java.lang.String	getDocText(int offs, int len) Returns a portion of the document.
DocumentEditCondition	getEditCondition() Gets the object which determines whether an insert/remove edit should be applied based on the inputs.
int	getLength() Returns the length of the document.
java.awt.print.Pageable	getPageable() Returns the Pageable object for printing.
java.lang.String	getPrompt() Accessor for the string used for the prompt.
int	getPromptLength() Returns the length of the prompt string.
int	getPromptPos() Returns the first location in the document where editing is allowed.
java.lang.String	getText() Returns the entire text of the document.
boolean	hasPrompt()
void	insertBeforeLastPrompt(java.lang.String text, java.lang.String style) Inserts the given string with the given attributes just before the most recent prompt.
void	insertNewline(int pos) Inserts a new line at the given position.
void	insertPrompt() Prints a prompt for a new input.
void	insertText(int offs, java.lang.String str, java.lang.String style) Inserts a string into the document at the given offset and named style, if the edit condition allows it.
void	preparePrintJob() This method tells the document to prepare all the DrJavaBook and PagePrinter objects.
void	print() Prints the given document by bringing up a "Print" window.
void	removeText(int offs, int len) Removes a portion of the document, if the edit condition (including promptPos) allows it.
void	reset(java.lang.String banner) Resets the document to a clean state.
void	saveCopy(FileSaveSelector selector) Saves the contents of the document to a file.
void	setBeep(java.lang.Runnable beep) Sets a runnable action to use as a beep.
void	setEditCondition(DocumentEditCondition condition) Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs.
void	setHasPrompt(boolean val) Setter for the _hasPrompt property.
void	setPrompt(java.lang.String prompt) Sets the string to use for the prompt.
void	setPromptPos(int newPos) Sets the prompt position.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEFAULT_CONSOLE_PROMPT

public static final java.lang.String DEFAULT_CONSOLE_PROMPT

The default prompt to use in the console.

See Also:

Constant Field Values

DEFAULT_STYLE

public static final java.lang.String DEFAULT_STYLE

Default text style.

See Also:

Constant Field Values

SYSTEM_OUT_STYLE

public static final java.lang.String SYSTEM_OUT_STYLE

Style for System.out

See Also:

Constant Field Values

SYSTEM_ERR_STYLE

public static final java.lang.String SYSTEM_ERR_STYLE

Style for System.err

See Also:

Constant Field Values

SYSTEM_IN_STYLE

public static final java.lang.String SYSTEM_IN_STYLE

Style for System.in

See Also:

Constant Field Values

_document

protected final ConsoleDocumentInterface _document

The embedded document storing the text and _hasPrompt property for this console model.

_beep

protected volatile java.lang.Runnable _beep

A runnable command to use for a notification beep.

_promptPos

private volatile int _promptPos

Index in the document of the first place that is editable.

_prompt

protected volatile java.lang.String _prompt

String to use for the prompt.

_book

protected volatile DrJavaBook _book

The book object used for printing that represents several pages

Constructor Detail

ConsoleDocument

public ConsoleDocument(ConsoleDocumentInterface doc)

Creates a new ConsoleDocument with the given embedded ConsoleDocumentInterface (a SwingDocument in native DrJava).

Parameters:

doc - the embedded ConsoleDocumentInterface object

Method Detail

hasPrompt

public boolean hasPrompt()

Specified by:

hasPrompt in interface ConsoleDocumentInterface

Returns:

true iff this document has a prompt and is ready to accept input.

setHasPrompt

public void setHasPrompt(boolean val)

Description copied from interface: ConsoleDocumentInterface

Setter for the _hasPrompt property.

Specified by:

setHasPrompt in interface ConsoleDocumentInterface

getPrompt

public java.lang.String getPrompt()

Accessor for the string used for the prompt.

setPrompt

public void setPrompt(java.lang.String prompt)

Sets the string to use for the prompt.

Parameters:

prompt - String to use for the prompt.

getPromptLength

public int getPromptLength()

Returns the length of the prompt string.

getEditCondition

public DocumentEditCondition getEditCondition()

Gets the object which determines whether an insert/remove edit should be applied based on the inputs.

Specified by:

getEditCondition in interface EditDocumentInterface

Returns:

the DocumentEditCondition to determine legality of inputs

setEditCondition

public void setEditCondition(DocumentEditCondition condition)

Provides an object which can determine whether an insert or remove edit should be applied, based on the inputs.

Specified by:

setEditCondition in interface EditDocumentInterface

Parameters:

condition - Object to determine legality of inputs

getPromptPos

public int getPromptPos()

Returns the first location in the document where editing is allowed.

setPromptPos

public void setPromptPos(int newPos)

Sets the prompt position. Only used in tests.

Parameters:

newPos - the new position.

setBeep

public void setBeep(java.lang.Runnable beep)

Sets a runnable action to use as a beep.

Parameters:

beep - Runnable beep command

reset

public void reset(java.lang.String banner)

Resets the document to a clean state. Only runs in the event thread.

insertPrompt

public void insertPrompt()

Prints a prompt for a new input.

disablePrompt

public void disablePrompt()

Disables the prompt in this document.

insertNewline

public void insertNewline(int pos)

Inserts a new line at the given position.

Parameters:

pos - Position to insert the new line

_getPositionBeforePrompt

private int _getPositionBeforePrompt()

Gets the position immediately before the prompt, or the doc length if there is no prompt. Only runs in the event thread.

insertBeforeLastPrompt

public void insertBeforeLastPrompt(java.lang.String text,
                                   java.lang.String style)

Inserts the given string with the given attributes just before the most recent prompt.

Parameters:

text - String to insert

style - name of style to format the string

insertText

public void insertText(int offs,
                       java.lang.String str,
                       java.lang.String style)
                throws EditDocumentException

Inserts a string into the document at the given offset and named style, if the edit condition allows it.

Specified by:

insertText in interface EditDocumentInterface

Parameters:

offs - Offset into the document

str - String to be inserted

style - Name of the style to use. Must have been added using addStyle.

Throws:

EditDocumentException - if the offset is illegal

append

public void append(java.lang.String str,
                   java.lang.String style)
            throws EditDocumentException

Appends a string to this in the given named style, if the edit condition allows it.

Specified by:

append in interface EditDocumentInterface

Parameters:

str - String to be inserted

style - Name of the style to use. Must have been added using addStyle.

Throws:

EditDocumentException - if the offset is illegal

forceInsertText

public void forceInsertText(int offs,
                            java.lang.String str,
                            java.lang.String style)
                     throws EditDocumentException

Inserts a string into the document at the given offset and style, regardless of the edit condition.

Specified by:

forceInsertText in interface EditDocumentInterface

Parameters:

offs - Offset into the document

str - String to be inserted

style - Name of the style to use. Must have been added using addStyle.

Throws:

EditDocumentException - if the offset is illegal

_addToStyleLists

private void _addToStyleLists(int offs,
                              java.lang.String str,
                              java.lang.String style)

Adds style specifier to _stylelists. Only runs in event thread.

removeText

public void removeText(int offs,
                       int len)
                throws EditDocumentException

Removes a portion of the document, if the edit condition (including promptPos) allows it.

Specified by:

removeText in interface EditDocumentInterface

Parameters:

offs - Offset to start deleting from

len - Number of characters to remove

Throws:

EditDocumentException - if the offset or length are illegal

forceRemoveText

public void forceRemoveText(int offs,
                            int len)
                     throws EditDocumentException

Removes a portion of the document, regardless of the edit condition.

Specified by:

forceRemoveText in interface EditDocumentInterface

Parameters:

offs - Offset to start deleting from

len - Number of characters to remove

Throws:

EditDocumentException - if the offset or length are illegal

getLength

public int getLength()

Returns the length of the document.

Specified by:

getLength in interface EditDocumentInterface

getDocText

public java.lang.String getDocText(int offs,
                                   int len)
                            throws EditDocumentException

Returns a portion of the document.

Specified by:

getDocText in interface EditDocumentInterface

Parameters:

offs - First offset of the desired text

len - Number of characters to return

Throws:

EditDocumentException - if the offset or length are illegal

getText

public java.lang.String getText()

Returns the entire text of the document. Identical to getText() in AbstractDocumentInterface.

Throws:

EditDocumentException - if the offset or length are illegal

getCurrentInput

public java.lang.String getCurrentInput()

Returns the string that the user has entered at the current prompt. May contain newline characters.

clearCurrentInput

public void clearCurrentInput()

Clears the current input text.

_clearCurrentInputText

protected void _clearCurrentInputText()

Removes the text from the current prompt to the end of the document.

getDefaultStyle

public java.lang.String getDefaultStyle()

Description copied from interface: EditDocumentInterface

Gets the String identifying the default style for this document if one exists; null otherwise.

Specified by:

getDefaultStyle in interface EditDocumentInterface

getPageable

public java.awt.print.Pageable getPageable()
                                    throws java.lang.IllegalStateException

Returns the Pageable object for printing.

Specified by:

getPageable in interface EditDocumentInterface

Returns:

A Pageable representing this document.

Throws:

java.lang.IllegalStateException

preparePrintJob

public void preparePrintJob()

This method tells the document to prepare all the DrJavaBook and PagePrinter objects.

print

public void print()
           throws java.awt.print.PrinterException

Prints the given document by bringing up a "Print" window.

Specified by:

print in interface EditDocumentInterface

Throws:

java.awt.print.PrinterException

cleanUpPrintJob

public void cleanUpPrintJob()

Clears the pageable object used to hold the print job.

saveCopy

public void saveCopy(FileSaveSelector selector)
              throws java.io.IOException

Saves the contents of the document to a file.

Parameters:

selector - File to save to

Throws:

java.io.IOException