|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjavax.swing.text.AbstractDocument
javax.swing.text.PlainDocument
org.gjt.sp.jedit.syntax.SyntaxDocument
A document implementation that can be tokenized by the syntax highlighting system.
Nested Class Summary |
Nested classes inherited from class javax.swing.text.AbstractDocument |
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 |
Field Summary | |
protected TokenMarker |
tokenMarker
|
Fields inherited from class javax.swing.text.PlainDocument |
lineLimitAttribute, tabSizeAttribute |
Fields inherited from class javax.swing.text.AbstractDocument |
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName |
Fields inherited from interface javax.swing.text.Document |
StreamDescriptionProperty, TitleProperty |
Constructor Summary | |
SyntaxDocument()
|
Method Summary | |
void |
addUndoableEdit(javax.swing.undo.UndoableEdit edit)
Adds an undoable edit to this document's undo list. |
void |
beginCompoundEdit()
Starts a compound edit that can be undone in one operation. |
void |
endCompoundEdit()
Ends a compound edit that can be undone in one operation. |
protected void |
fireInsertUpdate(javax.swing.event.DocumentEvent evt)
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker. |
protected void |
fireRemoveUpdate(javax.swing.event.DocumentEvent evt)
We overwrite this method to update the token marker state immediately so that any event listeners get a consistent token marker. |
TokenMarker |
getTokenMarker()
Returns the token marker that is to be used to split lines of this document up into tokens. |
void |
setTokenMarker(TokenMarker tm)
Sets the token marker that is to be used to split lines of this document up into tokens. |
void |
tokenizeLines()
Reparses the document, by passing all lines to the token marker. |
void |
tokenizeLines(int start,
int len)
Reparses the document, by passing the specified lines to the token marker. |
Methods inherited from class javax.swing.text.PlainDocument |
createDefaultRoot, getDefaultRootElement, getParagraphElement, insertString, insertUpdate, removeUpdate |
Methods inherited from class javax.swing.text.AbstractDocument |
addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeDocumentListener, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected TokenMarker tokenMarker
Constructor Detail |
public SyntaxDocument()
Method Detail |
public TokenMarker getTokenMarker()
public void setTokenMarker(TokenMarker tm)
tm
- The new token markerpublic void tokenizeLines()
public void tokenizeLines(int start, int len)
start
- The first line to parselen
- The number of lines, after the first one to parsepublic void beginCompoundEdit()
public void endCompoundEdit()
public void addUndoableEdit(javax.swing.undo.UndoableEdit edit)
edit
- The undoable editprotected void fireInsertUpdate(javax.swing.event.DocumentEvent evt)
protected void fireRemoveUpdate(javax.swing.event.DocumentEvent evt)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |