public class PythonStyledDocument extends DefaultStyledDocument
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement
AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement
buffer, BUFFER_SIZE_DEFAULT
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName
StreamDescriptionProperty, TitleProperty
Constructor and Description |
---|
PythonStyledDocument() |
Modifier and Type | Method and Description |
---|---|
protected String |
getEndDelimiter() |
protected String |
getEscapeString(String quoteDelimiter) |
protected String |
getSingleLineDelimiter() |
protected String |
getStartDelimiter() |
void |
insertString(int offset,
String str,
AttributeSet a) |
protected boolean |
isBuiltin(String token) |
protected boolean |
isDelimiter(String character) |
protected boolean |
isKeyword(String token) |
protected boolean |
isQuoteDelimiter(String character) |
Iterator<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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeUndoableEditListener, render
public void insertString(int offset, String str, AttributeSet a) throws BadLocationException
insertString
in interface Document
insertString
in class AbstractDocument
BadLocationException
public void setPosition(int lineNumber, int columnNumber)
public void remove(int offset, int length) throws BadLocationException
remove
in interface Document
remove
in class AbstractDocument
BadLocationException
public void processChangedLines(int offset, int length) throws BadLocationException
BadLocationException
protected boolean isDelimiter(String character)
protected boolean isQuoteDelimiter(String character)
protected boolean isKeyword(String token)
protected boolean isBuiltin(String token)
protected String getStartDelimiter()
protected String getEndDelimiter()
protected String getSingleLineDelimiter()