| java.lang.Object
 javax.swing.text.AbstractDocument
javax.swing.text.PlainDocument
org.syntax.jedit.SyntaxDocument
bluej.editor.moe.MoeSyntaxDocument
| MoeSyntaxDocument | | public class MoeSyntaxDocument extends SyntaxDocument (Code) | | A simple implementation of SyntaxDocument that
inherits from SyntaxDocument. It takes
care of inserting and deleting lines from the token marker's state.
It adds the ability to handle paragraph attributes on a per line basis.
author:
Bruce Quig
author:
Jo Wood (Modified to allow user-defined colours, March 2001) |
| MoeSyntaxDocument | | public MoeSyntaxDocument()(Code) | | |
| getBackgroundColor | | public static Color getBackgroundColor()(Code) | | Get the background colour for MoeSyntaxDocuments.
|
| getDefaultColor | | public static Color getDefaultColor()(Code) | | Get the default colour for MoeSyntaxDocuments.
|
| setParagraphAttributes | | public void setParagraphAttributes(int offset, AttributeSet s)(Code) | | Sets attributes for a paragraph. This method was added to
provide the ability to replicate DefaultStyledDocument's ability to
set each lines attributes easily.
This is an added method for the BlueJ adaption of jedit's Syntax
package
Parameters:
offset - the offset into the paragraph >= 0
Parameters:
length - the number of characters affected >= 0
Parameters:
s - the attributes
Parameters:
replace - whether to replace existing attributes, or merge them |
| 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)
|
|
|