public class BatchDocument
extends javax.swing.text.DefaultStyledDocument
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement
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
Modifier and Type | Field and Description |
---|---|
protected java.util.List<javax.swing.text.DefaultStyledDocument.ElementSpec> |
batch |
protected static char[] |
EOL_ARRAY |
Constructor and Description |
---|
BatchDocument() |
Modifier and Type | Method and Description |
---|---|
int |
appendBatchLineFeed(javax.swing.text.AttributeSet attr) |
int |
appendBatchString(java.lang.String str,
javax.swing.text.AttributeSet attr) |
void |
applyBatchUpdates(int offset) |
void |
clear() |
void |
discardBatch() |
int |
pendingBatchCount() |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged
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, insertString, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock
protected static final char[] EOL_ARRAY
protected java.util.List<javax.swing.text.DefaultStyledDocument.ElementSpec> batch
public int appendBatchString(java.lang.String str, javax.swing.text.AttributeSet attr)
public int appendBatchLineFeed(javax.swing.text.AttributeSet attr)
public void applyBatchUpdates(int offset) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
public void clear()
public void discardBatch()
public int pendingBatchCount()