Package groovy.console.ui.text
Class SmartDocumentFilter
java.lang.Object
javax.swing.text.DocumentFilter
groovy.console.ui.text.SmartDocumentFilter
public class SmartDocumentFilter extends DocumentFilter
The document filter based on Parrot's lexer is for highlighting the content of text editor
- Since:
- 3.0.0
-
Nested Class Summary
Nested classes/interfaces inherited from class javax.swing.text.DocumentFilter
DocumentFilter.FilterBypass -
Constructor Summary
Constructors Constructor Description SmartDocumentFilter(DefaultStyledDocument styledDocument) -
Method Summary
Modifier and Type Method Description List<org.antlr.v4.runtime.Token>getLatestTokenList()Tuple2<Integer,Integer>getRenderRange()voidinsertString(DocumentFilter.FilterBypass fb, int offset, String text, AttributeSet attrs)booleanisLatest()voidremove(DocumentFilter.FilterBypass fb, int offset, int length)voidreplace(DocumentFilter.FilterBypass fb, int offset, int length, String text, AttributeSet attrs)voidsetRenderRange(Tuple2<Integer,Integer> renderRange)
-
Constructor Details
-
Method Details
-
insertString
public void insertString(DocumentFilter.FilterBypass fb, int offset, String text, AttributeSet attrs) throws BadLocationException- Overrides:
insertStringin classDocumentFilter- Throws:
BadLocationException
-
remove
public void remove(DocumentFilter.FilterBypass fb, int offset, int length) throws BadLocationException- Overrides:
removein classDocumentFilter- Throws:
BadLocationException
-
replace
public void replace(DocumentFilter.FilterBypass fb, int offset, int length, String text, AttributeSet attrs) throws BadLocationException- Overrides:
replacein classDocumentFilter- Throws:
BadLocationException
-
isLatest
public boolean isLatest() -
getLatestTokenList
-
setRenderRange
-
getRenderRange
-