FoldHandlerProvider
public class DefaultFoldHandlerProvider extends java.lang.Object implements FoldHandlerProvider
Constructor | Description |
---|---|
DefaultFoldHandlerProvider() |
Modifier and Type | Method | 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