private static class Results.ElementCallback
extends javax.swing.text.html.HTMLEditorKit.ParserCallback
Modifier and Type | Field and Description |
---|---|
private java.util.Iterator<java.lang.String> |
allResults |
private java.util.List<java.lang.String> |
originals |
private java.util.List<java.lang.String> |
substitutions |
private java.util.List<java.lang.Integer> |
tagPositions |
private java.lang.String |
toSubstitute |
Constructor and Description |
---|
ElementCallback(java.lang.String toSubstitute,
java.util.Iterator<java.lang.String> allResults) |
Modifier and Type | Method and Description |
---|---|
void |
handleStartTag(javax.swing.text.html.HTML.Tag tag,
javax.swing.text.MutableAttributeSet attrs,
int pos) |
private final java.lang.String toSubstitute
private final java.util.List<java.lang.Integer> tagPositions
private final java.util.List<java.lang.String> originals
private final java.util.List<java.lang.String> substitutions
private final java.util.Iterator<java.lang.String> allResults