| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> | |
| <html> | |
| <head> | |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> | |
| <title>Package-level Javadoc</title> | |
| </head> | |
| <body> | |
| Provides core support for plug-ins and the plug-in registry. | |
| <h2> | |
| Package Specification</h2> | |
| This package specifies the API related to running the platform itself. This includes | |
| area such as the definition and management of plug-ins and the starting, stopping and maintaining the | |
| platform itself. In addition, this API supplies various utility types such as <tt>Path</tt>, | |
| <tt>IPath</tt> and various flavours of progress monitors. | |
| <p> | |
| Clients writing plug-ins or accessing plug-in functionality will likely be interested in the types | |
| provided by this package. | |
| </p> | |
| </body> | |
| </html> |