01: /*
02: * FoldHandlerProvider.java - Fold handler provider interface
03: * :tabSize=8:indentSize=8:noTabs=false:
04: * :folding=explicit:collapseFolds=1:
05: *
06: * Copyright (C) 2007 Matthieu Casanova
07: *
08: * This program is free software; you can redistribute it and/or
09: * 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.buffer;
24:
25: /**
26: * @author Matthieu Casanova
27: * @version $Id: Buffer.java 8190 2006-12-07 07:58:34Z kpouer $
28: * @since jEdit 4.3pre10
29: */
30: public interface FoldHandlerProvider {
31: /**
32: * Returns the fold handler with the specified name, or null if
33: * there is no registered handler with that name.
34: * @param name The name of the desired fold handler
35: * @return the FoldHandler or null if it doesn't exists
36: * @since jEdit 4.3pre10
37: */
38: FoldHandler getFoldHandler(String name);
39:
40: /**
41: * Returns an array containing the names of all registered fold
42: * handlers.
43: *
44: * @since jEdit 4.0pre6
45: */
46: String[] getFoldModes();
47: }
|