| java.lang.Object javax.swing.text.AbstractDocument javax.swing.text.DefaultStyledDocument org.skunk.swing.text.syntax.SyntaxDocument
SyntaxDocument | public SyntaxDocument()(Code) | | |
getFileMode | public FileMode getFileMode()(Code) | | returns the file mode of this tokenizer.
the file mode, or null if the tokenizer currently has no mode |
isTokenizing | public boolean isTokenizing()(Code) | | |
retokenizeAll | public void retokenizeAll()(Code) | | |
setFileMode | public void setFileMode(FileMode mode)(Code) | | sets the file mode.
Parameters: mode - the file mode |
setTokenizing | public void setTokenizing(boolean tokenizing)(Code) | | |
Fields inherited from javax.swing.text.DefaultStyledDocument | final public static int BUFFER_SIZE_DEFAULT(Code)(Java Doc) protected ElementBuffer buffer(Code)(Java Doc)
|
Methods inherited from javax.swing.text.DefaultStyledDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc) public Style addStyle(String nm, Style parent)(Code)(Java Doc) protected void create(ElementSpec[] data)(Code)(Java Doc) protected AbstractElement createDefaultRoot()(Code)(Java Doc) public Color getBackground(AttributeSet attr)(Code)(Java Doc) public Element getCharacterElement(int pos)(Code)(Java Doc) public Element getDefaultRootElement()(Code)(Java Doc) public Font getFont(AttributeSet attr)(Code)(Java Doc) public Color getForeground(AttributeSet attr)(Code)(Java Doc) public Style getLogicalStyle(int p)(Code)(Java Doc) public Element getParagraphElement(int pos)(Code)(Java Doc) public Style getStyle(String nm)(Code)(Java Doc) public Enumeration> getStyleNames()(Code)(Java Doc) protected void insert(int offset, ElementSpec[] data) throws BadLocationException(Code)(Java Doc) protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc) public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc) public void removeElement(Element elem)(Code)(Java Doc) public void removeStyle(String nm)(Code)(Java Doc) protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) public void setCharacterAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) public void setLogicalStyle(int pos, Style s)(Code)(Java Doc) public void setParagraphAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) protected void styleChanged(Style style)(Code)(Java Doc)
|
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)
|
|
|