Class Searcher
- java.lang.Object
-
- org.apache.pdfbox.debugger.ui.textsearcher.Searcher
-
- All Implemented Interfaces:
java.awt.event.ComponentListener
,java.util.EventListener
,javax.swing.event.ChangeListener
,javax.swing.event.DocumentListener
public class Searcher extends java.lang.Object implements javax.swing.event.DocumentListener, javax.swing.event.ChangeListener, java.awt.event.ComponentListener
-
-
Field Summary
Fields Modifier and Type Field Description private int
currentMatch
private java.util.List<javax.swing.text.Highlighter.Highlight>
highlights
private static org.apache.commons.logging.Log
LOG
private javax.swing.Action
nextAction
private static javax.swing.text.Highlighter.HighlightPainter
PAINTER
private javax.swing.Action
previousAction
private SearchEngine
searchEngine
private SearchPanel
searchPanel
private static javax.swing.text.Highlighter.HighlightPainter
SELECTION_PAINTER
private javax.swing.text.JTextComponent
textComponent
private int
totalMatch
-
Constructor Summary
Constructors Constructor Description Searcher(javax.swing.text.JTextComponent textComponent)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addMenuListeners(PDFDebugger frame)
void
changedUpdate(javax.swing.event.DocumentEvent documentEvent)
private void
changeHighlighter(int index, javax.swing.text.Highlighter.HighlightPainter newPainter)
void
componentHidden(java.awt.event.ComponentEvent componentEvent)
void
componentMoved(java.awt.event.ComponentEvent componentEvent)
void
componentResized(java.awt.event.ComponentEvent componentEvent)
void
componentShown(java.awt.event.ComponentEvent componentEvent)
javax.swing.JPanel
getSearchPanel()
void
insertUpdate(javax.swing.event.DocumentEvent documentEvent)
void
removeMenuListeners(PDFDebugger frame)
void
removeUpdate(javax.swing.event.DocumentEvent documentEvent)
private void
scrollToWord(int offset)
private void
search(java.lang.String word)
private void
search(javax.swing.event.DocumentEvent documentEvent)
void
stateChanged(javax.swing.event.ChangeEvent changeEvent)
private void
updateHighLighter(int presentIndex, int previousIndex)
private void
updateNavigationButtons()
-
-
-
Field Detail
-
LOG
private static final org.apache.commons.logging.Log LOG
-
PAINTER
private static final javax.swing.text.Highlighter.HighlightPainter PAINTER
-
SELECTION_PAINTER
private static final javax.swing.text.Highlighter.HighlightPainter SELECTION_PAINTER
-
searchEngine
private final SearchEngine searchEngine
-
searchPanel
private final SearchPanel searchPanel
-
textComponent
private final javax.swing.text.JTextComponent textComponent
-
totalMatch
private int totalMatch
-
currentMatch
private int currentMatch
-
highlights
private java.util.List<javax.swing.text.Highlighter.Highlight> highlights
-
previousAction
private final javax.swing.Action previousAction
-
nextAction
private final javax.swing.Action nextAction
-
-
Method Detail
-
getSearchPanel
public javax.swing.JPanel getSearchPanel()
-
insertUpdate
public void insertUpdate(javax.swing.event.DocumentEvent documentEvent)
- Specified by:
insertUpdate
in interfacejavax.swing.event.DocumentListener
-
removeUpdate
public void removeUpdate(javax.swing.event.DocumentEvent documentEvent)
- Specified by:
removeUpdate
in interfacejavax.swing.event.DocumentListener
-
changedUpdate
public void changedUpdate(javax.swing.event.DocumentEvent documentEvent)
- Specified by:
changedUpdate
in interfacejavax.swing.event.DocumentListener
-
search
private void search(javax.swing.event.DocumentEvent documentEvent)
-
search
private void search(java.lang.String word)
-
updateNavigationButtons
private void updateNavigationButtons()
-
scrollToWord
private void scrollToWord(int offset)
-
updateHighLighter
private void updateHighLighter(int presentIndex, int previousIndex)
-
changeHighlighter
private void changeHighlighter(int index, javax.swing.text.Highlighter.HighlightPainter newPainter)
-
stateChanged
public void stateChanged(javax.swing.event.ChangeEvent changeEvent)
- Specified by:
stateChanged
in interfacejavax.swing.event.ChangeListener
-
componentResized
public void componentResized(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentResized
in interfacejava.awt.event.ComponentListener
-
componentMoved
public void componentMoved(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentMoved
in interfacejava.awt.event.ComponentListener
-
componentShown
public void componentShown(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentShown
in interfacejava.awt.event.ComponentListener
-
componentHidden
public void componentHidden(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentHidden
in interfacejava.awt.event.ComponentListener
-
addMenuListeners
public void addMenuListeners(PDFDebugger frame)
-
removeMenuListeners
public void removeMenuListeners(PDFDebugger frame)
-
-