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
ConstructorsConstructorDescriptionStringFoldHandler(String name, String[] opening, String[] closing, boolean javaEscaping) StringFoldHandler(String name, String opening, String closing, boolean javaEscaping) -
Method Summary
Modifier and TypeMethodDescriptionbooleanReturns if the specified fold handler is equal to this one.intgetFoldLevel(JEditBuffer buffer, int lineIndex, Segment seg) Returns the fold level of the specified line.inthashCode()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:FoldHandlerReturns the fold level of the specified line.- Specified by:
getFoldLevelin 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:FoldHandlerReturns if the specified fold handler is equal to this one.- Overrides:
equalsin classFoldHandler- Parameters:
o- The object
-
hashCode
public int hashCode()- Overrides:
hashCodein classFoldHandler
-