/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/search/HyperSearchResult.java
Java | 86 lines | 48 code | 10 blank | 28 comment | 3 complexity | 822324e9b7c2b6b9e1bd22015e781ba1 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- /*
- * HyperSearchResult.java - HyperSearch result
- * :tabSize=8:indentSize=8:noTabs=false:
- * :folding=explicit:collapseFolds=1:
- *
- * Copyright (C) 1998, 1999, 2000 Slava Pestov
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- */
- package org.gjt.sp.jedit.search;
- //{{{ Imports
- import javax.swing.text.*;
- import org.gjt.sp.jedit.jEdit;
- import org.gjt.sp.jedit.Buffer;
- import org.gjt.sp.util.Log;
- //}}}
- public class HyperSearchResult
- {
- public String path;
- public Buffer buffer;
- public int line;
- public int start;
- public int end;
- public Position startPos;
- public Position endPos;
- public String str; // cached for speed
- //{{{ HyperSearchResult method
- public HyperSearchResult(Buffer buffer, int line, int start, int end)
- {
- path = buffer.getPath();
- this.line = line;
- this.start = start;
- this.end = end;
- if(!buffer.isTemporary())
- bufferOpened(buffer);
- str = (line + 1) + ": " + buffer.getLineText(line)
- .replace('\t',' ').trim();
- } //}}}
- //{{{ bufferOpened() method
- public void bufferOpened(Buffer buffer)
- {
- this.buffer = buffer;
- startPos = buffer.createPosition(start);
- endPos = buffer.createPosition(end);
- } //}}}
- //{{{ bufferClosed() method
- public void bufferClosed()
- {
- buffer = null;
- startPos = endPos = null;
- } //}}}
- //{{{ getBuffer() method
- public Buffer getBuffer()
- {
- if(buffer == null)
- buffer = jEdit.openFile(null,path);
- return buffer;
- } //}}}
- //{{{ toString() method
- public String toString()
- {
- return str;
- } //}}}
- }