org.gjt.sp.jedit.search
Class HyperSearchResult

java.lang.Object
  org.gjt.sp.jedit.search.HyperSearchResult

public class HyperSearchResult

extends java.lang.Object

A set of occurrences of the search string on a given line in a buffer.

Nested Class Summary

class

HyperSearchResult.Occur

Field Summary

Buffer	buffer
int	line
HyperSearchResult.Occur	occur
int	occurCount
java.lang.String	path
java.lang.String	str

Method Summary

Buffer	getBuffer()
Selection[]	getSelection() Returns an array of selection objects pointing to the occurrences of the search term on the current line.
void	goTo(View view)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

path

public java.lang.String path

buffer

public Buffer buffer

line

public int line

str

public java.lang.String str

occur

public HyperSearchResult.Occur occur

occurCount

public int occurCount

Method Detail

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