edu.rice.cs.drjava.ui
Class ErrorPanel.ErrorDocument

java.lang.Object
  javax.swing.text.AbstractDocument
      javax.swing.text.DefaultStyledDocument
          edu.rice.cs.util.text.SwingDocument
              edu.rice.cs.drjava.ui.ErrorPanel.ErrorDocument

All Implemented Interfaces:

AbstractDocumentInterface, EditDocumentInterface, Serializable, Document, StyledDocument

Enclosing class:

ErrorPanel

public class ErrorPanel.ErrorDocument
extends SwingDocument

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.DefaultStyledDocument

DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement

Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument

AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement

Field Summary

protected DrJavaBook	_book
protected String	_title

Fields inherited from class edu.rice.cs.util.text.SwingDocument

_condition, _isModifiedSinceSave, _styles

Fields inherited from class javax.swing.text.DefaultStyledDocument

buffer, BUFFER_SIZE_DEFAULT

Fields inherited from class javax.swing.text.AbstractDocument

BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName

Fields inherited from interface javax.swing.text.Document

StreamDescriptionProperty, TitleProperty

Constructor Summary

ErrorPanel.ErrorDocument(String t)

Method Summary

void	cleanUpPrintJob()
Pageable	getPageable() Returns the Pageable object for printing.
void	preparePrintJob()
void	print() Prints the given console document

Methods inherited from class edu.rice.cs.util.text.SwingDocument

_getText, addColoring, append, append, append, clear, createUnwrappedPosition, forceInsertText, forceRemoveText, getDefaultStyle, getDocStyle, getDocText, getEditCondition, getText, insertString, insertText, remove, removeText, setDocStyle, setEditCondition

Methods inherited from class javax.swing.text.DefaultStyledDocument

addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged

Methods inherited from class javax.swing.text.AbstractDocument

addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.rice.cs.util.text.EditDocumentInterface

getLength

Methods inherited from interface edu.rice.cs.util.text.AbstractDocumentInterface

createPosition, getLength, getText

Methods inherited from interface javax.swing.text.Document

addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeUndoableEditListener, render

Field Detail

_book

protected volatile DrJavaBook _book

_title

protected final String _title

Constructor Detail

ErrorPanel.ErrorDocument

public ErrorPanel.ErrorDocument(String t)

Method Detail

getPageable

public Pageable getPageable()
                     throws IllegalStateException

Description copied from interface: EditDocumentInterface

Returns the Pageable object for printing.

Specified by:

getPageable in interface EditDocumentInterface

Overrides:

getPageable in class SwingDocument

Returns:

A Pageable representing this document.

Throws:

IllegalStateException

preparePrintJob

public void preparePrintJob()

print

public void print()

Description copied from interface: EditDocumentInterface

Prints the given console document

Specified by:

print in interface EditDocumentInterface

Overrides:

print in class SwingDocument

cleanUpPrintJob

public void cleanUpPrintJob()