Class ServiceManager.ServiceFoldHandlerProvider

  • All Implemented Interfaces:
    FoldHandlerProvider
    Enclosing class:
    ServiceManager

    public static class ServiceManager.ServiceFoldHandlerProvider
    extends java.lang.Object
    implements FoldHandlerProvider
    A FoldHandler based on the ServiceManager
    Since:
    jEdit 4.3pre10
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String SERVICE
      The service type.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ServiceFoldHandlerProvider

        public ServiceFoldHandlerProvider()
    • Method Detail

      • getFoldHandler

        public 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.
        Specified by:
        getFoldHandler in interface FoldHandlerProvider
        Parameters:
        name - The name of the desired fold handler
        Returns:
        the FoldHandler or null if it doesn't exist
        Since:
        jEdit 4.3pre10
      • getFoldModes

        public java.lang.String[] getFoldModes()
        Returns an array containing the names of all registered fold handlers.
        Specified by:
        getFoldModes in interface FoldHandlerProvider
        Since:
        jEdit 4.3pre10