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 FoldHandlerProvider
name
- The name of the desired fold handlerpublic java.lang.String[] getFoldModes()
getFoldModes
in interface FoldHandlerProvider
public void addFoldHandler(FoldHandler foldHandler)
foldHandler
- the new foldHandler