KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > gjt > sp > jedit > search > CurrentBufferSet


1 /*
2  * CurrentBufferSet.java - Current buffer matcher
3  * :tabSize=8:indentSize=8:noTabs=false:
4  * :folding=explicit:collapseFolds=1:
5  *
6  * Copyright (C) 1999, 2001 Slava Pestov
7  *
8  * This program is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU General Public License
10  * as published by the Free Software Foundation; either version 2
11  * of the License, or any later version.
12  *
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with this program; if not, write to the Free Software
20  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
21  */
22
23 package org.gjt.sp.jedit.search;
24
25 import org.gjt.sp.jedit.*;
26
27 /**
28  * A file set for searching the current buffer.
29  * @author Slava Pestov
30  * @version $Id: CurrentBufferSet.java 4199 2002-05-28 01:50:19Z spestov $
31  */
32 public class CurrentBufferSet implements SearchFileSet
33 {
34     //{{{ getFirstFile() method
35 public String JavaDoc getFirstFile(View view)
36     {
37         return view.getBuffer().getPath();
38     } //}}}
39
40     //{{{ getNextFile() method
41 public String JavaDoc getNextFile(View view, String JavaDoc file)
42     {
43         if(file == null)
44             return view.getBuffer().getPath();
45         else
46             return null;
47     } //}}}
48
49     //{{{ getFiles() method
50 public String JavaDoc[] getFiles(View view)
51     {
52         return new String JavaDoc[] { view.getBuffer().getPath() };
53     } //}}}
54
55     //{{{ getFileCount() method
56 public int getFileCount(View view)
57     {
58         return 1;
59     } //}}}
60
61     //{{{ getCode() method
62 public String JavaDoc getCode()
63     {
64         return "new CurrentBufferSet()";
65     } //}}}
66 }
67
Popular Tags