| java.lang.Object
 javax.swing.text.AbstractDocument
javax.swing.text.PlainDocument
org.syntax.jedit.SyntaxDocument
| SyntaxDocument | | public class SyntaxDocument extends PlainDocument implements UndoableEditListener(Code) | | A document implementation that can be tokenized by the syntax highlighting
system.
author:
Slava Pestov
version:
$Id: SyntaxDocument.java 1167 2008-01-15 18:49:05Z gtoffoli $ |
| SyntaxDocument | | public SyntaxDocument()(Code) | | |
| addUndoableEdit | | public void addUndoableEdit(UndoableEdit edit)(Code) | | Adds an undoable edit to this document's undo list. The edit
should be ignored if something is currently being undone.
Parameters:
edit - The undoable edit
since:
jEdit 2.2pre1 |
| beginCompoundEdit | | public void beginCompoundEdit()(Code) | | Starts a compound edit that can be undone in one operation.
Subclasses that implement undo should override this method;
this class has no undo functionality so this method is
empty.
|
| endCompoundEdit | | public void endCompoundEdit()(Code) | | Ends a compound edit that can be undone in one operation.
Subclasses that implement undo should override this method;
this class has no undo functionality so this method is
empty.
|
| fireInsertUpdate | | protected void fireInsertUpdate(DocumentEvent evt)(Code) | | We overwrite this method to update the token marker
state immediately so that any event listeners get a
consistent token marker.
|
| fireRemoveUpdate | | protected void fireRemoveUpdate(DocumentEvent evt)(Code) | | We overwrite this method to update the token marker
state immediately so that any event listeners get a
consistent token marker.
|
| getTokenMarker | | public TokenMarker getTokenMarker()(Code) | | Returns the token marker that is to be used to split lines
of this document up into tokens. May return null if this
document is not to be colorized.
|
| setTokenMarker | | public void setTokenMarker(TokenMarker tm)(Code) | | Sets the token marker that is to be used to split lines of
this document up into tokens. May throw an exception if
this is not supported for this type of document.
Parameters:
tm - The new token marker |
| tokenizeLines | | public void tokenizeLines()(Code) | | Reparses the document, by passing all lines to the token
marker. This should be called after the document is first
loaded.
|
| tokenizeLines | | public void tokenizeLines(int start, int len)(Code) | | Reparses the document, by passing the specified lines to the
token marker. This should be called after a large quantity of
text is first inserted.
Parameters:
start - The first line to parse
Parameters:
len - The number of lines, after the first one to parse |
| Methods inherited from javax.swing.text.AbstractDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc)
public void addUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc)
protected Element createBranchElement(Element parent, AttributeSet a)(Code)(Java Doc)
protected Element createLeafElement(Element parent, AttributeSet a, int p0, int p1)(Code)(Java Doc)
public synchronized Position createPosition(int offs) throws BadLocationException(Code)(Java Doc)
public void dump(PrintStream out)(Code)(Java Doc)
protected void fireChangedUpdate(DocumentEvent e)(Code)(Java Doc)
protected void fireInsertUpdate(DocumentEvent e)(Code)(Java Doc)
protected void fireRemoveUpdate(DocumentEvent e)(Code)(Java Doc)
protected void fireUndoableEditUpdate(UndoableEditEvent e)(Code)(Java Doc)
public int getAsynchronousLoadPriority()(Code)(Java Doc)
final protected AttributeContext getAttributeContext()(Code)(Java Doc)
public Element getBidiRootElement()(Code)(Java Doc)
final protected Content getContent()(Code)(Java Doc)
final protected synchronized Thread getCurrentWriter()(Code)(Java Doc)
abstract public Element getDefaultRootElement()(Code)(Java Doc)
public DocumentFilter getDocumentFilter()(Code)(Java Doc)
public DocumentListener[] getDocumentListeners()(Code)(Java Doc)
public Dictionary<Object, Object> getDocumentProperties()(Code)(Java Doc)
final public Position getEndPosition()(Code)(Java Doc)
public int getLength()(Code)(Java Doc)
public T[] getListeners(Class<T> listenerType)(Code)(Java Doc)
abstract public Element getParagraphElement(int pos)(Code)(Java Doc)
final public Object getProperty(Object key)(Code)(Java Doc)
public Element[] getRootElements()(Code)(Java Doc)
final public Position getStartPosition()(Code)(Java Doc)
public String getText(int offset, int length) throws BadLocationException(Code)(Java Doc)
public void getText(int offset, int length, Segment txt) throws BadLocationException(Code)(Java Doc)
public UndoableEditListener[] getUndoableEditListeners()(Code)(Java Doc)
public void insertString(int offs, String str, AttributeSet a) throws BadLocationException(Code)(Java Doc)
protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc)
protected void postRemoveUpdate(DefaultDocumentEvent chng)(Code)(Java Doc)
final public void putProperty(Object key, Object value)(Code)(Java Doc)
final public synchronized void readLock()(Code)(Java Doc)
final public synchronized void readUnlock()(Code)(Java Doc)
public void remove(int offs, int len) throws BadLocationException(Code)(Java Doc)
public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc)
public void removeUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc)
protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc)
public void render(Runnable r)(Code)(Java Doc)
public void replace(int offset, int length, String text, AttributeSet attrs) throws BadLocationException(Code)(Java Doc)
public void setAsynchronousLoadPriority(int p)(Code)(Java Doc)
public void setDocumentFilter(DocumentFilter filter)(Code)(Java Doc)
public void setDocumentProperties(Dictionary<Object, Object> x)(Code)(Java Doc)
final protected synchronized void writeLock()(Code)(Java Doc)
final protected synchronized void writeUnlock()(Code)(Java Doc)
|
|
|