public class PythonStyledDocument
extends javax.swing.text.DefaultStyledDocument
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElementjavax.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 |
|---|
PythonStyledDocument() |
| Modifier and Type | Method and Description |
|---|---|
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 |
isBuiltin(java.lang.String token) |
protected boolean |
isDelimiter(java.lang.String character) |
protected boolean |
isKeyword(java.lang.String token) |
protected boolean |
isQuoteDelimiter(java.lang.String character) |
java.util.Iterator<java.lang.String> |
keywords() |
void |
processChangedLines(int offset,
int length) |
void |
remove(int offset,
int length) |
void |
setPosition(int lineNumber,
int columnNumber) |
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChangedaddUndoableEditListener, 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, writeUnlockpublic java.util.Iterator<java.lang.String> keywords()
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.DocumentinsertString in class javax.swing.text.AbstractDocumentjavax.swing.text.BadLocationExceptionpublic void setPosition(int lineNumber,
int columnNumber)
public void remove(int offset,
int length)
throws javax.swing.text.BadLocationException
remove in interface javax.swing.text.Documentremove in class javax.swing.text.AbstractDocumentjavax.swing.text.BadLocationExceptionpublic void processChangedLines(int offset,
int length)
throws javax.swing.text.BadLocationException
javax.swing.text.BadLocationExceptionprotected boolean isDelimiter(java.lang.String character)
protected boolean isQuoteDelimiter(java.lang.String character)
protected boolean isKeyword(java.lang.String token)
protected boolean isBuiltin(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)