public class PythonStyledDocument extends DefaultStyledDocument
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElementAbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElementbuffer, BUFFER_SIZE_DEFAULTBAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementNameStreamDescriptionProperty, 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, 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, writeUnlockclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitaddUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeUndoableEditListener, renderpublic void insertString(int offset,
String str,
AttributeSet a)
throws BadLocationException
insertString in interface DocumentinsertString in class AbstractDocumentBadLocationExceptionpublic void setPosition(int lineNumber,
int columnNumber)
public void remove(int offset,
int length)
throws BadLocationException
remove in interface Documentremove in class AbstractDocumentBadLocationExceptionpublic void processChangedLines(int offset,
int length)
throws BadLocationException
BadLocationExceptionprotected 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()