| java.lang.Object
 org.gjt.sp.jedit.buffer.FoldHandler
All known Subclasses: org.gjt.sp.jedit.buffer.ExplicitFoldHandler, org.gjt.sp.jedit.buffer.DummyFoldHandler, org.gjt.sp.jedit.buffer.IndentFoldHandler,
| FoldHandler | | abstract public class FoldHandler (Code) | | Interface for obtaining the fold level of a specified line.
Plugins can provide fold handlers by defining entries in their
services.xml files like so:
<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="name">
new MyFoldHandler();
</SERVICE>
See
org.gjt.sp.jedit.ServiceManager for details.
author:
Slava Pestov
version:
$Id: FoldHandler.java 9860 2007-06-27 20:58:22Z kpouer $
since:
jEdit 4.3pre3 |
| equals | | public boolean equals(Object o)(Code) | | Returns if the specified fold handler is equal to this one.
Parameters:
o - The object |
| getFoldHandler | | public static FoldHandler getFoldHandler(String name)(Code) | | Returns the fold handler with the specified name, or null if
there is no registered handler with that name.
Parameters:
name - The name of the desired fold handler
since:
jEdit 4.0pre6 |
| getFoldLevel | | abstract public int getFoldLevel(JEditBuffer buffer, int lineIndex, Segment seg)(Code) | | Returns the fold level of the specified line.
Parameters:
buffer - The buffer in question
Parameters:
lineIndex - The line index
Parameters:
seg - A segment the fold handler can use to obtain anytext from the buffer, if necessary The fold level of the specified line
since:
jEdit 4.0pre1 |
| getFoldModes | | public static String[] getFoldModes()(Code) | | Returns an array containing the names of all registered fold
handlers.
since:
jEdit 4.0pre6 |
| getName | | public String getName()(Code) | | Returns the internal name of this FoldHandler
The internal name of this FoldHandler
since:
jEdit 4.0pre6 |
| hashCode | | public int hashCode()(Code) | | |
|
|