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 intcurrentMatchprivate java.util.List<javax.swing.text.Highlighter.Highlight>highlightsprivate static org.apache.commons.logging.LogLOGprivate javax.swing.ActionnextActionprivate static javax.swing.text.Highlighter.HighlightPainterPAINTERprivate javax.swing.ActionpreviousActionprivate SearchEnginesearchEngineprivate SearchPanelsearchPanelprivate static javax.swing.text.Highlighter.HighlightPainterSELECTION_PAINTERprivate javax.swing.text.JTextComponenttextComponentprivate inttotalMatch
-
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 voidaddMenuListeners(PDFDebugger frame)voidchangedUpdate(javax.swing.event.DocumentEvent documentEvent)private voidchangeHighlighter(int index, javax.swing.text.Highlighter.HighlightPainter newPainter)voidcomponentHidden(java.awt.event.ComponentEvent componentEvent)voidcomponentMoved(java.awt.event.ComponentEvent componentEvent)voidcomponentResized(java.awt.event.ComponentEvent componentEvent)voidcomponentShown(java.awt.event.ComponentEvent componentEvent)javax.swing.JPanelgetSearchPanel()voidinsertUpdate(javax.swing.event.DocumentEvent documentEvent)voidremoveMenuListeners(PDFDebugger frame)voidremoveUpdate(javax.swing.event.DocumentEvent documentEvent)private voidscrollToWord(int offset)private voidsearch(java.lang.String word)private voidsearch(javax.swing.event.DocumentEvent documentEvent)voidstateChanged(javax.swing.event.ChangeEvent changeEvent)private voidupdateHighLighter(int presentIndex, int previousIndex)private voidupdateNavigationButtons()
-
-
-
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:
insertUpdatein interfacejavax.swing.event.DocumentListener
-
removeUpdate
public void removeUpdate(javax.swing.event.DocumentEvent documentEvent)
- Specified by:
removeUpdatein interfacejavax.swing.event.DocumentListener
-
changedUpdate
public void changedUpdate(javax.swing.event.DocumentEvent documentEvent)
- Specified by:
changedUpdatein 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:
stateChangedin interfacejavax.swing.event.ChangeListener
-
componentResized
public void componentResized(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentResizedin interfacejava.awt.event.ComponentListener
-
componentMoved
public void componentMoved(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentMovedin interfacejava.awt.event.ComponentListener
-
componentShown
public void componentShown(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentShownin interfacejava.awt.event.ComponentListener
-
componentHidden
public void componentHidden(java.awt.event.ComponentEvent componentEvent)
- Specified by:
componentHiddenin interfacejava.awt.event.ComponentListener
-
addMenuListeners
public void addMenuListeners(PDFDebugger frame)
-
removeMenuListeners
public void removeMenuListeners(PDFDebugger frame)
-
-