driverplugin.java

来自「纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统」· Java 代码 · 共 44 行

/*
 * $Id: DriverPlugin.java,v 1.1 2003/11/25 11:41:30 epr Exp $
 */
package org.jnode.driver;

import org.jnode.plugin.Plugin;
import org.jnode.plugin.PluginDescriptor;
import org.jnode.plugin.PluginException;

/**
 * Plugin start instantiates and initialize the default device manager.
 * 
 * @author Ewout Prangsma ([e-mail])
 */
public class DriverPlugin extends Plugin {

	private DefaultDeviceManager devMgr;
	
	/**
	 * @param descriptor
	 */
	public DriverPlugin(PluginDescriptor descriptor) {
		super(descriptor);
	}

	/**
	 * Start this plugin
	 * @throws PluginException
	 */
	protected void startPlugin() throws PluginException {
		devMgr = new DefaultDeviceManager(getDescriptor().getExtensionPoint("finders"), getDescriptor().getExtensionPoint("mappers"));
		devMgr.start();
	}

	/**
	 * Stop this plugin
	 * @throws PluginException
	 */
	protected void stopPlugin() throws PluginException {
		devMgr.stop();
		devMgr = null;
	}
}