| java.lang.Object edu.rice.cs.drjava.model.FindResult
FindResult | public class FindResult (Code) | | Returned to FindMachineDialog with the location of the found string
(or -1 if the string was not found) as well as a flag indicating
whether the machine wrapped around the end of the document.
version: $Id: FindResult.java 4255 2007-08-28 19:17:37Z mgricken $ |
FindResult | public FindResult(OpenDefinitionsDocument document, int foundoffset, boolean wrapped, boolean allWrapped)(Code) | | Constructor for a FindResult.
Parameters: document - the document where the found instance is located Parameters: foundoffset - the offset of the instance found Parameters: wrapped - true if the search wrapped to the beginning (or end) of the document Parameters: allWrapped - true if the search wrapped to the start document |
getAllDocsWrapped | public boolean getAllDocsWrapped()(Code) | | Returns true if the search wrapped to the start document. TODO: change method name to getAllWrapped.
|
getFoundOffset | public int getFoundOffset()(Code) | | Returns the offset of the instance found
|
getWrapped | public boolean getWrapped()(Code) | | Returns true if the search wrapped to the beginning (or end) of the document
|
toString | public String toString()(Code) | | Intelligible toString method
|
|
|