org.rosuda.JGR.toolkit
Class SyntaxDocument

java.lang.Object
  javax.swing.text.AbstractDocument
      javax.swing.text.DefaultStyledDocument
          org.rosuda.JGR.toolkit.JGRStyledDocument
              org.rosuda.JGR.toolkit.SyntaxDocument

All Implemented Interfaces:

Serializable, Document, StyledDocument

public class SyntaxDocument
extends JGRStyledDocument

SytnaxDocument - provides R-Syntaxhighlighting.

Author:

Markus Helbig adapted from java-developer forum RoSuDa 2003 - 2004

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.DefaultStyledDocument

DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement

Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument

AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement

Field Summary

Fields inherited from class org.rosuda.JGR.toolkit.JGRStyledDocument

tabSizeAttribute

Fields inherited from class javax.swing.text.DefaultStyledDocument

buffer, BUFFER_SIZE_DEFAULT

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

protected String	addMatchingBrace(int offset)
protected String	getEscapeString(String quoteDelimiter) Get escape character.
protected String	getSingleLineDelimiter() Get character which indicates comments (#).
void	insertString(int offset, String str, AttributeSet a) Insert text and apply coloring.
void	insertStringWithoutWhiteSpace(int offset, String str, AttributeSet a) Insert text without whitespaces.
protected boolean	isDelimiter(String character) Is character a delimiter (,;:{}()[]+-/%<=>!
protected boolean	isKeyword(String token) Is character a keyword.
protected boolean	isNumber(String token) Is character a number.
protected boolean	isObject(String token) Is character a object in current workspace.
protected boolean	isQuoteDelimiter(String character) Is character a qoutedelimiter (").
void	processChangedLines(int offset, int length) Determine which lines have changed and apply highlighting to them.
void	remove(int offset, int length) Remove text and apply again coloring.

Methods inherited from class javax.swing.text.DefaultStyledDocument

addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged

Methods inherited from class javax.swing.text.AbstractDocument

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface javax.swing.text.StyledDocument

addStyle, getBackground, getCharacterElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, removeStyle, setCharacterAttributes, setLogicalStyle, setParagraphAttributes

Methods inherited from interface javax.swing.text.Document

addDocumentListener, addUndoableEditListener, createPosition, getDefaultRootElement, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeDocumentListener, removeUndoableEditListener, render

Constructor Detail

SyntaxDocument

public SyntaxDocument()

Method Detail

insertString

public void insertString(int offset,
                         String str,
                         AttributeSet a)
                  throws BadLocationException

Insert text and apply coloring.

Specified by:

insertString in interface Document

Overrides:

insertString in class JGRStyledDocument

Throws:

BadLocationException

insertStringWithoutWhiteSpace

public void insertStringWithoutWhiteSpace(int offset,
                                          String str,
                                          AttributeSet a)
                                   throws BadLocationException

Insert text without whitespaces.

Throws:

BadLocationException

remove

public void remove(int offset,
                   int length)
            throws BadLocationException

Remove text and apply again coloring.

Specified by:

remove in interface Document

Overrides:

remove in class AbstractDocument

Throws:

BadLocationException

processChangedLines

public void processChangedLines(int offset,
                                int length)
                         throws BadLocationException

Determine which lines have changed and apply highlighting to them.

Throws:

BadLocationException

isDelimiter

protected boolean isDelimiter(String character)

Is character a delimiter (,;:{}()[]+-/%<=>!&|^~*$).

isQuoteDelimiter

protected boolean isQuoteDelimiter(String character)

Is character a qoutedelimiter (").

isKeyword

protected boolean isKeyword(String token)

Is character a keyword.

isNumber

protected boolean isNumber(String token)

Is character a number.

isObject

protected boolean isObject(String token)

Is character a object in current workspace.

getSingleLineDelimiter

protected String getSingleLineDelimiter()

Get character which indicates comments (#).

Returns:

#

getEscapeString

protected String getEscapeString(String quoteDelimiter)

Get escape character.

Returns:

\\

addMatchingBrace

protected String addMatchingBrace(int offset)
                           throws BadLocationException

Throws:

BadLocationException