org.gjt.sp.jedit.buffer
Class IndentFoldHandler

java.lang.Object
  org.gjt.sp.jedit.buffer.FoldHandler
      org.gjt.sp.jedit.buffer.IndentFoldHandler

public class IndentFoldHandler

extends FoldHandler

A fold handler that folds lines based on their indent level.

Since:

jEdit 4.0pre1

Version:

$Id: IndentFoldHandler.java,v 1.5 2002/03/17 01:28:43 spestov Exp $

Author:

Slava Pestov

Field Summary

Fields inherited from class org.gjt.sp.jedit.buffer.FoldHandler

SERVICE

Constructor Summary

IndentFoldHandler()

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, hashCode, registerFoldHandler, toString, unregisterFoldHandler

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IndentFoldHandler

public IndentFoldHandler()

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