|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.objectweb.jac.aspects.gui.swing.SearchTool
A search tool for the SHEditor.
Constructor Summary | |
SearchTool(SHEditor editor,
int searchFrom)
|
Method Summary | |
protected void |
abort()
Quit search tool, reset position to saved one. |
protected void |
done()
Quit search tool, sets the position at the beginning of the found occurrence. |
protected void |
found(int found)
Repaint editor when an occurrence is found |
void |
keyPressed(KeyEvent e)
|
void |
keyReleased(KeyEvent e)
|
void |
keyTyped(KeyEvent e)
|
protected void |
search()
Finds an occurence |
protected void |
searchNext()
Finds the next occurrence |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public SearchTool(SHEditor editor, int searchFrom)
editor
- search in this editor's textsearchFrom
- position to start searching fromMethod Detail |
protected void searchNext()
protected void search()
protected void found(int found)
protected void done()
protected void abort()
public void keyPressed(KeyEvent e)
keyPressed
in interface KeyListener
public void keyTyped(KeyEvent e)
keyTyped
in interface KeyListener
public void keyReleased(KeyEvent e)
keyReleased
in interface KeyListener
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |