PageRenderTime 47ms CodeModel.GetById 42ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/org/gjt/sp/jedit/search/CurrentBufferSet.java

#
Java | 66 lines | 28 code | 7 blank | 31 comment | 2 complexity | c958c2542161774d6a226eb4cfdad0fc MD5 | raw file
 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
23package org.gjt.sp.jedit.search;
24
25import 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 */
32public class CurrentBufferSet implements SearchFileSet
33{
34	//{{{ getFirstFile() method
35	public String getFirstFile(View view)
36	{
37		return view.getBuffer().getPath();
38	} //}}}
39
40	//{{{ getNextFile() method
41	public String getNextFile(View view, String file)
42	{
43		if(file == null)
44			return view.getBuffer().getPath();
45		else
46			return null;
47	} //}}}
48
49	//{{{ getFiles() method
50	public String[] getFiles(View view)
51	{
52		return new String[] { 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 getCode()
63	{
64		return "new CurrentBufferSet()";
65	} //}}}
66}