public class JavaStyledDocument
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
Constructor and Description |
---|
JavaStyledDocument() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
addMatchingBrace(int offset) |
protected java.lang.String |
getEndDelimiter() |
protected java.lang.String |
getEscapeString(java.lang.String quoteDelimiter) |
protected java.lang.String |
getSingleLineDelimiter() |
protected java.lang.String |
getStartDelimiter() |
void |
insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a) |
protected boolean |
isDelimiter(java.lang.String character) |
protected boolean |
isKeyword(java.lang.String token) |
protected boolean |
isQuoteDelimiter(java.lang.String character) |
void |
processChangedLines(int offset,
int length) |
void |
remove(int offset,
int length) |
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, postRemoveUpdate, putProperty, readLock, readUnlock, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock
public void insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a) throws javax.swing.text.BadLocationException
insertString
in interface javax.swing.text.Document
insertString
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void remove(int offset, int length) throws javax.swing.text.BadLocationException
remove
in interface javax.swing.text.Document
remove
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void processChangedLines(int offset, int length) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException
protected boolean isDelimiter(java.lang.String character)
protected boolean isQuoteDelimiter(java.lang.String character)
protected boolean isKeyword(java.lang.String token)
protected java.lang.String getStartDelimiter()
protected java.lang.String getEndDelimiter()
protected java.lang.String getSingleLineDelimiter()
protected java.lang.String getEscapeString(java.lang.String quoteDelimiter)
protected java.lang.String addMatchingBrace(int offset) throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationException