org.jext.search
Class SearchResult

java.lang.Object
  extended by org.jext.search.SearchResult

public class SearchResult
extends java.lang.Object


Constructor Summary
SearchResult(JextTextArea textArea, javax.swing.text.Position start, javax.swing.text.Position end)
           
 
Method Summary
 int[] getPos()
           
 JextTextArea getTextArea()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SearchResult

public SearchResult(JextTextArea textArea,
                    javax.swing.text.Position start,
                    javax.swing.text.Position end)
Method Detail

getPos

public int[] getPos()

getTextArea

public JextTextArea getTextArea()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object


Copyright ? 2002 Romain Guy.