Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## org.gjt.sp.jedit
Class ServiceManager

    java.lang.Object
      org.gjt.sp.jedit.ServiceManager

public class ServiceManager
extends java.lang.Object

A generic way for plugins to provide various API extensions.

Services are loaded from files named `services.xml` inside the plugin JAR. A service definition file has the following form:

    <?xml version="1.0"?>
    <!DOCTYPE SERVICES SYSTEM "services.dtd">
    <SERVICES>
        <SERVICE NAME="service name" CLASS="fully qualified class name">
            // BeanShell code evaluated when the sevice is first activated
        </SERVICE>
    </SERVICES>

The following elements are valid:

- `SERVICES` is the top-level element and refers to the set of services offered by the plugin.
- A `SERVICE` contains the data for a particular service activation. It has two attributes, both required: `NAME` and `CLASS`. The `CLASS` attribute must be the name of a known sevice type; see below.
- A `SERVICE` element should the BeanShell code that returns a new instance of the named class. Note that this code can return `null`.

The jEdit core defines the following service types:

- `FoldHandler`
- `VFS`

Plugins may provide more.

To have your plugin accept services, no extra steps are needed other than a piece of code somewhere that calls `getServiceNames(String)` and `getService(String,String)`.

Since:
  jEdit 4.2pre1
Version:
  $Id: ServiceManager.java,v 1.8 2004/03/28 00:07:26 spestov Exp $
Author:
  Slava Pestov
See Also:
  `BeanShell`, `PluginJAR`

Constructor Summary
`ServiceManager()`

Method Summary
`static java.lang.Object` | `getService(java.lang.String clazz, java.lang.String name)` Returns an instance of the given service.
`static java.lang.String[]` | `getServiceNames(java.lang.String clazz)` Returns the names of all registered services with the given class.
`static java.lang.String[]` | `getServiceTypes()` Returns all known service class types.
`static void` | `loadServices(PluginJAR plugin, java.net.URL uri, PluginJAR.PluginCacheEntry cache)` Loads a `services.xml` file.
`static void` | `registerService(java.lang.String clazz, java.lang.String name, java.lang.String code, PluginJAR plugin)` Registers a service.
`static void` | `unloadServices(PluginJAR plugin)` Removes all services belonging to the specified plugin.
`static void` | `unregisterService(java.lang.String clazz, java.lang.String name)` Unregisters a service.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### ServiceManager

    public ServiceManager()

Method Detail

### loadServices

    public static void loadServices(PluginJAR plugin,
                                    java.net.URL uri,
                                    PluginJAR.PluginCacheEntry cache)

  Loads a `services.xml` file.

  Since:
    jEdit 4.2pre1

### unloadServices

    public static void unloadServices(PluginJAR plugin)

  Removes all services belonging to the specified plugin.

  Parameters:
    `plugin` - The plugin
  Since:
    jEdit 4.2pre1

### registerService

    public static void registerService(java.lang.String clazz,
                                       java.lang.String name,
                                       java.lang.String code,
                                       PluginJAR plugin)

  Registers a service. Plugins should provide a `services.xml` file instead of calling this directly.

  Parameters:
    `clazz` - The service class
    `name` - The service name
    `code` - BeanShell code to create an instance of this
    `plugin` - The plugin JAR, or null if this is a built-in service
  Since:
    jEdit 4.2pre1

### unregisterService

    public static void unregisterService(java.lang.String clazz,
                                         java.lang.String name)

  Unregisters a service.

  Parameters:
    `clazz` - The service class
    `name` - The service name
  Since:
    jEdit 4.2pre1

### getServiceTypes

    public static java.lang.String[] getServiceTypes()

  Returns all known service class types.

  Since:
    jEdit 4.2pre1

### getServiceNames

    public static java.lang.String[] getServiceNames(java.lang.String clazz)

  Returns the names of all registered services with the given class. For example, calling this with a parameter of "org.gjt.sp.jedit.io.VFS" returns all known virtual file systems.

  Parameters:
    `clazz` - The class name
  Since:
    jEdit 4.2pre1

### getService

    public static java.lang.Object getService(java.lang.String clazz,
                                              java.lang.String name)

  Returns an instance of the given service. The first time this is called for a given service, the BeanShell code is evaluated. The result is cached for future invocations, so in effect services are singletons.

  Parameters:
    `clazz` - The service class
    `name` - The service name
  Since:
    jEdit 4.2pre1

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD