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.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 |
---|
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, 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 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.Document
insertString
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void setPosition(int lineNumber, int columnNumber)
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 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)