java.lang.Object
org.gjt.sp.jedit.buffer.FoldHandler
de.grogra.ext.jedit.StringFoldHandler
-
Field Summary
Fields inherited from class org.gjt.sp.jedit.buffer.FoldHandler
foldHandlerProvider
-
Constructor Summary
ConstructorDescriptionStringFoldHandler
(String name, String[] opening, String[] closing, boolean javaEscaping) StringFoldHandler
(String name, String opening, String closing, boolean javaEscaping) -
Method Summary
Modifier and TypeMethodDescriptionboolean
Returns if the specified fold handler is equal to this one.int
getFoldLevel
(JEditBuffer buffer, int lineIndex, Segment seg) Returns the fold level of the specified line.int
hashCode()
Methods inherited from class org.gjt.sp.jedit.buffer.FoldHandler
getFoldHandler, getFoldModes, getName, getPrecedingFoldLevels, toString
-
Constructor Details
-
StringFoldHandler
-
StringFoldHandler
-
-
Method Details
-
getFoldLevel
Description copied from class:FoldHandler
Returns the fold level of the specified line.- Specified by:
getFoldLevel
in classFoldHandler
- Parameters:
buffer
- The buffer in questionlineIndex
- The line indexseg
- A segment the fold handler can use to obtain any text from the buffer, if necessary- Returns:
- The fold level of the specified line
-
equals
Description copied from class:FoldHandler
Returns if the specified fold handler is equal to this one.- Overrides:
equals
in classFoldHandler
- Parameters:
o
- The object
-
hashCode
public int hashCode()- Overrides:
hashCode
in classFoldHandler
-