org.gjt.sp.jedit.buffer
Class ExplicitFoldHandler

java.lang.Object
  |
  +--org.gjt.sp.jedit.buffer.FoldHandler
        |
        +--org.gjt.sp.jedit.buffer.ExplicitFoldHandler

public class ExplicitFoldHandler
extends FoldHandler

A fold handler that folds lines based on markers ("{{{" and "}}}") embedded in the text.

Since:
jEdit 4.0pre1
Version:
$Id: ExplicitFoldHandler.java,v 1.6 2003/01/31 04:49:30 spestov Exp $
Author:
Slava Pestov

Constructor Summary
ExplicitFoldHandler()
           
 
Method Summary
 int getFoldLevel(Buffer buffer, int lineIndex, javax.swing.text.Segment seg)
          Returns the fold level of the specified line.
 
Methods inherited from class org.gjt.sp.jedit.buffer.FoldHandler
equals, getFoldHandler, getFoldHandlers, getFoldModes, getName, registerFoldHandler, unregisterFoldHandler
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExplicitFoldHandler

public ExplicitFoldHandler()
Method Detail

getFoldLevel

public int getFoldLevel(Buffer buffer,
                        int lineIndex,
                        javax.swing.text.Segment seg)
Returns the fold level of the specified line.

Specified by:
getFoldLevel in class FoldHandler
Parameters:
buffer - The buffer in question
lineIndex - The line index
seg - A segment the fold handler can use to obtain any text from the buffer, if necessary
Returns:
The fold level of the specified line
Since:
jEdit 4.0pre1