|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectcom.lizardtech.djvubean.text.TextSearch
public class TextSearch
This is an optional component neccissary to add search features to the the DjVuBean. The run() method is used to invoke a search with the parameters specified in the DjVuBean.
| Field Summary | |
|---|---|
protected DjVuBean |
djvuBean
DjVuBean to search. |
| Constructor Summary | |
|---|---|
TextSearch(DjVuBean bean)
Creates a new TextSearch object. |
|
| Method Summary | |
|---|---|
DjVuText |
getDjVuText(int page)
Query the DjVuText data for the specified currentPage. |
void |
propertyChange(java.beans.PropertyChangeEvent event)
Called when a property has changed. |
void |
run()
Search for text forward or backwards from the last caret position in the whole document or currentPage. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected final DjVuBean djvuBean
| Constructor Detail |
|---|
public TextSearch(DjVuBean bean)
bean - DjVuBean to search.| Method Detail |
|---|
public DjVuText getDjVuText(int page)
page - number to read the text from.
public void propertyChange(java.beans.PropertyChangeEvent event)
propertyChange in interface java.beans.PropertyChangeListenerevent - describing the property change.public void run()
run in interface java.lang.Runnable
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||