Package groovy.console.ui.text
Class SmartDocumentFilter
java.lang.Object
javax.swing.text.DocumentFilter
groovy.console.ui.text.SmartDocumentFilter
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 -
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionList<org.antlr.v4.runtime.Token>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)
-
Field Details
-
HIGHLIGHTED_TOKEN_TYPE_LIST
-
-
Constructor Details
-
SmartDocumentFilter
-
-
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
-