|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.ServiceManager.ServiceFoldHandlerProvider
public static class ServiceManager.ServiceFoldHandlerProvider
A FoldHandler based on the ServiceManager
Field Summary | |
---|---|
static java.lang.String |
SERVICE
The service type. |
Constructor Summary | |
---|---|
ServiceManager.ServiceFoldHandlerProvider()
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String SERVICE
ServiceManager
.
Constructor Detail |
---|
public ServiceManager.ServiceFoldHandlerProvider()
Method Detail |
---|
public FoldHandler getFoldHandler(java.lang.String name)
getFoldHandler
in interface FoldHandlerProvider
name
- The name of the desired fold handler
public java.lang.String[] getFoldModes()
getFoldModes
in interface FoldHandlerProvider
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |