class ViewExtractorPattern.ExtractorEditorFilter
extends javax.swing.text.DocumentFilter
| Modifier and Type | Field and Description |
|---|---|
(package private) javax.swing.JTextPane |
editor |
(package private) ExtractorPattern |
extractor |
(package private) javax.swing.undo.UndoManager |
undoManager |
| Constructor and Description |
|---|
ExtractorEditorFilter(javax.swing.JTextPane ed,
ExtractorPattern ex) |
| Modifier and Type | Method and Description |
|---|---|
void |
clearUndo() |
void |
insertString(javax.swing.text.DocumentFilter.FilterBypass fb,
int offs,
java.lang.String str,
javax.swing.text.AttributeSet a) |
void |
remove(javax.swing.text.DocumentFilter.FilterBypass fb,
int offset,
int length) |
void |
replace(javax.swing.text.DocumentFilter.FilterBypass fb,
int offset,
int length,
java.lang.String text,
javax.swing.text.AttributeSet attrs) |
void |
updateTokenColors(ExtractorPattern extractor,
javax.swing.text.StyledDocument doc) |
javax.swing.JTextPane editor
ExtractorPattern extractor
final javax.swing.undo.UndoManager undoManager
ExtractorEditorFilter(javax.swing.JTextPane ed,
ExtractorPattern ex)
public void clearUndo()
public void insertString(javax.swing.text.DocumentFilter.FilterBypass fb,
int offs,
java.lang.String str,
javax.swing.text.AttributeSet a)
throws javax.swing.text.BadLocationException
insertString in class javax.swing.text.DocumentFilterjavax.swing.text.BadLocationExceptionpublic 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
replace in class javax.swing.text.DocumentFilterjavax.swing.text.BadLocationExceptionpublic void remove(javax.swing.text.DocumentFilter.FilterBypass fb,
int offset,
int length)
throws javax.swing.text.BadLocationException
remove in class javax.swing.text.DocumentFilterjavax.swing.text.BadLocationExceptionpublic void updateTokenColors(ExtractorPattern extractor, javax.swing.text.StyledDocument doc)