org.gjt.sp.jedit.search
Class HyperSearchResult
java.lang.Object
org.gjt.sp.jedit.search.HyperSearchResult
- public class HyperSearchResult
- extends Object
A set of occurrences of the search string on a given line in a buffer.
path
public String path
buffer
public Buffer buffer
line
public int line
str
public String str
occur
public HyperSearchResult.Occur occur
occurCount
public int occurCount
getBuffer
public Buffer getBuffer()
getSelection
public Selection[] getSelection()
- Returns an array of selection objects pointing to the occurrences
of the search term on the current line. The buffer must be opened
first.
- Since:
- jEdit 4.2pre5
goTo
public void goTo(View view)
toString
public String toString()