public interface FoldHandlerProvider
| Modifier and Type | Method and Description | 
|---|---|
| FoldHandler | getFoldHandler(java.lang.String name)Returns the fold handler with the specified name, or null if
 there is no registered handler with that name. | 
| java.lang.String[] | getFoldModes()Returns an array containing the names of all registered fold
 handlers. | 
FoldHandler getFoldHandler(java.lang.String name)
name - The name of the desired fold handlerjava.lang.String[] getFoldModes()