public class DefaultFoldHandlerProvider extends java.lang.Object implements FoldHandlerProvider
| Constructor and Description |
|---|
DefaultFoldHandlerProvider() |
| Modifier and Type | Method and Description |
|---|---|
void |
addFoldHandler(FoldHandler foldHandler)
Add a new FoldHander.
|
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.
|
public FoldHandler getFoldHandler(java.lang.String name)
getFoldHandler in interface FoldHandlerProvidername - The name of the desired fold handlerpublic java.lang.String[] getFoldModes()
getFoldModes in interface FoldHandlerProviderpublic void addFoldHandler(FoldHandler foldHandler)
foldHandler - the new foldHandler