oscript.swing.text
Class ODEEditorKit.ODEDocument

java.lang.Object
  extended byjavax.swing.text.AbstractDocument
      extended byjavax.swing.text.PlainDocument
          extended byoscript.swing.text.ODEEditorKit.ODEDocument
All Implemented Interfaces:
javax.swing.text.Document, java.io.Serializable
Enclosing class:
ODEEditorKit

public class ODEEditorKit.ODEDocument
extends javax.swing.text.PlainDocument

See Also:
Serialized Form

Nested Class Summary
 
Nested classes inherited from class javax.swing.text.AbstractDocument
javax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement
 
Field Summary
 
Fields inherited from class javax.swing.text.PlainDocument
lineLimitAttribute, tabSizeAttribute
 
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
ODEEditorKit.ODEDocument()
           
 
Method Summary
protected  void fireUndoableEditUpdate(javax.swing.event.UndoableEditEvent evt)
           
 java.io.Reader getDocumentReader()
          Get a reader that returns the contents of this document
 long getLastMutateTime()
           
 void insertString(int off, java.lang.String str, javax.swing.text.AttributeSet a)
           
 void performUndoableSequence(java.lang.Runnable r)
          All document updates performed by the runnable result in a single undo event.
 void remove(int off, int len)
           
 
Methods inherited from class javax.swing.text.PlainDocument
createDefaultRoot, getDefaultRootElement, getParagraphElement, insertUpdate, removeUpdate
 
Methods inherited from class javax.swing.text.AbstractDocument
addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, removeDocumentListener, 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
 

Constructor Detail

ODEEditorKit.ODEDocument

public ODEEditorKit.ODEDocument()
Method Detail

getLastMutateTime

public long getLastMutateTime()

performUndoableSequence

public void performUndoableSequence(java.lang.Runnable r)
All document updates performed by the runnable result in a single undo event. This call gate provides a way to coalesce multiple insert/remove mutates into a single undoable event.


fireUndoableEditUpdate

protected void fireUndoableEditUpdate(javax.swing.event.UndoableEditEvent evt)

getDocumentReader

public java.io.Reader getDocumentReader()
Get a reader that returns the contents of this document


remove

public void remove(int off,
                   int len)
            throws javax.swing.text.BadLocationException
Throws:
javax.swing.text.BadLocationException

insertString

public void insertString(int off,
                         java.lang.String str,
                         javax.swing.text.AttributeSet a)
                  throws javax.swing.text.BadLocationException
Throws:
javax.swing.text.BadLocationException