| java.lang.Object org.gjt.sp.jedit.search.HyperSearchResult
HyperSearchResult | public class HyperSearchResult implements HyperSearchNode(Code) | | A set of occurrences of the search string on a given line in a buffer.
author: Slava Pestov |
Inner Class :public class Occur | |
occurCount | public int occurCount(Code) | | |
HyperSearchResult | HyperSearchResult(Buffer buffer, int line)(Code) | | |
addOccur | void addOccur(int start, int end)(Code) | | |
bufferClosed | void bufferClosed()(Code) | | |
getSelection | public Selection[] getSelection()(Code) | | 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 |
pathEquals | boolean pathEquals(String path)(Code) | | Parameters: path - A canonical path |
|
|