org.jext.search
Class SearchResult

java.lang.Object
  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()