Package groovy.console.ui.text
Class SmartDocumentFilter
java.lang.Object
javax.swing.text.DocumentFilter
groovy.console.ui.text.SmartDocumentFilter
public class SmartDocumentFilter
extends javax.swing.text.DocumentFilter
The document filter based on Parrot's lexer is for highlighting the content of text editor
- Since:
- 3.0.0
- 
Nested Class SummaryNested classes/interfaces inherited from class javax.swing.text.DocumentFilterjavax.swing.text.DocumentFilter.FilterBypass
- 
Constructor SummaryConstructors Constructor Description SmartDocumentFilter(javax.swing.text.DefaultStyledDocument styledDocument)
- 
Method SummaryModifier and Type Method Description java.util.List<org.antlr.v4.runtime.Token>getLatestTokenList()Tuple2<java.lang.Integer,java.lang.Integer>getRenderRange()voidinsertString(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, java.lang.String text, javax.swing.text.AttributeSet attrs)booleanisLatest()voidremove(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length)voidreplace(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length, java.lang.String text, javax.swing.text.AttributeSet attrs)voidsetRenderRange(Tuple2<java.lang.Integer,java.lang.Integer> renderRange)Methods inherited from class java.lang.Objectclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- 
Constructor Details- 
SmartDocumentFilterpublic SmartDocumentFilter(javax.swing.text.DefaultStyledDocument styledDocument)
 
- 
- 
Method Details- 
insertStringpublic void insertString(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, java.lang.String text, javax.swing.text.AttributeSet attrs) throws javax.swing.text.BadLocationException- Overrides:
- insertStringin class- javax.swing.text.DocumentFilter
- Throws:
- javax.swing.text.BadLocationException
 
- 
removepublic void remove(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length) throws javax.swing.text.BadLocationException- Overrides:
- removein class- javax.swing.text.DocumentFilter
- Throws:
- javax.swing.text.BadLocationException
 
- 
replacepublic void replace(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length, java.lang.String text, javax.swing.text.AttributeSet attrs) throws javax.swing.text.BadLocationException- Overrides:
- replacein class- javax.swing.text.DocumentFilter
- Throws:
- javax.swing.text.BadLocationException
 
- 
isLatestpublic boolean isLatest()
- 
getLatestTokenListpublic java.util.List<org.antlr.v4.runtime.Token> getLatestTokenList()
- 
setRenderRange
- 
getRenderRange
 
-